Searched refs:HasCondBlock (Results 1 – 1 of 1) sorted by relevance
128 const bool HasCondBlock = in validateSuccessorInvariants() local131 Valid = !CondBranch || !HasCondBlock; in validateSuccessorInvariants()