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

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

Исправление зависит от первопричины дефекта. Часто детали результата показывают последовательность событий, которые привели к дефекту. Используйте этот список событий, чтобы определить, как сдвигаемая переменная получает отрицательные значения. Вы можете реализовать исправление на любом событии в последовательности. Если сведения о результате не отображают историю событий, можно отследить их с помощью опций правого щелчка в исходном коде и просмотреть предыдущие связанные события. Смотрите также Результаты интерпретации Bug Finder в интерфейсе пользователя Polyspace Desktop.

Чтобы исправить дефект, проверьте отрицательные значения перед битовой операцией сдвига и выполните соответствующую обработку ошибок.

См. примеры исправлений ниже.

Если вы не хотите устранять проблему, добавьте комментарии к своему результату или коду, чтобы избежать другой проверки. Смотрите Адрес Результаты Polyspace через исправления ошибок или обоснования.

int shifting(int val)
{
    int res = -1;
    return res << val;
}

В операторе возврата переменная res сдвинут некоторое количество бит налево. Однако, потому что res отрицательно, сдвиг может перезаписать бит знака.

Одной из возможных коррекций является изменение типа данных сдвинутой переменной на беззнаковую. Эта коррекция устраняет бит знака, поэтому перемена влево не меняет знак переменной.

int shifting(int val)
{
    unsigned int res = -1;
    return res << val;
}

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

Точное выделение ресурсов хранения для различных типов с плавающей точкой зависит от процессора. См. Target processor type (-target).

Переполнение операции сдвига может привести к неопределенному поведению.

Исправление зависит от первопричины дефекта. Часто детали результата показывают последовательность событий, которые привели к дефекту. Используйте этот список событий, чтобы определить, как переменные в операции shift получают свои текущие значения. Вы можете реализовать исправление на любом событии в последовательности. Если сведения о результате не отображают историю событий, можно отследить их с помощью опций правого щелчка в исходном коде и просмотреть предыдущие связанные события. Смотрите также Результаты интерпретации Bug Finder в интерфейсе пользователя Polyspace Desktop.

Исправить дефект можно путем:

См. примеры исправлений ниже.

Если вы не хотите устранять проблему, добавьте комментарии к своему результату или коду, чтобы избежать другой проверки. Смотрите Адрес Результаты Polyspace через исправления ошибок или обоснования.

int left_shift(void) {

    int foo = 33;
    return 1 << foo; 
}

В операторе возврата этой функции битовая операция сдвига выполняется со сдвигом 1 foo биты налево. Однако, int имеет только 32 бита, поэтому область значений сдвига должен быть между 0 и 31. Поэтому эта операция сдвига вызывает переполнение.

Одна возможная коррекция состоит в том, чтобы сохранить операцию сдвига, приводящую к большему типу данных. В этом примере путем возврата long long вместо int, дефект переполнения фиксирован.

long long left_shift(void) {

    int foo = 33;
    return 1LL << foo; 
}