Searched refs:getSymExpr (Results 1 - 1 of 1) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConv.h386 getSymExpr(Solver, Ctx, SIE->getLHS(), &LTy, hasComparison);
400 getSymExpr(Solver, Ctx, ISE->getRHS(), &RTy, hasComparison);
406 getSymExpr(Solver, Ctx, SSM->getLHS(), &LTy, hasComparison);
408 getSymExpr(Solver, Ctx, SSM->getRHS(), &RTy, hasComparison);
417 static inline llvm::SMTExprRef getSymExpr(llvm::SMTSolverRef &Solver, function in class:clang::ento::SMTConv
435 getSymExpr(Solver, Ctx, SC->getOperand(), &FromTy, hasComparison);
469 return getSymExpr(Solver, Ctx, Sym, RetTy, hasComparison);

Completed in 49 milliseconds