int check (int arg) {
    static int count;
    if(arg > 0) {
        count++;                   /* Persistent side effect */
        return 1;
    }
    else
        return 0;
}

int getSwitch(void);
int getVal(void);

void main(void) {
    int val = getVal();
    int mySwitch = getSwitch();
    int checkResult;

    if(mySwitch && check(val)) {   /* Non-compliant */
    }

    checkResult = check(val);
    if(checkResult && mySwitch) {  /* Compliant */
    }
    
    if(check(val) && mySwitch) {   /* Compliant */
    }
}

В этом примере нарушено правило, когда правильный операнд операции && содержит вызов функции. Вызов функции имеет персистентный побочный эффект, потому что статическая переменная count изменяется в теле функции. В зависимости от mySwitch эта модификация может или не может произойти.

Правило не нарушено, когда левый операнд содержит вызов функции. Также, чтобы избежать нарушения правила, присвойте результат вызова функции к переменной. Используйте эту переменную в логической операции вместо вызова функции.

В этом примере вызов функции имеет побочный эффект изменения переменной static. Polyspace отмечает все вызовы функции, когда используется на правой стороне логического && или оператора ||, даже когда функция не имеет побочного эффекта. Вручную осмотрите свое тело функции, чтобы видеть, имеет ли оно побочные эффекты. Если функция не имеет побочных эффектов, добавьте комментарий и выравнивание в вашем результате Polyspace, объясняющем, почему вы сохранили свой код.