//META: generated=true
//META: model=claude-opus-4-8[1m]
//META: generated_at=2026-06-11T15:00:00+00:00
//META: source_commit=ef1068b5485e09b3a7afadba2e25f9541e29af42
//META: doc_ref=docs/generated/design/pipeline/02-parse-ast.md#error-recovery
//META: doc_section_digest=ecd97134efc1fb844f5467e390d9248d7c2f8f41cabf069e67d46c245cea2ef3
//META: purpose=Verifies a lone `;` as the body of an `if` emits the W20101 unintended-empty-statement warning (compile still succeeds).
//META: intent=characterization
//META: covers=source/slang/slang-parser.cpp
//META: pipeline_stage=parse
//META: warning=Auto-generated. May drift from source. Do not edit by hand.

// Characterization: an empty statement (`;`) directly as a controlled
// statement is a common typo; the statement parser warns but recovers and
// compiles. CHECK pins the E20101 warning code and the observed message.
// This is a warning, so the compile succeeds.

//DIAGNOSTIC_TEST:SIMPLE(diag=CHECK):-target hlsl -entry main -stage compute

[numthreads(1, 1, 1)]
void main()
{
    if (true);
//CHECK: E20101
//CHECK: potentially unintended empty statement at this location; use {} instead.
}
