Searched refs:getSymExpr (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 391 getSymExpr(Solver, Ctx, SIE->getLHS(), <y, hasComparison); in getSymBinExpr()
405 getSymExpr(Solver, Ctx, ISE->getRHS(), &RTy, hasComparison); in getSymBinExpr()
411 getSymExpr(Solver, Ctx, SSM->getLHS(), <y, hasComparison); in getSymBinExpr()
413 getSymExpr(Solver, Ctx, SSM->getRHS(), &RTy, hasComparison); in getSymBinExpr()
422 static inline llvm::SMTExprRef getSymExpr(llvm::SMTSolverRef &Solver, in getSymExpr() function
439 getSymExpr(Solver, Ctx, SC->getOperand(), &FromTy, hasComparison); in getSymExpr()
455 getSymExpr(Solver, Ctx, USE->getOperand(), &OperandTy, hasComparison); in getSymExpr()
497 return getSymExpr(Solver, Ctx, Sym, RetTy, hasComparison);
|