VC++未被修正的优化错误之一

演示代码：
/*optbug.c*/
long E;

long I(long x, long Y, long X)
{
  Y? X ^= Y, X * X > x ? X ^= Y: 0, I(x, Y / 2, X): E = X;
  return 0;
}

int main(int argc, char * argv[])
{
  long i, u = 1 << 15;

  for (i = 1; i < 100; ++i)
  {
    I(i * i, u, 0);
    printf("%u/t", E);
  }
  return 0;
}
/*optbug.c*/

目前已知VC++2003与VC++2005有优化错误。

出现优化错误的编译命令是：

cl /O2 optbug.c

优化错误应该出现在前端。表现是在三目运算符内的递归调用被错误地去除。

第一个三目运算符内，X被修改，又递归调用，送给函数I。
优化器认为X没有被传出函数，对X的运算被去除，编译器把函数I变成：

long I(long x, long Y, long X)
{
  Y? 0 : E = X;
  return 0;
}