Leetcode bug?(函数即使在二进制搜索中返回后也不会停止)

class Solution {
public:
    int search(vector<int>& nums, int target) {
        int a = 0;
        int b = nums.size()-1,mid;
        while (b>a){
            mid = (a+b)/2;
            cout<<a<<" "<<b<<" "<<mid<<endl;
            if (nums[mid]==target) {
                cout<<"ret";
                return mid;
            }
            else if (nums[mid]>target){
                b = mid;
            }else{
                a = mid;
            }  
        }
        return -1;
    }
};

输出为:

Time Limit Exceeded
Stdout:
0 5 2
2 5 3
3 5 4
ret0 5 2
0 2 1
1 2 1
1 2 1
1 2 1

1 2 1不断重复。 测试用例是: 输入:nums=[-1,0,3,5,9,12],目标=9 输出:4

函数已经打印了“ret”,因此它不应该返回并停止吗?我在电脑上试过了,效果很好。这是个虫子吗? Leetcode在b>a+1,或者如果不是b=mid和a=mid,而是b=mid-1和a=mid+1。