------- 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
