Meaning
If condition must be an integer.
Compiler layer
Semantic / control-flow checking
← Error ExplorerVERIFIED
DIAGNOSTIC · SEMANTIC / CONTROL-FLOW CHECKING
E120 If condition must be an integer
Current evidence establishes integer conditions for if.
Evidence
tests/integration/E120_test_if_as_statement.avs
Evidence reference from the reviewed project corpus. A reference indicates a related exercised scenario; it does not imply complete coverage of the diagnostic family.
Related documentation
Open language › control-flow documentation →Related diagnostics
Scope noteThe current evidence does not establish general boolean conditions for
if.Related evidence
TRACEABILITY
Related Evidence
These references identify supplied project evidence related to the documented area. Test files indicate exercised scenarios; reports and source documents provide additional audit evidence. A listed item is not a claim that every related behavior is covered.
tests/integration/E120_test_if_as_statement.avs