Searched refs:getBinExpr (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/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()
547 return getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_EQ : BO_NE, in getRangeExpr()
559 getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_GE : BO_LT, FromExp, in getRangeExpr()
561 llvm::SMTExprRef RHS = getBinExpr(Solver, Ctx, Exp, SymTy, in getRangeExpr()
|