mirror of
https://github.com/github/codeql.git
synced 2026-05-24 08:07:07 +02:00
Check that the read node is in a *reachable* basic block before looking for a dominating write block.
Check that the read node is in a *reachable* basic block before looking for a dominating write block.