Microchip XC8 C Compiler. Непонятный warning: (751) arithmetic overflow in constant expression

@Curry · Регистрация: 01.06.2013

Студворк — интернет-сервис помощи студентам

В C компиляторах для PIC-ов, кажется после версии 1.40 непонятные предупреждения, например

C
1
2
3
4
#define PROG_VERSION    12345
 
      unsigned char bLow;
      bLow=(unsigned char)(PROG_VERSION & 0xFF);

На последнюю строку ругается warning: (751) arithmetic overflow in constant expression.
Не люблю оставлять предупреждения. С какой стати тут оно? Аналогичный код на других компиляторах (не для пиков) предупреждений не выдаёт. Что изменить что бы предупреждения не было? (Кроме отключения предупреждений, конечно.)

p.s. Это просто развёрнутый макрос LOW_BYTE из pic18.h идущего с этим же компилятором. С макросом, естественно, тоже предупреждение.

ValeryS · 26.01.2018, 20:14

Сообщение от KolodeznyDiver

warning: (751) arithmetic overflow in constant expression.

перевод

арифметическое переполнение в постоянном выражении.

нужно оба выражения привести к unsigned char
попробуй

C
1
bLow=((unsigned char)PROG_VERSION & 0xFFU);

@Curry · 26.01.2018, 20:37 **[ТС]**

Сообщение от ValeryS

попробуй

то же самое.

ValeryS · 26.01.2018, 21:17

кажется я понял

Сообщение от KolodeznyDiver

C
1
#define PROG_VERSION  12345

приводит к char
из за этого и варнинг
попробуй явно объявить её int
или

C
1
const int PROG_VERSION =12345;

или

C
1
#define PROG_VERSION  12345UL

@Curry · 26.01.2018, 21:33 **[ТС]**

Сообщение от ValeryS

const int PROG_VERSION =12345;

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

@pyzhman · 27.01.2018, 06:37

Сообщение от KolodeznyDiver

& 0xFF

Если попробовать 0x00FF? А вдруг?

ValeryS · 27.01.2018, 08:26

Сообщение от KolodeznyDiver

хотя в чём разница с явным приведением типа в выражении неясно.

вот во что это выражение превращается после препроцессора

C
1
 bLow=(unsigned char)(12345 & 0xFF);

12345 явно не char

попробуй этот вопрос задать в ветке Си( https://www.cyberforum.ru/c/ ) там есть знатоки стандарта и поточней ответят
ну и ссылку сюда, думаю многим интересно будет

@Curry · 27.01.2018, 13:48 **[ТС]**

Сообщение от pyzhman

Если попробовать 0x00FF? А вдруг?

Не катит. Предупреждение выдаётся даже в случае

C
1
bLow=(unsigned char)PROG_VERSION;

Сообщение от ValeryS

попробуй этот вопрос задать в ветке Си

Задал, хотя, по моему баг. В мануале к компилятору объяснения не нашёл.

@Voland_ · 29.01.2018, 12:56

Сообщение от KolodeznyDiver

О! Этот вариант компилируется без предупреждения

а толку? Эти решения имеют абсолютно разные коды (в общем случае). Хотя, многие советуют не использовать #define, например. С одной стороны, вы можете добавить к const - 'static'. Возможно, компилятор поймет что к чему. Но это не факт - и тогда константа появится с кодом и будет читаться из кода, что совсем не то, что вы предположили.

Пример оч. простой. Если вы используете вычисления с константами (неважно какой сложности), и компилер видит, что они состоят только из цифр и действий - вы получите константу в коде и 1-2 инструкции процессора. Если же компилер не увидит, что код состоит только из констант - он будет вычислять эти константы на рантайме, добавляя килограммы ненужного кода в результирующий бинарник.

Сообщение от ValeryS

((unsigned char)PROG_VERSION)

вот так должно работать. Иначе это просто баг.

Новые блоги и статьи Все статьи Все блоги /
Доступность команды формы по условию Maks 07.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: сделать доступной кнопку (команда формы "ЗавершитьСписание") при. . .	Уведомление о неверно выбранном значении справочника Maks 06.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "НарядПутевка", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если в документе выбран неверный склад. . .	Установка Qt Creator для C и C++: ставим среду, CMake и MinGW без фреймворка Qt 8Observer8 05.04.2026 Среду разработки Qt Creator можно установить без фреймворка Qt. Есть отдельный репозиторий для этой среды: https:/ / github. com/ qt-creator/ qt-creator, где можно скачать установщик, на вкладке Releases:. . .	AkelPad-скрипты, структуры, и немного лирики.. testuser2 05.04.2026 Такая программа, как AkelPad существует уже давно, и также давно существуют скрипты под нее. Тем не менее, прога живет, периодически что-то не спеша дополняется, улучшается. Что меня в первую очередь. . .
Отображение реквизитов в документе по условию и контроль их заполнения Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеСпецтехники", разработанного в конфигурации КА2. Данный документ берёт данные из другого нетипового документа. . .	Фото всей Земли с борта корабля Orion миссии Artemis II kumehtar 04.04.2026 Это первое подобное фото сделанное человеком за 50 лет. Снимок называют новым вариантом легендарной фотографии «The Blue Marble» 1972 года, сделанной с борта корабля «Аполлон-17». Новое фото. . .	Вывод диалогового окна перед закрытием, если документ не проведён Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать программный контроль на предмет проведения документа. . .	Программный контроль заполнения реквизитов табличной части документа Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: 1. Реализовать контроль заполнения реквизита. . .

Microchip XC8 C Compiler. Непонятный warning: (751) arithmetic overflow in constant expression

Решение