C Compiler bug

[Martin Resnick]

Please try this code on your flavor of C compiler and see if you get the
correct results:
 
main()
{
   int i;
 
   i = 8;
   i = i/2.5;
   printf("i= %d\n", i);

   i = 8;
   i /= 2.5;
   printf("i= %d\n", i);
   exit(0);
}
 
The correct answer is 3 in both cases, not 4.