1  /* { dg-do compile } */
       2  /* { dg-options "-O2" } */
       3  
       4  /* PR17513 - we hit a bug where EDGE_EXECUTABLE was not cleared on
       5     successors of the entry block.  This lead to a flow verification
       6     error much later in the compilation (after gcse).  */
       7  typedef unsigned char uint8; 
       8  typedef unsigned int uint32; 
       9   
      10  uint32 marker = 0; 
      11  uint8 *buff = 0; 
      12  uint32 bsize = 0; 
      13   
      14  extern int foo (void); 
      15   
      16  uint32 
      17  bar (void) 
      18  { 
      19    int len, d; 
      20   
      21    for (;;) 
      22      { 
      23        if (foo () == 0) 
      24          return (0); 
      25   
      26        switch (marker) 
      27          { 
      28          case 0xfe: 
      29            { 
      30              len |= (*buff++); 
      31              bsize -= 2; 
      32   
      33              while (len > 0) 
      34                { 
      35                  d = *buff++; 
      36                  len--; 
      37                } 
      38            } 
      39            break; 
      40          default: 
      41            break; 
      42          } 
      43      } 
      44  } 
      45