CodeQL library for C/C++
Search

Member predicate IRBlock::strictlyDominates

Holds if this block strictly dominates block.

Block A strictly dominates block B if block A dominates block B and blocks A and B are not the same block.

predicate strictlyDominates(IRBlock block)