реклама на сайте
подробности

 
 
 
Reply to this topicStart new topic
> где я не прав, или опять ~volatile~, Warning[Pa082]: undefined behavior: the order of volatile accesses is
Faradey
сообщение Nov 30 2006, 12:16
Сообщение #1


Частый гость
**

Группа: Свой
Сообщений: 127
Регистрация: 31-05-06
Из: Belarus, Minsk
Пользователь №: 17 638



вот я так понял, что если есть глобальная переменная изменяемая в прерываниях, то ее объявляем так:
Код
volatile u08 Tx1_write=0;
volatile u08 Tx1_read=0;

тогда почему компилятор ругается:
Цитата
Warning[Pa082]: undefined behavior: the order of volatile accesses is undefined in this statement

в этом месте :
Код
   if( Tx1_read==Tx1_write )
    return 0;

???


--------------------
Завтра пойму, что нужно было сделать вчера...
Go to the top of the page
 
+Quote Post
rezident
сообщение Nov 30 2006, 12:24
Сообщение #2


Гуру
******

Группа: Свой
Сообщений: 10 920
Регистрация: 5-04-05
Пользователь №: 3 882



Компилятор не ругается, а всего лишь предупреждает, что порядок действий (доступа к переменным) не может быть однозначно определен. Раз тип переменных соответствует разрядности МК, то ничего страшного нет - наплюньте на это предупреждение. Но если тип переменных был бы больше, чем разрядность МК, то в этом случае нужно обязательно контролировать ассемблерный код. В плохом случае сравнение может быть выполнено неправильно.
Go to the top of the page
 
+Quote Post
Faradey
сообщение Nov 30 2006, 12:40
Сообщение #3


Частый гость
**

Группа: Свой
Сообщений: 127
Регистрация: 31-05-06
Из: Belarus, Minsk
Пользователь №: 17 638



Цитата(rezident @ Nov 30 2006, 11:24) *
Компилятор не ругается, а всего лишь предупреждает, что порядок действий (доступа к переменным) не может быть однозначно определен. Раз тип переменных соответствует разрядности МК, то ничего страшного нет - наплюньте на это предупреждение. Но если тип переменных был бы больше, чем разрядность МК, то в этом случае нужно обязательно контролировать ассемблерный код. В плохом случае сравнение может быть выполнено неправильно.


спасибо за пояснение. А существует ли возможность не наблюдать этих предупреждений?

З.Ы. вот еще, а если скажем переменная 2-ух байтная, то для нее обязательна проверка асм.кода?

Сообщение отредактировал Faradey - Nov 30 2006, 12:43


--------------------
Завтра пойму, что нужно было сделать вчера...
Go to the top of the page
 
+Quote Post
IgorKossak
сообщение Nov 30 2006, 13:48
Сообщение #4


Шаман
******

Группа: Модераторы
Сообщений: 3 064
Регистрация: 30-06-04
Из: Киев, Украина
Пользователь №: 221



Цитата(Faradey @ Nov 30 2006, 11:40) *
... существует ли возможность не наблюдать этих предупреждений?
...

Для каждого подобного случая:
Код
     #pragma diag_suppress=Pa082
     if (  ...  )
     #pragma diag_default=Pa082

Запрещать какие-либо сообщения глобально не стоит, т. к. это может обернуться боком.
Go to the top of the page
 
+Quote Post
dxp
сообщение Nov 30 2006, 16:05
Сообщение #5


Adept
******

Группа: Свой
Сообщений: 3 469
Регистрация: 6-12-04
Из: Novosibirsk
Пользователь №: 1 343



Цитата(IgorKossak @ Nov 30 2006, 16:48) *
Цитата(Faradey @ Nov 30 2006, 11:40) *

... существует ли возможность не наблюдать этих предупреждений?
...

Для каждого подобного случая:
Код
     #pragma diag_suppress=Pa082
     if (  ...  )
     #pragma diag_default=Pa082

Запрещать какие-либо сообщения глобально не стоит, т. к. это может обернуться боком.

Еще есть способ явно обойти - сделать чтение таких переменных в локальные и сравнивать уже локальные.

Код
    ...
    rd = Tx1_read;
    wr = Tx1_write
    if(rd == wr) ...

По эффективности тут то же самое - компилятор эти вещи легко прооптимизирует.


--------------------
«Отыщи всему начало, и ты многое поймёшь» К. Прутков
Go to the top of the page
 
+Quote Post
Faradey
сообщение Dec 1 2006, 12:31
Сообщение #6


Частый гость
**

Группа: Свой
Сообщений: 127
Регистрация: 31-05-06
Из: Belarus, Minsk
Пользователь №: 17 638



всем спасибо.


--------------------
Завтра пойму, что нужно было сделать вчера...
Go to the top of the page
 
+Quote Post

Reply to this topicStart new topic
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0

 


RSS Текстовая версия Сейчас: 20th July 2025 - 04:14
Рейтинг@Mail.ru


Страница сгенерированна за 0.01347 секунд с 7
ELECTRONIX ©2004-2016