Searched refs:getSymExpr (Results 1 – 1 of 1) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 379 getSymExpr(Solver, Ctx, SIE->getLHS(), <y, hasComparison); in getSymBinExpr()
391 getSymExpr(Solver, Ctx, ISE->getRHS(), &RTy, hasComparison); in getSymBinExpr()
397 getSymExpr(Solver, Ctx, SSM->getLHS(), <y, hasComparison); in getSymBinExpr()
399 getSymExpr(Solver, Ctx, SSM->getRHS(), &RTy, hasComparison); in getSymBinExpr()
408 static inline SMTExprRef getSymExpr(SMTSolverRef &Solver, ASTContext &Ctx, in getSymExpr() function
425 getSymExpr(Solver, Ctx, SC->getOperand(), &FromTy, hasComparison); in getSymExpr()
457 return getSymExpr(Solver, Ctx, Sym, RetTy, hasComparison);
|