SA0059：常にTRUEまた [...] が常に次になるリテラルとの比較を検出します。 TRUE または FALSE 、コンパイル時にすでに処理できます。 理論的根拠：一定の演算 TRUE

SA0062：式でのTRUEまた [...] ラルの使用法を決定します TRUE また FALSE 式で。 正当 [...] ル値リテラルを使用した演算 TRUE または FALSE 、繰り

_VAR //Implementation: IF TRUE THEN [...] フローを操作するステートメントは認知の複雑さを 1 増加させます IF TRUE [...] TRUE DO //+1

Init = TRUE THEN iInit := i [...] Do = TRUE THEN i [...] _IF IF bManual = TRUE

Temp1.3 := TRUE; // SA0148 diTemp3.4 := TRUE; // SA0148 uli [...] Temp6.3 := TRUE; // SA0148 by

Test := TRUE; END_IF 1 行目 [...] 式が認識されます。 IF -ステートメント定数 TRUE [...] Func(TRUE); END_IF パラ

と実施 空行を潰す true (デフ [...] ターフェース 宣言 変数の型を揃える true [...] の初期化を調整する true （デフォルト）： 変数

Cond := TRUE THEN // SA [...] _IF WHILE (xCond = TRUE [...] Cond = TRUE) OR (i

Temp1.3 := TRUE; //SA0018 diTemp3.4 := TRUE; //SA0018 uli [...] Temp6.3 := TRUE; //no error

TRUE, the retain [...] InitRetains : BOOL; (* If TRUE