This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [RFC/PATCH] Optimize code based on asserts even in NDEBUG mode
- From: "Joseph S. Myers" <jsm at polyomino dot org dot uk>
- To: Richard Guenther <rguenth at tat dot physik dot uni-tuebingen dot de>
- Cc: Paolo Bonzini <bonzini at gnu dot org>, gcc-patches at gcc dot gnu dot org
- Date: Fri, 9 Apr 2004 13:49:02 +0000 (UTC)
- Subject: Re: [RFC/PATCH] Optimize code based on asserts even in NDEBUG mode
- References: <4076912D.1080509@tat.physik.uni-tuebingen.de>
On Fri, 9 Apr 2004, Richard Guenther wrote:
> Better invent a __builtin_assert() , or even a __builtin_gcc_assert()
> which could have different semantics than C89 assert().
Or more generally a __builtin_unreachable() (indicate that a particular
place can't be reached), which could also have a debugging command-line
option to turn it into an abort instead of presuming it can't be reached.
--
Joseph S. Myers
jsm@polyomino.org.uk