Searched refs:getZeroExpr (Results 1 – 2 of 2) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 52 SMTConv::getZeroExpr(Solver, Ctx, Exp, RetTy, !Assumption)); in assumeSym()
83 SMTConv::getZeroExpr(Solver, Ctx, VarExp, RetTy, /*Assumption=*/true); in checkNull()
87 SMTConv::getZeroExpr(Solver, Ctx, VarExp, RetTy, /*Assumption=*/false); in checkNull()
|
| H A D | SMTConv.h | 461 static inline SMTExprRef getZeroExpr(SMTSolverRef &Solver, ASTContext &Ctx, in getZeroExpr() function
|