Hi, They are at: https://gcc.gnu.org/pipermail/gcc-patches/2021-April/568731.html and https://gcc.gnu.org/pipermail/gcc-patches/2021-April/568916.html
I can devise a gnat.dg/ testcase for each of them if need be, although they will be exercised by the GDB testsuite. Thanks in advance. -- Eric Botcazou