由＋＋操作引发的问题

最近在项目中遇到了一个奇怪的问题，在此作个标记，以免再犯！！
 代码如下：

#include <stdio.h>

int main(int argc, char* argv[])
...{
    int c = 9;
    c = c++ % 5;
    printf("c = %d ", c);

    return 0;
}

编译器: sparc-elf-gcc 3.2.3
程序执行结果：c = 10 <从正常的分析来看，结果应该是5>

为什么呢？是不是sparc的编译器对c=c++%5做了其它的理解呢？因此把这段代码反编译得出其汇编代码如下：
编译命令：sparc-elf-gcc -g -o test.exe test.c
                    sparc-elf-objdump -D test.exe > dump.txt

40001174 <main>:
40001174:    9d e3 bf 90     save  %sp, -112, %sp
40001178:    f0 27 a0 44     st  %i0, [ %fp + 0x44 ]
4000117c:    f2 27 a0 48     st  %i1, [ %fp + 0x48 ]
40001180:    90 10 20 09     mov  9, %o0
40001184:    d0 27 bf f4     st  %o0, [ %fp + -12 ]
40001188:    c0 27 bf f0     clr  [ %fp + -16 ]
4000118c:    a2 07 bf f4     add  %fp, -12, %l1
40001190:    e0 04 40 00     ld  [ %l1 ], %l0
40001194:    90 10 00 10     mov  %l0, %o0
40001198:    92 10 20 05     mov  5, %o1
4000119c:    40 00 00 13     call  400011e8 <.rem>
400011a0:    01 00 00 00     nop 
400011a4:    d0 27 bf f4     st  %o0, [ %fp + -12 ]
400011a8:    a0 04 20 01     inc  %l0
400011ac:    e0 24 40 00     st  %l0, [ %l1 ]
400011b0:    d0 07 bf f4     ld  [ %fp + -12 ], %o0
400011b4:    d0 27 bf f0     st  %o0, [ %fp + -16 ]
400011b8:    11 10 00 26     sethi  %hi(0x40009800), %o0
400011bc:    90 12 20 00     mov  %o0, %o0    ! 40009800 <___DTOR_END__>
400011c0:    d2 07 bf f0     ld  [ %fp + -16 ], %o1
400011c4:    40 00 00 c7     call  400014e0 <printf>
400011c8:    01 00 00 00     nop 
400011cc:    90 10 20 00     clr  %o0    ! 0 <*ABS*>
400011d0:    b0 10 00 08     mov  %o0, %i0
400011d4:    01 00 00 00     nop 
400011d8:    81 c7 e0 08     ret 
400011dc:    81 e8 00 00     restore 

果然发现了猫腻，sparc-elf-gcc编译器把c的初值（＝9）拷贝了两份，分别放在o0和l0中，用o0做了（9%5）的操作，并将值写回到了栈中，然后又用l0中原来存放的值（＝9）做自增操作，其结果等于10，并写回到原来的单元中，这样就覆盖了上次的值，所以输出为10。

结果分析：sparc-elf-gcc可能为了节省数据读取的时间，将初值拷贝了两份，导致后用的值没有和sram中同步，这可能是sparc-elf-gcc的一个bug！同样的，这样的程序风格也不值得提倡！～引以为戒

延伸：我用标准gcc或者vc6.0自带的c编译器进行编译的时候是没有问题的！