This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/26797] [4.3 regression] ACATS cxh1001 fails
- From: "rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 9 Mar 2007 11:11:35 -0000
- Subject: [Bug ada/26797] [4.3 regression] ACATS cxh1001 fails
- References: <bug-26797-7210@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #30 from rguenth at gcc dot gnu dot org 2007-03-09 11:11 -------
Well, the only problem with V_C_E is that if you assert on the range of the
base type like
if (V_C_E <X'Base> (y) > 5)
abort();
that you still want VRP to infer that V_C_E <X'Base> (y) is <= 5 after this
check (to eliminate further checks). I believe this will not automatically
happen at the moment because V_C_E <X'Base> (y) will not have the same
ssa name assigned for evey occurance. But of course we will never know until
the Ada FE people finally fix their frontend.
All the mess would be way easier if the FE would not expose the subtypes to
the middle-end...
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26797