Searched refs:fixAPSInt (Results 1 – 2 of 2) sorted by relevance
| /llvm-project-15.0.7/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()
535 std::tie(NewFromInt, FromTy) = fixAPSInt(Ctx, From); in getRangeExpr()
550 std::tie(NewToInt, ToTy) = fixAPSInt(Ctx, To); in getRangeExpr()
576 fixAPSInt(ASTContext &Ctx, const llvm::APSInt &Int) { in fixAPSInt() function
|
| H A D | SMTConstraintManager.h | 190 std::tie(ConvertedLHS, LTy) = SMTConv::fixAPSInt(Ctx, *LHS); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
191 std::tie(ConvertedRHS, RTy) = SMTConv::fixAPSInt(Ctx, *RHS); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|