/external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
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 …]
|
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()
|
/external/clang/lib/StaticAnalyzer/Core/ |
D | SimpleConstraintManager.cpp | 70 bool Assumption) { in assume() argument 84 return assume(state, Cond.castAs<NonLoc>(), Assumption); in assume() 99 SymbolRef Sym, bool Assumption) { in assumeAuxForSymbol() argument 108 if (Assumption) in assumeAuxForSymbol() 116 bool Assumption) { in assumeAux() argument 123 return assumeAuxForSymbol(state, sym, Assumption); in assumeAux() 137 return assumeAuxForSymbol(state, sym, Assumption); in assumeAux() 145 if (!Assumption) in assumeAux() 171 if (!Assumption) in assumeAux() 178 return assumeAuxForSymbol(state, sym, Assumption); in assumeAux() [all …]
|
D | SimpleConstraintManager.h | 37 bool Assumption) override; 39 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption); 110 bool Assumption); 114 bool Assumption);
|
/external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
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);
|
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()
|
D | RangedConstraintManager.h | 154 bool Assumption) override; 162 bool Assumption) override;
|
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()
|
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()
|
D | ConstraintManager.h | 87 bool Assumption) = 0;
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
D | BugReporterVisitor.h | 133 bool Assumption; variable 143 : Constraint(constraint), Assumption(assumption), IsSatisfied(false), in TrackConstraintBRVisitor() 144 IsZeroCheck(!Assumption && Constraint.getAs<Loc>()), in TrackConstraintBRVisitor()
|
/external/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
D | BugReporterVisitors.h | 166 bool Assumption; variable 176 : Constraint(constraint), Assumption(assumption), in TrackConstraintBRVisitor() 177 IsZeroCheck(!Assumption && Constraint.getAs<Loc>()) {} in TrackConstraintBRVisitor()
|
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
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()
|
D | CheckerDocumentation.cpp | 241 bool Assumption) const { return State; } in evalAssume()
|
D | MacOSKeychainAPIChecker.cpp | 67 bool Assumption) const; 507 bool Assumption) const { in evalAssume() 526 if (!Assumption) in evalAssume()
|
D | CheckObjCDealloc.cpp | 121 bool Assumption) const; 405 bool Assumption) const { in evalAssume() 414 if (Assumption) { in evalAssume()
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | BasicObjCFoundationChecks.cpp | 943 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty() argument 951 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption); in assumeCollectionNonEmpty() 952 return (Assumption == *KnownNonEmpty) ? State : nullptr; in assumeCollectionNonEmpty() 969 return State->assume(*CountGreaterThanZero, Assumption); in assumeCollectionNonEmpty() 975 bool Assumption) { in assumeCollectionNonEmpty() argument 981 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption); in assumeCollectionNonEmpty()
|
D | CheckerDocumentation.cpp | 224 bool Assumption) const { return State; } in evalAssume()
|
D | CheckObjCDealloc.cpp | 121 bool Assumption) const; 412 bool Assumption) const { in evalAssume() 421 if (Assumption) { in evalAssume()
|
/external/llvm-project/llvm/test/Other/ |
D | opt-O0-pipeline.ll | 18 ; CHECK: Assumption Cache Tracker
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | ProgramState.h | 644 bool Assumption) const { in assume() argument 649 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption); in assume() 665 bool Assumption) const { in assumeWithinInclusiveRange() argument 672 this, Val.castAs<NonLoc>(), From, To, Assumption); in assumeWithinInclusiveRange()
|
D | ConstraintManager.h | 69 bool Assumption) = 0;
|
/external/llvm-project/polly/include/polly/Support/ |
D | ScopHelper.h | 56 struct Assumption { struct 73 using RecordedAssumptionsTy = llvm::SmallVector<Assumption, 8>; argument
|
/external/llvm-project/clang/lib/CodeGen/ |
D | CodeGenFunction.cpp | 2236 llvm::Instruction *Assumption = Builder.CreateAlignmentAssumption( in emitAlignmentAssumption() local 2242 OffsetValue, TheCheck, Assumption); in emitAlignmentAssumption() 2508 llvm::Instruction *Assumption) { in emitAlignmentAssumptionCheck() argument 2509 assert(Assumption && isa<llvm::CallInst>(Assumption) && in emitAlignmentAssumptionCheck() 2510 cast<llvm::CallInst>(Assumption)->getCalledOperand() == in emitAlignmentAssumptionCheck() 2515 assert(&(Builder.GetInsertBlock()->back()) == Assumption && in emitAlignmentAssumptionCheck() 2529 Assumption->removeFromParent(); in emitAlignmentAssumptionCheck() 2549 Builder.Insert(Assumption); in emitAlignmentAssumptionCheck()
|
/external/llvm-project/llvm/test/CodeGen/AArch64/ |
D | O0-pipeline.ll | 12 ; CHECK-NEXT: Assumption Cache Tracker
|