Home | History | Annotate | Download | only in Analysis

Lines Matching full:successor

807     // If this is a conditional branch and only one successor goes to BBTo, then
813 "BBTo isn't a successor of BBFrom");
890 assert(EdgeVal && "Missing successor?");
946 // values in any successor of OldSucc (except NewSucc) in which they were