[Bug c/17860] New: Wrong generated code for loop with inlined function inside.

["tal dot agmon at nsc dot com" <gcc-bugzilla@gcc.gnu.org>]

Compile the following code with: gcc -O3. The output should be 

   foo is: 0, i is: 1

Yet the output is:

   foo is: 0, i is: 0

This is the source code:

#include <stdio.h>
int foo=100;

int f ()
{
  foo = 0;
}

void main ()
{
  int i;

  for (i = 0; i < foo; i++)
    {
      f ();
    }
  printf("foo is: %d, i is: %d\n",foo,i);
}

-- 
           Summary: Wrong generated code for loop with inlined function
                    inside.
           Product: gcc
           Version: 3.4.2
            Status: UNCONFIRMED
          Severity: critical
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tal dot agmon at nsc dot com
                CC: gcc-bugs at gcc dot gnu dot org,paul dot woegerer at nsc
                    dot com
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17860