| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.cpp | 27 bool Assumption) { in assume() argument
41 return assume(State, Cond.castAs<NonLoc>(), Assumption); in assume()
45 NonLoc Cond, bool Assumption) { in assume() argument
46 State = assumeAux(State, Cond, Assumption); in assume()
48 return EE->processAssume(State, Cond, Assumption); in assume()
54 bool Assumption) { in assumeAux() argument
62 return assumeSymUnsupported(State, Sym, Assumption); in assumeAux()
73 return assumeSym(State, Sym, Assumption); in assumeAux()
78 bool isFeasible = b ? Assumption : !Assumption; in assumeAux()
84 bool IsFeasible = IsNull ? Assumption : !Assumption; in assumeAux()
[all …]
|
| H A D | RangedConstraintManager.cpp | 25 bool Assumption) { in assumeSym() argument
28 return assumeSymUnsupported(State, Sym, Assumption); in assumeSym()
36 if (!Assumption) in assumeSym()
63 if (!Assumption) in assumeSym()
76 bool IsExpectedEqual = WasEqual == Assumption; in assumeSym()
90 return assumeSymUnsupported(State, Sym, Assumption); in assumeSym()
123 SymbolRef Sym, bool Assumption) { in assumeSymUnsupported() argument
133 if (Assumption) in assumeSymUnsupported()
|
| H A D | ProgramState.cpp | 323 bool Assumption, in assumeInBound() argument
363 return CM.assume(this, inBound.castAs<DefinedSVal>(), Assumption); in assumeInBound()
|
| H A D | CheckerManager.cpp | 640 SVal Cond, bool Assumption) { in runCheckersForEvalAssume() argument
646 state = EvalAssumeChecker(state, Cond, Assumption); in runCheckersForEvalAssume()
|
| H A D | BugReporterVisitors.cpp | 1635 ID.AddBoolean(Assumption); in Profile()
1648 return (bool)N->getState()->assume(Constraint, !Assumption); in isUnderconstrained()
1682 os << (Assumption ? "non-null" : "null"); in VisitNode()
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SimpleConstraintManager.h | 40 bool Assumption) override;
55 bool Assumption) = 0;
71 bool Assumption) = 0;
82 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
85 bool Assumption);
|
| H A D | SMTConstraintManager.h | 44 bool Assumption) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
58 SMTConv::getZeroExpr(Solver, Ctx, Exp, RetTy, !Assumption)); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
60 return assumeExpr(State, Sym, Assumption ? Exp : Solver->mkNot(Exp)); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
73 bool Assumption) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | RangedConstraintManager.h | 325 bool Assumption) override;
333 bool Assumption) override;
|
| H A D | SMTConv.h | 480 QualType Ty, bool Assumption) { in getZeroExpr() argument
484 return fromFloatBinOp(Solver, Exp, Assumption ? BO_EQ : BO_NE, in getZeroExpr()
494 return Assumption ? fromUnOp(Solver, UO_LNot, Exp) : Exp; in getZeroExpr()
497 Solver, Exp, Assumption ? BO_EQ : BO_NE, in getZeroExpr()
|
| H A D | ProgramState.h | 667 bool Assumption) const { in assume() argument
672 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption); in assume()
686 bool Assumption) const { in assumeInclusiveRange() argument
693 this, Val.castAs<NonLoc>(), From, To, Assumption); in assumeInclusiveRange()
|
| H A D | ConstraintManager.h | 87 bool Assumption) = 0;
|
| /netbsd-src/distrib/common/ |
| H A D | zfsroot.rc | 5 # Assumption - boot.cfg loads this ramdisk.
6 # Assumption - The needed kernel modules: solaris and zfs; are either on this
10 # Assumption - the root pool is set to legacy mount.
|
| /netbsd-src/external/apache2/llvm/dist/llvm/lib/IR/ |
| H A D | Assumptions.cpp | 27 return llvm::any_of(Strings, [=](StringRef Assumption) { in hasAssumption() argument
28 return Assumption == AssumptionStr; in hasAssumption()
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitors.h | 166 bool Assumption; variable
176 : Constraint(constraint), Assumption(assumption), in TrackConstraintBRVisitor()
177 IsZeroCheck(!Assumption && Constraint.getAs<Loc>()) {} in TrackConstraintBRVisitor()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BasicObjCFoundationChecks.cpp | 915 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty() argument
923 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption); in assumeCollectionNonEmpty()
924 return (Assumption == *KnownNonEmpty) ? State : nullptr; in assumeCollectionNonEmpty()
941 return State->assume(*CountGreaterThanZero, Assumption); in assumeCollectionNonEmpty()
947 bool Assumption) { in assumeCollectionNonEmpty() argument
952 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption); in assumeCollectionNonEmpty()
|
| H A D | MacOSKeychainAPIChecker.cpp | 67 bool Assumption) const;
507 bool Assumption) const { in evalAssume()
526 if (!Assumption) in evalAssume()
|
| H A D | CheckerDocumentation.cpp | 241 bool Assumption) const { return State; } in evalAssume()
|
| H A D | CheckObjCDealloc.cpp | 121 bool Assumption) const;
405 bool Assumption) const { in evalAssume()
414 if (Assumption) { in evalAssume()
|
| H A D | TrustNonnullChecker.cpp | 67 bool Assumption) const { in evalAssume()
|
| H A D | FuchsiaHandleChecker.cpp | 203 bool Assumption) const;
544 bool Assumption) const { in evalAssume()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/CodeGen/ |
| H A D | CodeGenFunction.cpp | 2334 llvm::Instruction *Assumption = Builder.CreateAlignmentAssumption( in emitAlignmentAssumption() local
2340 OffsetValue, TheCheck, Assumption); in emitAlignmentAssumption()
2606 llvm::Instruction *Assumption) { in emitAlignmentAssumptionCheck() argument
2607 assert(Assumption && isa<llvm::CallInst>(Assumption) && in emitAlignmentAssumptionCheck()
2608 cast<llvm::CallInst>(Assumption)->getCalledOperand() == in emitAlignmentAssumptionCheck()
2613 assert(&(Builder.GetInsertBlock()->back()) == Assumption && in emitAlignmentAssumptionCheck()
2627 Assumption->removeFromParent(); in emitAlignmentAssumptionCheck()
2647 Builder.Insert(Assumption); in emitAlignmentAssumptionCheck()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.h | 316 bool Assumption) const;
|
| H A D | RetainCountChecker.cpp | 1152 bool Assumption) const { in evalAssume()
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 435 SVal Cond, bool Assumption);
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/Parse/ |
| H A D | ParseOpenMP.cpp | 1602 StringRef Assumption = II->getName(); in ParseOpenMPAssumesDirective() local
1604 Assumption = Assumption.substr(ACMI.Identifier.size()); in ParseOpenMPAssumesDirective()
1605 Assumptions.push_back(Assumption); in ParseOpenMPAssumesDirective()
|