Searched refs:hasComparison (Results 1 – 2 of 2) 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()
410 bool *hasComparison) { in getSymExpr() argument
430 if (hasComparison) in getSymExpr()
431 *hasComparison = false; in getSymExpr()
438 if (hasComparison) in getSymExpr()
452 bool *hasComparison = nullptr) {
453 if (hasComparison) {
454 *hasComparison = false;
[all …]
|
| H A D | SMTConstraintManager.h | 43 bool hasComparison; in assumeSym() local
45 SMTExprRef Exp = SMTConv::getExpr(Solver, Ctx, Sym, &RetTy, &hasComparison); in assumeSym()
49 if (!hasComparison && !RetTy->isBooleanType()) in assumeSym()
|