| /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);
|
| D | ProgramState.cpp | 306 bool Assumption, in assumeInBound() argument
347 return CM.assume(this, inBound.castAs<DefinedSVal>(), Assumption); in assumeInBound()
|
| D | CheckerManager.cpp | 572 SVal Cond, bool Assumption) { in runCheckersForEvalAssume() argument
578 state = EvalAssumeCheckers[i](state, Cond, Assumption); in runCheckersForEvalAssume()
|
| D | BugReporterVisitors.cpp | 714 ID.AddBoolean(Assumption); in Profile()
727 return (bool)N->getState()->assume(Constraint, !Assumption); in isUnderconstrained()
764 os << (Assumption ? "non-null" : "null"); in VisitNode()
|
| /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/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()
|
| D | MallocChecker.cpp | 210 bool Assumption) const;
2345 bool Assumption) const { in evalAssume()
|
| D | RetainCountChecker.cpp | 2634 bool Assumption) const;
3665 bool Assumption) const { in evalAssume()
|
| /external/swiftshader/third_party/llvm-7.0/llvm/test/Other/ |
| D | opt-O0-pipeline.ll | 14 ; CHECK: Assumption Cache Tracker
|
| D | opt-Os-pipeline.ll | 9 ; CHECK-NEXT: Assumption Cache Tracker
25 ; CHECK-NEXT: Assumption Cache Tracker
|
| D | opt-O2-pipeline.ll | 9 ; CHECK-NEXT: Assumption Cache Tracker
25 ; CHECK-NEXT: Assumption Cache Tracker
|
| D | opt-O3-pipeline.ll | 9 ; CHECK-NEXT: Assumption Cache Tracker
25 ; CHECK-NEXT: 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/swiftshader/third_party/llvm-7.0/llvm/test/CodeGen/AArch64/ |
| D | O0-pipeline.ll | 12 ; CHECK-NEXT: Assumption Cache Tracker
|
| D | O3-pipeline.ll | 10 ; CHECK-NEXT: Assumption Cache Tracker
|
| /external/u-boot/arch/arm/cpu/armv8/fsl-layerscape/doc/ |
| D | README.lsch3 | 342 Assumption: MC firmware, DPL and DPC dtb is already programmed
356 Assumption: MC firmware, DPL and DPC dtb is already programmed
374 Assumption: MC firmware, DPL, DPC dtb and AIOP firmware is already
|
| /external/swiftshader/third_party/llvm-7.0/llvm/test/CodeGen/X86/ |
| D | O0-pipeline.ll | 12 ; CHECK-NEXT: Assumption Cache Tracker
|
| D | O3-pipeline.ll | 12 ; CHECK-NEXT: Assumption Cache Tracker
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 370 SVal Cond, bool Assumption);
|
| /external/cldr/tools/java/org/unicode/cldr/util/data/external/ |
| D | 2013-1_UNLOCODE_CodeListPart3.csv | 10200 ,"US","AMP","Assumption","Assumption","IL","--3-----","RQ","9307",,,
|