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