https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85047
--- Comment #12 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
The current list of ACATS 4 failures because of this problem is:
=== acats tests ===
+FAIL: c371002
+FAIL: c371003
+FAIL: c452a02
+FAIL: c52008b
+FAIL: cdd2a01
+FAIL: cdd2a02
+FAIL: cdd2a03
I have attached another Ada reduced testcase.
