http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56396
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |ASSIGNED Last reconfirmed| |2013-02-19 CC| |jakub at gcc dot gnu.org Version|4.7.3 |4.8.0 AssignedTo|unassigned at gcc dot |jakub at gcc dot gnu.org |gnu.org | Target Milestone|--- |4.8.0 Ever Confirmed|0 |1 --- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-02-19 19:02:17 UTC --- Reduced testcase: /* PR tree-optimization/56396 */ /* { dg-do compile } */ /* { dg-options "-O2 -fpic -g" } */ struct S { char *s; int z; }; struct T { int t; } *c, u; void bar (int, const char *); inline void * foo (void *x, char *y, int z) { struct S s; char b[256]; s.s = b; s.z = __builtin___sprintf_chk (s.s, 1, __builtin_object_size (s.s, 2), "Require"); if (s.z < 0) bar (u.t | c->t, "rls"); if (foo (x, s.s, s.z)) { } return (void *) 0; }