mirror of
https://github.com/github/codeql.git
synced 2026-03-06 23:56:48 +01:00
10 lines
179 B
Plaintext
10 lines
179 B
Plaintext
import cpp
|
|
|
|
predicate isReachable(BasicBlock bb) {
|
|
bb instanceof EntryBasicBlock or
|
|
isReachable(bb.getAPredecessor())
|
|
}
|
|
|
|
from BasicBlock bb
|
|
where not isReachable(bb)
|
|
select bb |