+++ /dev/null
-/* Reduced from PR optimization/5076, PR optimization/2847 */
-
-static int count = 0;
-
-static void
-inc (void)
-{
- count++;
-}
-
-int
-main (void)
-{
- int iNbr = 1;
- int test = 0;
- while (test == 0)
- {
- inc ();
- if (iNbr == 0)
- break;
- else
- {
- inc ();
- iNbr--;
- }
- test = 1;
- }
- if (count != 2)
- abort ();
- return 0;
-}