Правый операнд оператора сдвига должен лечь в нуле области значений меньше, чем ширина в битах существенного типа левого операнда
Правый операнд оператора сдвига должен лечь в нуле области значений меньше, чем ширина в битах существенного типа левого операнда.
Рассмотрите этот оператор:
var = abc << num;
abc 16-битное целое число, затем num должен быть в области значений 0–15, (неотрицательный и меньше чем 16). Если num отрицательно или больше, чем 16, затем поведение сдвига не определено.Polyspace® повышает нарушение, когда правильный операнд оператора сдвига превышает область значений, заданную в этом правиле. Когда правильный операнд является переменной, нарушение повышено, если все возможное значение операнда не остается в области значений, заданной в этом правиле.
В Polyspace числа, которыми управляют в предварительной обработке директив, 64 бита шириной. Допустимая область значений сдвига между 0 и 63. Когда битовые поля в сложном выражении, Polyspace расширяет эту проверку на ширину поля битового поля или ширину базового типа.
Сумма сдвига больше, чем size.
Сумма сдвига отрицательна.
Правильный операнд оператора сдвига должен лечь в нуле области значений меньше, чем ширина в битах существенного типа левого операнда.
Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.
| Группа: Выражения |
| Категория: необходимый |
| Категория AGC: необходимый |