/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | SimpleConstraintManager.cpp | 28 bool Assumption) { in assumeInternal() argument 42 return assume(State, Cond.castAs<NonLoc>(), Assumption); in assumeInternal() 46 NonLoc Cond, bool Assumption) { in assume() argument 47 State = assumeAux(State, Cond, Assumption); in assume() 49 return EE->processAssume(State, Cond, Assumption); in assume() 55 bool Assumption) { in assumeAux() argument 63 return assumeSymUnsupported(State, Sym, Assumption); in assumeAux() 74 return assumeSym(State, Sym, Assumption); in assumeAux() 79 bool isFeasible = b ? Assumption : !Assumption; in assumeAux() 85 bool IsFeasible = IsNull ? Assumption : !Assumption; in assumeAux() [all …]
|
H A D | ConstraintManager.cpp | 94 auto AssumeFun = [&, Cond](bool Assumption) { in assumeDual() argument 95 return assumeInternal(State, Cond, Assumption); in assumeDual() 104 auto AssumeFun = [&](bool Assumption) { in assumeInclusiveRangeDual() argument 105 return assumeInclusiveRangeInternal(State, Value, From, To, Assumption); in assumeInclusiveRangeDual() 111 DefinedSVal Cond, bool Assumption) { in assume() argument 113 return Assumption ? R.first : R.second; in assume()
|
H A D | RangedConstraintManager.cpp | 25 bool Assumption) { in assumeSym() argument 30 return assumeSymUnsupported(State, Sym, Assumption); in assumeSym() 38 if (!Assumption) in assumeSym() 46 return assumeSymRel(State, SIE, (Assumption ? BO_NE : BO_EQ), Zero); in assumeSym() 70 if (!Assumption) in assumeSym() 83 bool IsExpectedEqual = WasEqual == Assumption; in assumeSym() 98 return assumeSymUnsupported(State, Sym, Assumption); in assumeSym() 134 SymbolRef Sym, bool Assumption) { in assumeSymUnsupported() argument 146 if (Assumption) in assumeSymUnsupported()
|
H A D | ProgramState.cpp | 362 bool Assumption, in assumeInBound() argument 366 return Assumption ? R.first : R.second; in assumeInBound()
|
H A D | CheckerManager.cpp | 638 SVal Cond, bool Assumption) { in runCheckersForEvalAssume() argument 644 state = EvalAssumeChecker(state, Cond, Assumption); in runCheckersForEvalAssume()
|
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SimpleConstraintManager.h | 45 bool Assumption) = 0; 61 bool Assumption) = 0; 70 bool Assumption) override; 83 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption); 86 bool Assumption);
|
H A D | ConstraintManager.h | 78 bool Assumption); 163 DefinedSVal Cond, bool Assumption) = 0;
|
H A D | SMTConstraintManager.h | 45 bool Assumption) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE() 59 SMTConv::getZeroExpr(Solver, Ctx, Exp, RetTy, !Assumption)); in REGISTER_TRAIT_WITH_PROGRAMSTATE() 61 return assumeExpr(State, Sym, Assumption ? Exp : Solver->mkNot(Exp)); in REGISTER_TRAIT_WITH_PROGRAMSTATE() 74 bool Assumption) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
H A D | ProgramState.h | 707 bool Assumption) const { in assume() argument 712 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption); in assume() 726 bool Assumption) const { in assumeInclusiveRange() argument 733 this, Val.castAs<NonLoc>(), From, To, Assumption); in assumeInclusiveRange()
|
H A D | SMTConv.h | 504 QualType Ty, bool Assumption) { in getZeroExpr() argument 508 return fromFloatBinOp(Solver, Exp, Assumption ? BO_EQ : BO_NE, in getZeroExpr() 518 return Assumption ? fromUnOp(Solver, UO_LNot, Exp) : Exp; in getZeroExpr() 521 Solver, Exp, Assumption ? BO_EQ : BO_NE, in getZeroExpr()
|
H A D | RangedConstraintManager.h | 419 bool Assumption) override; 427 bool Assumption) override;
|
/freebsd/sys/dev/sound/pci/ |
H A D | allegro_reg.h | 407 #error Assumption about code memory unit length failed. 410 #error Assumption about code memory unit length failed. 425 #error Assumption about data memory unit length failed. 428 #error Assumption about data memory unit length failed.
|
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BasicObjCFoundationChecks.cpp | 925 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty() argument 933 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption); in assumeCollectionNonEmpty() 934 return (Assumption == *KnownNonEmpty) ? State : nullptr; in assumeCollectionNonEmpty() 951 return State->assume(*CountGreaterThanZero, Assumption); in assumeCollectionNonEmpty() 957 bool Assumption) { in assumeCollectionNonEmpty() argument 962 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption); in assumeCollectionNonEmpty()
|
H A D | MacOSKeychainAPIChecker.cpp | 70 bool Assumption) const; 498 bool Assumption) const { in evalAssume() 517 if (!Assumption) in evalAssume()
|
H A D | CheckerDocumentation.cpp | 241 bool Assumption) const { return State; } in evalAssume()
|
H A D | CheckObjCDealloc.cpp | 127 bool Assumption) const; 413 bool Assumption) const { in evalAssume() 422 if (Assumption) { in evalAssume()
|
H A D | TrustNonnullChecker.cpp | 67 bool Assumption) const { in evalAssume()
|
H A D | FuchsiaHandleChecker.cpp | 204 bool Assumption) const; 541 bool Assumption) const { in evalAssume()
|
H A D | NullabilityChecker.cpp | 110 bool Assumption) const; 951 bool Assumption) const { in evalAssume()
|
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporterVisitors.h | 397 const bool Assumption; variable 407 : Message(Message), Constraint(constraint), Assumption(assumption) {} in TrackConstraintBRVisitor()
|
/freebsd/contrib/llvm-project/clang/lib/CodeGen/ |
H A D | CodeGenFunction.cpp | 2505 llvm::Instruction *Assumption = Builder.CreateAlignmentAssumption( in emitAlignmentAssumption() local 2511 OffsetValue, TheCheck, Assumption); in emitAlignmentAssumption() 2881 llvm::Instruction *Assumption) { in emitAlignmentAssumptionCheck() argument 2882 assert(Assumption && isa<llvm::CallInst>(Assumption) && in emitAlignmentAssumptionCheck() 2883 cast<llvm::CallInst>(Assumption)->getCalledOperand() == in emitAlignmentAssumptionCheck() 2888 assert(&(Builder.GetInsertBlock()->back()) == Assumption && in emitAlignmentAssumptionCheck() 2902 Assumption->removeFromParent(); in emitAlignmentAssumptionCheck() 2922 Builder.Insert(Assumption); in emitAlignmentAssumptionCheck()
|
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
H A D | RetainCountChecker.h | 315 bool Assumption) const;
|
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
H A D | CheckerManager.h | 434 SVal Cond, bool Assumption);
|
/freebsd/contrib/llvm-project/clang/lib/Parse/ |
H A D | ParseOpenMP.cpp | 1745 std::string Assumption = II->getName().str(); in ParseOpenMPAssumesDirective() local 1747 Assumption = "ompx_" + Assumption.substr(ACMI.Identifier.size()); in ParseOpenMPAssumesDirective() 1749 Assumption = "omp_" + Assumption; in ParseOpenMPAssumesDirective() 1750 Assumptions.push_back(Assumption); in ParseOpenMPAssumesDirective()
|
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/ |
H A D | SimplifyCFG.cpp | 5295 CallInst *Assumption; in simplifyUnreachable() local 5297 Assumption = Builder.CreateAssumption(Builder.CreateNot(Cond)); in simplifyUnreachable() 5301 Assumption = Builder.CreateAssumption(Cond); in simplifyUnreachable() 5305 Options.AC->registerAssumption(cast<AssumeInst>(Assumption)); in simplifyUnreachable() 7476 CallInst *Assumption; in removeUndefIntroducingPredecessor() local 7478 Assumption = Builder.CreateAssumption(Builder.CreateNot(Cond)); in removeUndefIntroducingPredecessor() 7480 Assumption = Builder.CreateAssumption(Cond); in removeUndefIntroducingPredecessor() 7482 AC->registerAssumption(cast<AssumeInst>(Assumption)); in removeUndefIntroducingPredecessor()
|