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 22:40:31 -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 #32 from rguenth at gcc dot gnu dot org 2007-02-23 22:40 -------
Created an attachment (id=13103)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13103&action=view)
patch
Bah - now with the errors fixed. Bootstraps ok, some of acats regresses.
If you disable bootstrap and run the testsuite you get
FAIL: c340001
FAIL: c35507j
FAIL: c390001
FAIL: c390005
FAIL: c390006
FAIL: c390a01
FAIL: c390a02
FAIL: c390a03
FAIL: c954012
FAIL: c96005a
FAIL: c96005d
FAIL: c96005f
FAIL: c96006a
FAIL: c96007a
FAIL: c96008a
FAIL: c96008b
FAIL: c974002
FAIL: cc51007
FAIL: cd92001
FAIL: ce3305a
FAIL: ce3402c
FAIL: ce3405a
FAIL: ce3405d
FAIL: ce3409c
FAIL: ce3410c
FAIL: ce3602a
FAIL: ce3605d
FAIL: ce3605e
FAIL: ce3606a
FAIL: ce3606b
FAIL: ce3706f
FAIL: ce3806e
FAIL: ce3806h
FAIL: ce3906a
FAIL: ce3906e
FAIL: ce3906f
FAIL: cxh1001
FAIL: ee3203a
FAIL: ee3402b
Most of the are either
raised CONSTRAINT_ERROR : a-calend.adb:440 explicit raise
or
raised CONSTRAINT_ERROR : a-textio.adb:1511 explicit raise
With bootstrapping the compiler and then checking you get
FAIL: c35507j
FAIL: cd92001
FAIL: cxh1001
I guess that nearly all range checks are eliminated and without bootstrapping
we have a disconnect between the redundant checks in the rts and the
testcases. If it happens that the non-bootstrapped rts is built by the
host compiler(?).
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Attachment #13102|0 |1
is obsolete| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30911