| /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 | SMTConstraintManager.h | 48 bool Assumption) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
62 SMTConv::getZeroExpr(Solver, Ctx, Exp, RetTy, !Assumption)); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
64 return assumeExpr(State, Sym, Assumption ? Exp : Solver->mkNot(Exp)); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
77 bool Assumption) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| 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 | ProgramState.h | 709 bool Assumption) const { in assume() argument
714 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption); in assume()
728 bool Assumption) const { in assumeInclusiveRange() argument
735 this, Val.castAs<NonLoc>(), From, To, Assumption); in assumeInclusiveRange()
|
| H A D | RangedConstraintManager.h | 419 bool Assumption) override;
427 bool Assumption) override;
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| 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 | 376 bool Assumption, in assumeInBound() argument
380 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()
|
| H A D | BugReporterVisitors.cpp | 1819 ID.AddBoolean(Assumption); in Profile()
1830 return !Assumption && Constraint.getAs<Loc>(); in isZeroCheck()
1836 return (bool)N->getState()->assume(Constraint, !Assumption); in isUnderconstrained()
|
| /freebsd/contrib/llvm-project/clang/lib/Sema/ |
| H A D | SemaStmtAttr.cpp | 709 auto *Assumption = A.getArgAsExpr(0); in ActOnCXXAssumeAttr() local
711 if (DiagnoseUnexpandedParameterPack(Assumption)) { in ActOnCXXAssumeAttr()
715 if (Assumption->getDependence() == ExprDependence::None) { in ActOnCXXAssumeAttr()
716 ExprResult Res = BuildCXXAssumeExpr(Assumption, A.getAttrName(), Range); in ActOnCXXAssumeAttr()
719 Assumption = Res.get(); in ActOnCXXAssumeAttr()
726 return Assumption; in ActOnCXXAssumeAttr()
729 ExprResult Sema::BuildCXXAssumeExpr(Expr *Assumption, in BuildCXXAssumeExpr() argument
732 ExprResult Res = CorrectDelayedTyposInExpr(Assumption); in BuildCXXAssumeExpr()
744 Assumption = Res.get(); in BuildCXXAssumeExpr()
745 if (Assumption->HasSideEffects(Context)) in BuildCXXAssumeExpr()
[all …]
|
| /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 | SetgidSetuidOrderChecker.cpp | 48 bool Assumption) const;
92 bool Assumption) const { in evalAssume()
|
| H A D | BasicObjCFoundationChecks.cpp | 921 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty() argument
929 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption); in assumeCollectionNonEmpty()
930 return (Assumption == *KnownNonEmpty) ? State : nullptr; in assumeCollectionNonEmpty()
947 return State->assume(*CountGreaterThanZero, Assumption); in assumeCollectionNonEmpty()
953 bool Assumption) { in assumeCollectionNonEmpty() argument
958 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption); in assumeCollectionNonEmpty()
|
| H A D | CheckerDocumentation.cpp | 244 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 | 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 | 398 const bool Assumption; variable
408 : Message(Message), Constraint(constraint), Assumption(assumption) {} in TrackConstraintBRVisitor()
|
| /freebsd/contrib/llvm-project/clang/lib/CodeGen/ |
| H A D | CodeGenFunction.cpp | 2587 llvm::Instruction *Assumption = Builder.CreateAlignmentAssumption( in emitAlignmentAssumption() local
2593 OffsetValue, TheCheck, Assumption); in emitAlignmentAssumption()
2977 llvm::Instruction *Assumption) { in emitAlignmentAssumptionCheck() argument
2978 assert(isa_and_nonnull<llvm::CallInst>(Assumption) && in emitAlignmentAssumptionCheck()
2979 cast<llvm::CallInst>(Assumption)->getCalledOperand() == in emitAlignmentAssumptionCheck()
2984 assert(&(Builder.GetInsertBlock()->back()) == Assumption && in emitAlignmentAssumptionCheck()
2998 Assumption->removeFromParent(); in emitAlignmentAssumptionCheck()
3018 Builder.Insert(Assumption); in emitAlignmentAssumptionCheck()
|
| H A D | CGStmt.cpp | 747 const Expr *Assumption = cast<CXXAssumeAttr>(A)->getAssumption(); in EmitAttributedStmt() local
749 !Assumption->HasSideEffects(getContext())) { in EmitAttributedStmt()
750 llvm::Value *AssumptionVal = EvaluateExprAsBool(Assumption); in EmitAttributedStmt()
|
| /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 | 1754 std::string Assumption = II->getName().str(); in ParseOpenMPAssumesDirective() local
1756 Assumption = "ompx_" + Assumption.substr(ACMI.Identifier.size()); in ParseOpenMPAssumesDirective()
1758 Assumption = "omp_" + Assumption; in ParseOpenMPAssumesDirective()
1759 Assumptions.push_back(Assumption); in ParseOpenMPAssumesDirective()
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/ |
| H A D | SimplifyCFG.cpp | 5363 CallInst *Assumption; in simplifyUnreachable() local
5365 Assumption = Builder.CreateAssumption(Builder.CreateNot(Cond)); in simplifyUnreachable()
5369 Assumption = Builder.CreateAssumption(Cond); in simplifyUnreachable()
5373 Options.AC->registerAssumption(cast<AssumeInst>(Assumption)); in simplifyUnreachable()
7727 CallInst *Assumption; in removeUndefIntroducingPredecessor() local
7729 Assumption = Builder.CreateAssumption(Builder.CreateNot(Cond)); in removeUndefIntroducingPredecessor()
7731 Assumption = Builder.CreateAssumption(Cond); in removeUndefIntroducingPredecessor()
7733 AC->registerAssumption(cast<AssumeInst>(Assumption)); in removeUndefIntroducingPredecessor()
|
| /freebsd/contrib/llvm-project/clang/lib/AST/Interp/ |
| H A D | Compiler.cpp | 4620 const Expr *Assumption = AA->getAssumption(); in visitAttributedStmt() local
4621 if (Assumption->isValueDependent()) in visitAttributedStmt()
4624 if (Assumption->HasSideEffects(this->Ctx.getASTContext())) in visitAttributedStmt()
4628 if (!this->visitBool(Assumption)) in visitAttributedStmt()
4631 if (!this->emitAssume(Assumption)) in visitAttributedStmt()
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/IPO/ |
| H A D | AttributorAttributes.cpp | 1802 std::pair<Value *, IntrinsicInst *> Assumption; in updateImpl() local
1812 Assumption = {CmpI->getOperand(Idx), IntrI}; in updateImpl()
1817 if (Assumption.first) in updateImpl()
1822 if (!Assumption.first || !Assumption.second) in updateImpl()
1826 << *Assumption.second << ": " << *LoadI in updateImpl()
1827 << " == " << *Assumption.first << "\n"); in updateImpl()
1830 if (Assumption.first) in updateImpl()
1832 A.getAssumedSimplified(*Assumption.first, *this, in updateImpl()
1835 A, *Assumption.second, Content, AccessKind::AK_ASSUMPTION, in updateImpl()
11751 bool hasAssumption(const StringRef Assumption) const override { in hasAssumption()
[all …]
|