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;

}

Reply via email to