diff --git a/test/wcc/763_typeeq_fn_ast.c b/test/wcc/763_typeeq_fn_ast.c index b922a94a..61f8a14b 100644 --- a/test/wcc/763_typeeq_fn_ast.c +++ b/test/wcc/763_typeeq_fn_ast.c @@ -41,9 +41,12 @@ * tag CMPQ because wwstage's cgmatch gates the case-pattern flatvariant * lookup on `pat.kind == nkind.N_TNAME` (selfhost/cmd/wcc/cgenexpr.ww: * 1512) — N_TPTR(N_TFN) case patterns short-circuit to tag 0. That is - * a SIBLING cgen-side bug (filed alongside this fold per the brief's - * "do not sweep" instruction) and orthogonal to the AST-layer - * typeeqast equality this fold ratifies. The pre/post-fix asymmetry + * project #179 (cgmatch flatvariantidx N_TNAME-only gate), a SIBLING + * cgen-side bug filed alongside this fold per the brief's "do not + * sweep" instruction, and orthogonal to the AST-layer typeeqast + * equality this fold ratifies. Runtime is fortuitously OK because + * the bare `let v: t;` zero-inits tag 0, masking the wrong-tag-load + * the .s divergence would otherwise produce. The pre/post-fix asymmetry * THIS PROBE locks is the wwstage CHECKER outcome: pre-fix master * red-errors the program (4× errbadcase + match-not-handled); post- * fix it compiles to a runnable binary. The runtime exit-code arm