Question

我已经编写了一种方法来解析GPS中的字符串，但出于某种原因，在不使用-O0时，关键线会被优化掉。方法代码如下：

bool Gps::ParsePMTK_ACK(PmtkAck_t &dst, uint8_t *buf, int32_t size)
{    
    // Verify message ID
    uint8_t *pCur = buf;

    memset(&dst, 0, sizeof(dst));

    if (strncmp((char*)pCur, "$PMTK001", 8) != 0) {
        return false;
    }

    pCur = pCur + 8; // <--- This line gets optimized away when not on -O0
                     //      thus causing the pointer to NOT be incremented

    if (*pCur != SEPARATOR) {
        return false;
    }

    ++pCur; // <--- Not optimized away

    if (ProcessInt(dst.cmd, &pCur) != 1) {
        return false;
    }

    int16_t tmp;

    if (ProcessInt(tmp, &pCur) != 1) {
        return false;
    }

    dst.flag = static_cast<AckFlag_t>(tmp);

    return true;
} // end ParsePMTK_ACK

删除此行后，该函数无法处理格式正确的消息，因为pCur==buf条件为if (*pCur != SEPARATOR)。因此，函数在格式良好的消息上返回false，因为当达到if语句时指针指向错误的字符。

为什么优化器完全删除指示的行？有没有更好的方法来实现，以便即使优化器被启用，我也能实现所需的行为（即，指针会增加）？

Answer 1

我想编译器会转换原始代码：

pCur = pCur + 8; // <--- This line gets optimized away when not on -O0
                 //      thus causing the pointer to NOT be incremented

if (*pCur != SEPARATOR) {
    return false;
}

++pCur; // <--- Not optimized away

这样的事情：

if (*(pCur + 8) != SEPARATOR) {
    return false;
}

pCur += 9;

因此在调试时会引起混淆。

为什么指针增量语句被优化了？

1 个答案: