This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [RFC/PATCH] Optimize code based on asserts even in NDEBUG mode

From: "Paolo Bonzini" <bonzini at gnu dot org>
To: "Joseph S. Myers" <jsm at polyomino dot org dot uk>
Cc: <gcc-patches at gcc dot gnu dot org>
Date: Sat, 10 Apr 2004 11:21:45 +0200
Subject: Re: [RFC/PATCH] Optimize code based on asserts even in NDEBUG mode
References: <000701c41e14$1f679dc0$38de1d97@philo> <Pine.LNX.4.58.0404090859410.32665@digraph.polyomino.org.uk>

> ISO C says assert expands to ((void)0) in NDEBUG mode, so you
> can't presume anything about the truth of the expression asserted
> afterwards.

So are other compilers in error assuming that the expression is true?

It would look like a worthwhile optimization in the presence of inlined
functions.

(Anyway if there is a way to make it a valid optimization, or if it is
acceptable to enable it with a switch, I think I'll redo it with treessa, it
is easier and cleaner there).

Paolo

Follow-Ups:
- Re: [RFC/PATCH] Optimize code based on asserts even in NDEBUG mode
  - From: Joseph S. Myers

References:
- [RFC/PATCH] Optimize code based on asserts even in NDEBUG mode
  - From: Paolo Bonzini
- Re: [RFC/PATCH] Optimize code based on asserts even in NDEBUG mode
  - From: Joseph S. Myers

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]