CSP-J里，有一道题目（记得代码大概长这样）

bool f(int a,int b){
  if(b==0)return a;
  return a+f(a,b-1);
}

问题是：当 $b<0$ 时，是否会陷入无限递归？
如果考虑负数溢出减成整数的话，确实不会。
但是不考虑这个，就会。