Searched defs:RecomputedDisposition (Results 1 – 1 of 1) sorted by relevance
14399 const auto RecomputedDisposition = SE2.getLoopDisposition(S, Loop); in verify() local14412 const auto RecomputedDisposition = SE2.getBlockDisposition(S, BB); in verify() local