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