This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/30911] VRP fails to eliminate range checks in Ada code
- 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: 23 Feb 2007 16:11:13 -0000
- Subject: [Bug tree-optimization/30911] VRP fails to eliminate range checks in Ada code
- References: <bug-30911-13647@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #28 from rguenth at gcc dot gnu dot org 2007-02-23 16:11 -------
Got it compiling now with -gnatpg -- my tree was probably too old and messed
up, rebuilding everything helped. Now we indeed fold "not To'Valid" to 1 ;)
Unfolded
it looks like
if (to == 0 || (SIGNED_32) to < 0)
{
__gnat_rcheck_04 ("a-textio.adb", 1339);
}
I'll try to get my hands on what goes wrong, but a small testcase resembling
the
above part would be nice to have ;)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30911