众所周知，int 溢出是未定义行为，这说明编译器可以想干啥就干啥。
于是便出现了 GCC 天才优化

省流：GCC 把 foo 优化成了 $a(b+1)$，然而当 $b<0$ 时调用就会死循环。