1  /* PR c/95580 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O1 -W -fno-tree-dce -fno-tree-dse" } */
       4  
       5  void bar (void);
       6  
       7  void
       8  foo (int x)
       9  {
      10    if (x == 0)
      11      {
      12        void *p = __builtin_malloc (4);
      13        ((char *)p)[1] ^= 1;	/* { dg-warning "may be used uninitialized" } */
      14      }
      15    bar ();
      16  }