------- Comment #6 from baldrick at free dot fr 2006-05-01 10:09 -------
Re comment #5:
> so we have [1,1] UNION [2, +INF] and we just get ~[0,0] bogus
> and it also means this is PR 23744.
This is more than PR 23744: with the fix for PR 23744 applied,
__builtin_abort () is still not eliminated due to VRP failing
to eliminate the i > n comparison (symbolic range).
--
baldrick at free dot fr changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |baldrick at free dot fr
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25643
