[Bug middle-end/32074] Optimizer does not exploit assertions

[siarhei.siamashka at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32074

--- Comment #7 from Siarhei Siamashka <siarhei.siamashka at gmail dot com> 2012-03-29 09:31:37 UTC ---
(In reply to comment #6)
> Fixed by means of __builtin_unreachable ().

But __builtin_unreachable() is not a part of C standard yet? Is there no way to
extract some useful information from asserts in NDEBUG mode at least in some
simple cases when it is clearly beneficial for optimizations?