为什么如果条件为false，为什么仍会对语句进行辩护

代码如下所示，值 - 行 i显然是-1。但是以下陈述仍然有所共鸣。问题是在放大函数中的第一个。

void enlarge(queue<vector<int>> &slv, vector<int> &v, int n)
{
    auto row = v.size();
    int rec = 0;
    for (int i = 0; i < row; ++i)
    {
        int value = v[i];
        rec |= 1 << value;
        //int s = (value - row);
        if (value - row + i >= 0)   
            rec |= 1 << (value - row + i);
        if (value + row - i < n)    
            rec |= 1 << (value + row - i);
    }
    vector<int> vt;
    int bitPosi = 0;
    while (bitPosi < n)
    {
        if (!(rec & 1))
        {
            v.push_back(bitPosi);
            slv.push(v);
            v.pop_back();
        }
        rec >>= 1;
        bitPosi++;
    }
}