Searched refs:LHSis1 (Results 1 – 1 of 1) sorted by relevance
79 enum Assumption { Possible = 0, Impossible, Equal, LHSis1, RHSis1, LHSis0, enumerator258 UpdateAssumption(A, LHSis1); in checkPreStmt()395 case LHSis1: in checkEndAnalysis()