I tried to watch the change of the \"int a\" by the command \"watch a\". However, the program does not stop, when it changes to 12. Why?
/* FILE: test.c */
The compiler is likely not even generating code to assign 12 to "a", it would be a good idea to disassemble the generated code to confirm. You probably need a slightly more complex test to try this out.