https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93233
--- Comment #1 from Chris Sykes <chris at amtiskaw dot net> --- I noticed that g++ also fails to warn about this with a similar test case written in c++, and found this old bug report: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501 Perhaps this is easier to fix (without generating false positives, or adversely affecting code generation) in the Ada front-end?
