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