バージョン V5.0.0.0 では [...] 伝播の結果はさまざまなチェックに使用されます。たとえば、ポインタが 0 に等 [...] ; testArray : ARRAY [0
Var : BOOL:= %IX0.0; // +1 [...] _VAR //Implementation xVar := %IX0.0 [...] access %QX0.0 := x
除算が発生する可能性のあるコードを判別します。 正当化: による除算 0 エラーが発生します。除算する変数は常に最初に 0 であ [...] Val2 <> 0 THEN iVal1 := i
する前に <> 0 であ [...] instNoInitITF <> 0 [...] interface can't be 0 END
ドがまだ含まれている場所が特定されます。または、逆参照前に 0 がチ
操作がデータ型の幅を超えると、定数が作成されます 0 。 回転
Var1 - lrVar2) < 0.1; 例外: との比較 0.0 この分析では報告されていません。 0 については、IEEE 754
0055 WHILE byTest >= 0 DO