Searched refs:UpdateAssumption (Results 1 – 1 of 1) sorted by relevance
81 static void UpdateAssumption(Assumption &A, const Assumption &New);198 UpdateAssumption(A, Equal); in checkPreStmt()224 UpdateAssumption(A, Equal); in checkPreStmt()242 UpdateAssumption(A, RHSis1); in checkPreStmt()258 UpdateAssumption(A, LHSis1); in checkPreStmt()286 UpdateAssumption(A, RHSis0); in checkPreStmt()318 UpdateAssumption(A, LHSis0); in checkPreStmt()432 inline void IdempotentOperationChecker::UpdateAssumption(Assumption &A, in UpdateAssumption() function in IdempotentOperationChecker