Searched refs:fixAPSInt (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 393 std::tie(NewRInt, RTy) = fixAPSInt(Ctx, SIE->getRHS()); in getSymBinExpr()
401 std::tie(NewLInt, LTy) = fixAPSInt(Ctx, ISE->getLHS()); in getSymBinExpr()
537 std::tie(NewFromInt, FromTy) = fixAPSInt(Ctx, From); in getRangeExpr()
552 std::tie(NewToInt, ToTy) = fixAPSInt(Ctx, To); in getRangeExpr()
578 fixAPSInt(ASTContext &Ctx, const llvm::APSInt &Int) { in fixAPSInt() function
|
| H A D | SMTConstraintManager.h | 194 std::tie(ConvertedLHS, LTy) = SMTConv::fixAPSInt(Ctx, *LHS); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
195 std::tie(ConvertedRHS, RTy) = SMTConv::fixAPSInt(Ctx, *RHS); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|