Bad gcc -O optimization cause core dump. What to do?

[Ricardo Nabinger Sanchez]

On Tue, 13 Mar 2007 15:06:32 +0100
Maxime Henrion <mux at FreeBSD.org> wrote:

> > Given that this is not what the user asked (replacing printf with puts), I
> > consider this a bug.  GCC made its assumption, and it was incorrect--it's
> > not user's fault.
> 
> GCC can do whatever it wants here, even printing "foobar42", because the
> C standard says that passing a NULL pointer to a %s format will yield
> undefined behaviour.  It *is* user's fault to have passed NULL to
> printf() in the first place.
> 
> So, while we could argue that GCC's behaviour here is useless, annoying,
> etc, this just can't be called a bug in GCC.  As a side note, these
> "optimizations" are in place since a *long* time now.

... Considered until now.  :)

Honestly, I wasn't aware of these specific issues (detail in the C standard +
gcc builtin printf optimization), and that's surely _my_ fault, not gcc's.

Sorry for the (useless) noise.  Thank you (and DES) for pointing this out.

-- 
Ricardo Nabinger Sanchez     <rnsanchez@{gmail.com,wait4.org}>
Powered by FreeBSD

  "Left to themselves, things tend to go from bad to worse."