reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
132 if (const BinarySymExpr *SE = dyn_cast<BinarySymExpr>(Sym)) 134 return assumeSym(State, Sym, (Op == BO_NE ? true : false)); 139 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); 149 computeAdjustment(Sym, Adjustment); 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);