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