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. They are essentially the last step before we can drop the historical GNAT encodings in favor of (GNU) DWARF. Thanks in advance. -- Eric Botcazou
