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

с:

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

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

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

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

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

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

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