Searched refs:getBinExpr (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 346 getBinExpr(llvm::SMTSolverRef &Solver, ASTContext &Ctx, in getBinExpr() function
396 return getBinExpr(Solver, Ctx, LHS, LTy, Op, RHS, RTy, RetTy); in getSymBinExpr()
406 return getBinExpr(Solver, Ctx, LHS, LTy, Op, RHS, RTy, RetTy); in getSymBinExpr()
414 return getBinExpr(Solver, Ctx, LHS, LTy, Op, RHS, RTy, RetTy); in getSymBinExpr()
545 return getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_EQ : BO_NE, in getRangeExpr()
557 getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_GE : BO_LT, FromExp, in getRangeExpr()
559 llvm::SMTExprRef RHS = getBinExpr(Solver, Ctx, Exp, SymTy, in getRangeExpr()
|