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 комментарий и обоснование, объясняющее, почему вы сохранили код.