Searched refs:SuccessSt (Results 1 – 1 of 1) sorted by relevance
1323 ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C); in checkPreCall() local1327 if (FailureSt && !SuccessSt) { in checkPreCall()1337 assert(SuccessSt); in checkPreCall()1338 NewState = SuccessSt; in checkPreCall()