assertify mn10300

Nathan Sidwell nathan@codesourcery.com
Sat May 7 09:11:00 GMT 2005


Alexandre Oliva wrote:

> I'm just a bit concerned about some of the changes from
> `if (expr) abort ();' to `gcc_assert (expr);', since they change the
> meaning of the program if checking is disabled, and in some cases
> could result in incorrect being generated, instead of an ICE. I'm
> assuming such changes were thought-out and intentional, so go for it.

such a transformation would be an error.  Can you point me at one,
because I can't see any?

nathan

-- 
Nathan Sidwell    ::   http://www.codesourcery.com   ::     CodeSourcery LLC
nathan@codesourcery.com    ::     http://www.planetfall.pwp.blueyonder.co.uk



More information about the Gcc-patches mailing list