------- Comment #9 from hpa at zytor dot com 2009-03-01 22:34 ------- > 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).
This seems rather elegant to me, although I'm happy to get this feature in any form. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39252
