To add a new variant, on a DECstation 3100 (Ultrix 2.1) both cc (1.31) and gcc (1.37) give the following results: x=2, a=123, b=3 x=1, a=123, b=3 (no coredumps)