> I agree that catching this in scan-assembler test is hard, but guality test > would catch this. It is true that some guality tests (mostly the ones that > test behaviour of optimized code, which differs a lot between different > architectures) have known FAILs (or known XFAILs), because the target, > compilation options and gdb version matrix is too large to catch all cases.
IMO the guality testsuite is not really appropriate for debug info issues, it's too brittle, has a low signal-over-noise ratio and nobody really cares about it. And, given that most people already don't care about the regular gnat.dg testsuite, I think that literally nobody will about gnat.dg/guality. Given that only AdaCore's folks work on Ada debug info issues in practice and that they run the GDB testsuite, I don't see any real need for it. -- Eric Botcazou