--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
Priority|P3 |P2
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36554
--- Comment #7 from ebotcazou at gcc dot gnu dot org 2008-07-14 21:50
---
OK, thanks for the tip. The patch to convert Ada to a canonical boolean type
is written though (and eliminates the ICE as expected), I'm just waiting for
the GDB people to adjust the Ada module.
This will be
--- Comment #6 from ebotcazou at gcc dot gnu dot org 2008-07-02 20:20
---
The fix would be to not propagate the comparisons if they can throw.
OK, thanks for the tip. The patch to convert Ada to a canonical boolean type
is written though (and eliminates the ICE as expected), I'm
--- Comment #4 from ebotcazou at gcc dot gnu dot org 2008-06-26 11:02
---
The new forward_propagate_comparison in tree-ssa-forwprop.c screws up the CFG:
bb 2:
D.1416_13 = v_1(D) != v_1(D);
is_nan_6 = (const boolean) D.1416_13;
D.1402_28 = v_1(D)
--- Comment #5 from rguenth at gcc dot gnu dot org 2008-06-26 11:19 ---
The fix would be to not propagate the comparisons if they can throw.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36554
--- Comment #1 from rguenth at gcc dot gnu dot org 2008-06-25 12:12 ---
C testcase?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36554
--- Comment #2 from laurent at guerby dot net 2008-06-25 20:04 ---
To my knowledge there's no exception in C and I know next to nothing in C++ so
I unfortunately can't contribute a c++ testcase. May be Eric can help?
--
laurent at guerby dot net changed:
What|Removed
--- Comment #3 from ebotcazou at gcc dot gnu dot org 2008-06-25 21:11
---
Investigating.
--
ebotcazou at gcc dot gnu dot org changed:
What|Removed |Added
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
CC||pinskia at gcc dot gnu dot
|