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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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; 
}