| /openbsd-src/gnu/llvm/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 = [&](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 | 363 bool Assumption, in assumeInBound() argument
367 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()
|
| /openbsd-src/gnu/llvm/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);
147 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 | 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 | 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 | RangedConstraintManager.h | 419 bool Assumption) override;
427 bool Assumption) override;
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitors.h | 390 bool Assumption; variable
400 : Constraint(constraint), Assumption(assumption), in TrackConstraintBRVisitor()
401 IsZeroCheck(!Assumption && isa<Loc>(Constraint)) {} in TrackConstraintBRVisitor()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BasicObjCFoundationChecks.cpp | 916 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty() argument
924 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption); in assumeCollectionNonEmpty()
925 return (Assumption == *KnownNonEmpty) ? State : nullptr; in assumeCollectionNonEmpty()
942 return State->assume(*CountGreaterThanZero, Assumption); in assumeCollectionNonEmpty()
948 bool Assumption) { in assumeCollectionNonEmpty() argument
953 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption); in assumeCollectionNonEmpty()
|
| H A D | MacOSKeychainAPIChecker.cpp | 68 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 | 122 bool Assumption) const;
406 bool Assumption) const { in evalAssume()
415 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 | 106 bool Assumption) const;
908 bool Assumption) const { in evalAssume()
|
| /openbsd-src/gnu/llvm/clang/lib/CodeGen/ |
| H A D | CodeGenFunction.cpp | 2441 llvm::Instruction *Assumption = Builder.CreateAlignmentAssumption( in emitAlignmentAssumption() local
2447 OffsetValue, TheCheck, Assumption); in emitAlignmentAssumption()
2801 llvm::Instruction *Assumption) { in emitAlignmentAssumptionCheck() argument
2802 assert(Assumption && isa<llvm::CallInst>(Assumption) && in emitAlignmentAssumptionCheck()
2803 cast<llvm::CallInst>(Assumption)->getCalledOperand() == in emitAlignmentAssumptionCheck()
2808 assert(&(Builder.GetInsertBlock()->back()) == Assumption && in emitAlignmentAssumptionCheck()
2822 Assumption->removeFromParent(); in emitAlignmentAssumptionCheck()
2842 Builder.Insert(Assumption); in emitAlignmentAssumptionCheck()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.h | 316 bool Assumption) const;
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 434 SVal Cond, bool Assumption);
|
| /openbsd-src/gnu/llvm/clang/lib/Parse/ |
| H A D | ParseOpenMP.cpp | 1744 std::string Assumption = II->getName().str(); in ParseOpenMPAssumesDirective() local
1746 Assumption = "ompx_" + Assumption.substr(ACMI.Identifier.size()); in ParseOpenMPAssumesDirective()
1748 Assumption = "omp_" + Assumption; in ParseOpenMPAssumesDirective()
1749 Assumptions.push_back(Assumption); in ParseOpenMPAssumesDirective()
|
| /openbsd-src/gnu/llvm/llvm/lib/Transforms/IPO/ |
| H A D | AttributorAttributes.cpp | 1716 std::pair<Value *, IntrinsicInst *> Assumption; in updateImpl() local
1726 Assumption = {CmpI->getOperand(Idx), IntrI}; in updateImpl()
1731 if (Assumption.first) in updateImpl()
1736 if (!Assumption.first || !Assumption.second) in updateImpl()
1740 << *Assumption.second << ": " << *LoadI in updateImpl()
1741 << " == " << *Assumption.first << "\n"); in updateImpl()
1744 A, *Assumption.second, Assumption.first, AccessKind::AK_ASSUMPTION, in updateImpl()
11245 bool hasAssumption(const StringRef Assumption) const override { in hasAssumption()
11246 return isValidState() && setContains(Assumption); in hasAssumption()
|
| /openbsd-src/gnu/usr.bin/perl/cpan/AutoLoader/t/ |
| H A D | 02AutoSplit.t | 87 # Assumption: no characters in arguments need escaping from the shell or perl
|