CodeQL library for C/C++
Search

Predicate Cached::blockImmediatelyDominates

Import path

import semmle.code.cpp.ir.IR
predicate blockImmediatelyDominates(TIRBlock dominator, TIRBlock block)