[Tinycc-devel] A difference between TCC and GCC. Who is right ?

[Bin Shi]

The follow C code:

 

  #include <stdio.h>
  
  int global_a = 10;
  
  int increase(void)
  {
       return global_a += 10;
  }

 int main(void)
 {
      printf("%d,%d\n", increase(), global_a);
 }

 

GCC output:

20, 10

 

but tcc-0.9.25 output:

20, 20

 

Who is right ? What does ANSI C defines?