1  /* { dg-do compile } */
       2  /* { dg-options "-O3" } */
       3  
       4  int rl2_decode_png_bit_depth;
       5  int *rl2_decode_png_p_data;
       6  void png_destroy_read_struct ();
       7  int __attribute__((returns_twice)) _setjmp ();
       8  void rl2_decode_png_row_pointers()
       9  {
      10    unsigned sample_type = 0;
      11    _setjmp();
      12    switch (rl2_decode_png_bit_depth)
      13    case 6:
      14      sample_type = 7;
      15    png_destroy_read_struct();
      16    for (;;)
      17      switch (sample_type)
      18      case 3:
      19      case 5:
      20        *rl2_decode_png_p_data;
      21  }