------- Comment #8 from rguenth at gcc dot gnu dot org 2009-02-20 09:57 -------
Though __builtin_not_reached () can be used to implement __builtin_assume (),
so it may be more generally useful. if (i > 0) __builtin_not_reached (); will
make GCC assume that i <= 0 on the other edge (of course we'd have to preserve
this until some point to take advantage of it).
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2009-02-20 09:57:15
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39252
