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
Open a published source test or inspect the evidence index for source and report summaries. A source file demonstrates a test scenario; it does not imply complete coverage of the related behavior.