Использование побитового оператора с булевым операндом происходит при использовании побитовых операторов, таких как:

с:

Использование переменных логического типа в качестве индексов массива в логическом арифметическом выражении и в операциях сдвига не приводит к возникновению этого дефекта.

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

Используйте логические операторы в выражениях, содержащих логические переменные и оператор отношения. Чтобы указать, что в таком выражении предполагается использовать побитовый оператор, используйте круглые скобки.

int getuid();
int geteuid();
void Noncompliant ()
{
	if (getuid () & geteuid () == 0) {/*Noncompliant*/   
		/* ... */
	}else{
		/*...*/
	}
}

В этом примере if-else блок выполняется условно. Условный оператор использует побитовое И (&) вместо логического И (&&), возможно, по ошибке. Учитывайте, когда функция geteuid() вычисляется как 0, и getuid() вычисляется как 2. В этом случае else блок кода выполняется при использовании & потому что 2&1 вычисляется как false. И наоборот, if блок кода выполняется при использовании && потому что 2&&1 вычисляется как true. Используя & вместо && может привести к логическим ошибкам и ошибкам в коде, которые трудно найти. Polyspace ® помечает использование побитовых операторов в этих видах выражений, где также используются реляционные операторы.

Одной из возможных корректировок является использование логических операторов в выражениях, содержащих реляционные операторы и логические переменные.

int getuid();
int geteuid();
void Compliant ()
{
	if (getuid () && geteuid () == 0) {   
		/* ... */
	}else{
		/*...*/
	}
}