Searched refs:getBinExpr (Results 1 - 1 of 1) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 341 getBinExpr(llvm::SMTSolverRef &Solver, ASTContext &Ctx, function in class:clang::ento::SMTConv
391 return getBinExpr(Solver, Ctx, LHS, LTy, Op, RHS, RTy, RetTy);
401 return getBinExpr(Solver, Ctx, LHS, LTy, Op, RHS, RTy, RetTy);
409 return getBinExpr(Solver, Ctx, LHS, LTy, Op, RHS, RTy, RetTy);
519 return getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_EQ : BO_NE,
531 getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_GE : BO_LT, FromExp,
533 llvm::SMTExprRef RHS = getBinExpr(Solver, Ctx, Exp, SymTy,
|
Completed in 95 milliseconds