Язык ST, мэк 61131-3. Баг или фича?

[Dotarev]

Написал небольшую программку:

Код: Выделить всё

PROGRAM Main
VAR
	Counter1:DWORD;
	Counter2:DWORD;
	StartSelfDestruct:BOOL:=FALSE;
END_VAR
Counter1:=0;
Counter2:=Counter1+1;
IF NOT counter2=counter1 THEN
	(*everything is fine *)
	;
ELSE
	(*Fail !*)
	StartSelfDestruct:=TRUE;
END_IF

При запуске на выходе StartSelfDestruct установлен в true!
Конечно, победил за десять минут, но вот вопрос: это баг или фича языка ST?
Если что, среда - TwinCat v2.11.1539

[leon78]

1. Выполняется побитовое НЕТ для counter2. Результат 16#FFFFFFFE
2. Выполняется сравнение 16#FFFFFFFE=0
3. Переход в ветку ELSE

Надо исправить на
IF NOT (counter2 = counter1) THEN
или
IF counter2 <> counter1 THEN

[Dotarev]

Точно. Не учел, что NOT может применяться как к bool, так и к word, dword.

[checker]

TwinCat сделал все строго по стандарту. Оператор NOT имеет более высокий приоритет, чем оператор присваивания, поэтому выполняется первым.

Стандарт IEC 61131-3 (2 редакция от 2003 г.): стр, 131, таблица 55 - Operators of the ST language
Стандарт IEC 61131-3 (3 редакция от 2013 г.): стр, 202, таблица 71 - Operators of the ST language

[aranea]

я всегда условие в IF пишу в скобках

Код: Выделить всё

IF counter2 != counter1 THEN

а так можно было?

[checker]

Оператор неравенства - это <>, оператора != в стандарте 61131-3 нет.

[petr2off]

От реализации кстати тоже зависит. В ISAGRAF такой код не отранслируется, там запрещено применять оператор NOT к целым выражениям, для этого существует ФБ NOT_MASK(ival)

[Dotarev]

TwinCat сделал все строго по стандарту

Точно. Немного дополню.
Оператор NOT определяется как "побитовое дополнение" и может применяться к битово-строковым литералам: BOOL, BYTE, WORD, DWORD, LWORD. При попытке применения NOT к переменным другого типа, в т.ч. INT, выдается ошибка компиляции.
Это теперь я поумнел, после изучения стандарта