A=-2147483648-A;编译器优化

我正在尝试学习如何对软件进行反向工程,以及在编译器优化之前理解代码外观的所有技巧。

我发现这样的东西好几次了:

    if (a < 0)
      a = -2147483648 - a;

我原以为是 abs() :A下溢,这样您得到正值。但自从 a 为负(参见if),相当于:

    if (a < 0)
      a = -2147483648 + abs(a);

这将是一个非常小的负数,而不是 一 完全。我错过了什么?