Анализатор обнаружил, что выполняется побитовая операция 'AND' (&) с операндом, равным 0. Возможно, использован неподходящий оператор или операнд.
Рассмотрим пример:
public class TypeAttribute { private static final int NOT_PUBLIC = 0x0, private static final int PUBLIC = 0x1, private static final int NESTED_PUBLIC = 0x2, private static final int NESTED_PRIVATE = 0x3 public static boolean isNotPublic(int type) { return (type & NOT_PUBLIC) == NOT_PUBLIC; } }
Метод 'isNotPublic' проверяет наличие флага 'NOT_PUBLIC' у аргумента 'type'.
Подобный метод проверки не имеет смысла, так как у флага 'NOT_PUBLIC' нулевое значение. Это значит, что использование его как операнда оператора '&' приводит к всегда нулевому значению результата. Поэтому в представленной реализации мы всегда получаем истинное условие.
Корректная реализация проверки может выглядеть следующим образом:
public static boolean isNotPublic(int type) { return type == NOT_PUBLIC; }
Также анализатор выдаст срабатывание на использование нулевого операнда с оператором '&='. Такой код выглядит подозрительно, так как равенство нулю одного из операндов означает, что и результат выражения будет равен нулю.
Данная диагностика классифицируется как: