Fix VSTHRD002 completion analysis and extensibility - #1648

Merged

Andrew Arnott (AArnott) merged 28 commits into

mainfrom

aarnott-fix-vsthrd002-issues

Aug 22, 2026

Commits on Aug 21, 2026

Fix VSTHRD002 completion analysis and extensibility

Andrew Arnott (AArnott)
and
Copilot
committed
b5d41ba
Address VSTHRD002 review feedback

Andrew Arnott (AArnott)
and
Copilot
committed
05a9fc4
Fix code fix analyzer style violations

Andrew Arnott (AArnott)
and
Copilot
committed
8d0cc24
Handle parenthesized awaiters in continuations

Andrew Arnott (AArnott)
and
Copilot
committed
a6c02ea
Harden VSTHRD002 completion proofs

Andrew Arnott (AArnott)
and
Copilot
committed
1d594a3
Track VSTHRD002 ref aliases

Andrew Arnott (AArnott)
and
Copilot
committed
28db7ee
Refine VSTHRD002 control flow proofs

Andrew Arnott (AArnott)
and
Copilot
committed
60af3a2
Complete VSTHRD002 alias analysis

Andrew Arnott (AArnott)
and
Copilot
committed
a0b2eb4
Harden completion branches and awaiter fixes

Andrew Arnott (AArnott)
and
Copilot
committed
9e0d607
Make VSTHRD002 alias analysis flow-aware

Andrew Arnott (AArnott)
and
Copilot
committed
38bd17c
Harden deferred VSTHRD002 analysis

Andrew Arnott (AArnott)
and
Copilot
committed
2795a2b
Respect VSTHRD103 exclusions in VSTHRD002

Andrew Arnott (AArnott)
and
Copilot
committed
4dce6ff
Harden VSTHRD002 review edge cases

Andrew Arnott (AArnott)
and
Copilot
committed
0bbc37a
Restrict await fixes to convertible methods

Andrew Arnott (AArnott)
and
Copilot
committed
9aaa961

Commits on Aug 22, 2026

Align completion proofs across analyzers

Andrew Arnott (AArnott)
and
Copilot
committed
9232e0c
Handle completed waits and forbidden awaits

Andrew Arnott (AArnott)
and
Copilot
committed
edd04e8
Avoid await fixes for ref-like signatures

Andrew Arnott (AArnott)
and
Copilot
committed
405299e
Harden VSTHRD002 completion analysis

Andrew Arnott (AArnott)
and
Copilot
committed
d63118f
Guard await fixes against delegate references

Andrew Arnott (AArnott)
and
Copilot
committed
b7e4be0
Merge origin/main into VSTHRD002 fixes

Andrew Arnott (AArnott)
and
Copilot
committed
f3c32b5
Reject by-ref parameter completion proofs

Andrew Arnott (AArnott)
and
Copilot
committed
d8cc972
Merge origin/main after VSTHRD200 update

Andrew Arnott (AArnott)
and
Copilot
committed
dee2308
Harden VSTHRD002 flow and code fixes

Andrew Arnott (AArnott)
and
Copilot
committed
2a1a1bc
Validate async alternative applicability

Andrew Arnott (AArnott)
and
Copilot
committed
9c60d57
Harden VSTHRD002 contract conversion

Andrew Arnott (AArnott)
and
Copilot
committed
87226fe
Cover additional VSTHRD002 flow cases

Andrew Arnott (AArnott)
and
Copilot
committed
394ae0a
Harden VSTHRD002 flow analysis

Andrew Arnott (AArnott)
and
Copilot
committed
bdb808f
Harden VSTHRD002 caller conversion

Andrew Arnott (AArnott)
and
Copilot
committed
2e2d14e