On Thu, Nov 16, 2006 at 10:54:21PM +0100, Christian Biere wrote:
> No, nothing like that. It just enables some runtime consistency checks etc. It
> has nothing to do with compiler flags. For debugging with GCC, you should
> always compile with -g3 -O0 in your CFLAGS. I would not recommend using this
> regularly because it causes a significant performance penalty especially if
> you compile a library with this.

You should explicitly not do that. -g3 is helpful for macros, but
explodes the binary size. -O0 can actually break code which uses e.g.
inline assembly. Keep at least -O1.

Joerg