C＃编译器的问题 OR JIT的问题？

这是一个博士发现的问题，我在这里贴一下：

使用C#写程序(1.0框架)：
程序一：
int a = 2044617152; a += 0x12345678;
if (a < 0) a = -a;
___________
 程序二：
int a = 2044617152; a += 0x12345678; string str = a.ToString();
if (a < 0) a = -a;
____________
两段程序最后的a值竟然不同，为什么？这个a值并没有越界