/* { dg-do compile } */
/* { dg-options "-O2" } */

/* PR17513 - we hit a bug where EDGE_EXECUTABLE was not cleared on
   successors of the entry block.  This lead to a flow verification
   error much later in the compilation (after gcse).  */
typedef unsigned char uint8; 
typedef unsigned int uint32; 
 
uint32 marker = 0; 
uint8 *buff = 0; 
uint32 bsize = 0; 
 
extern int foo (void); 
 
uint32 
bar (void) 
{ 
  int len, d; 
 
  for (;;) 
    { 
      if (foo () == 0) 
        return (0); 
 
      switch (marker) 
        { 
        case 0xfe: 
          { 
            len |= (*buff++); 
            bsize -= 2; 
 
            while (len > 0) 
              { 
                d = *buff++; 
                len--; 
              } 
          } 
          break; 
        default: 
          break; 
        } 
    } 
}