1  /* { dg-do compile } */
       2  /* { dg-options "-O1" } */
       3  
       4  void __assert_fail (const char *, const char *, unsigned int, const char *);
       5  
       6  int a, b, c, d, e, f, h;
       7  unsigned char g;
       8  
       9  int main ()
      10  {
      11    int i, *j = &b;
      12    if (a)
      13      {
      14        if (h)
      15  	{
      16  	  int **k = &j;
      17  	  d = 0;
      18  	  *k = &e;
      19  	}
      20        else
      21  	for (b = 0; b > -28; b = g)
      22  	  ;
      23        c || !j ? : __assert_fail ("c || !j", "small.c", 20, "main");
      24        if (f)
      25  	for (i = 0; i < 1; i++)
      26  	  ;
      27      }
      28    return 0;
      29  }