Searched refs:CanonicalEquality (Results 1 – 1 of 1) sorted by relevance
79 SymbolRef CanonicalEquality = in assumeSym() local88 return assumeSymNE(State, CanonicalEquality, Zero, Zero); in assumeSym()91 return assumeSymEQ(State, CanonicalEquality, Zero, Zero); in assumeSym()