------- 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

Reply via email to