reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
149 computeAdjustment(Sym, Adjustment); 158 Adjustment.setIsSigned(false); 165 return assumeSymEQ(State, Sym, ConvertedInt, Adjustment); 168 return assumeSymNE(State, Sym, ConvertedInt, Adjustment); 171 return assumeSymGT(State, Sym, ConvertedInt, Adjustment); 174 return assumeSymGE(State, Sym, ConvertedInt, Adjustment); 177 return assumeSymLT(State, Sym, ConvertedInt, Adjustment); 180 return assumeSymLE(State, Sym, ConvertedInt, Adjustment);