Subversion Repositories openrisc

/* { 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;

        }

    }

}