------- Comment #5 from rguenth at gcc dot gnu dot org 2006-02-21 10:03 ------- With exception to 'certain' this doesn't really make sense. And the 'certain' one should be called __builtin_assert(). But then, VRP or DOM might already extract information from
if (x == 0) abort(); return x; (no, neither 4.1 nor mainline can do this ATM). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26367