# V6120. The result of the '&' operator is '0' because one of the operands is '0'.

Анализатор обнаружил, что выполняется побитовая операция '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;
    }

Также анализатор выдаст срабатывание на использование нулевого операнда с оператором '&='. Такой код выглядит подозрительно, так как равенство нулю одного из операндов означает, что и результат выражения будет равен нулю.

Данная диагностика классифицируется как:

CWE-682