Home
last modified time | relevance | path

Searched defs:Assumption (Results 1 – 25 of 29) sorted by relevance

12

/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r522817/include/polly/Support/
DScopHelper.h57 struct Assumption { struct
59 AssumptionKind Kind; argument
62 AssumptionSign Sign; argument
77 using RecordedAssumptionsTy = llvm::SmallVector<Assumption, 8>; argument
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r536225/include/polly/Support/
DScopHelper.h57 struct Assumption { struct
59 AssumptionKind Kind; argument
62 AssumptionSign Sign; argument
77 using RecordedAssumptionsTy = llvm::SmallVector<Assumption, 8>; argument
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567b/include/polly/Support/
DScopHelper.h57 struct Assumption { struct
59 AssumptionKind Kind; argument
62 AssumptionSign Sign; argument
77 using RecordedAssumptionsTy = llvm::SmallVector<Assumption, 8>; argument
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567/include/polly/Support/
DScopHelper.h57 struct Assumption { struct
59 AssumptionKind Kind; argument
62 AssumptionSign Sign; argument
77 using RecordedAssumptionsTy = llvm::SmallVector<Assumption, 8>; argument
/aosp_15_r20/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp70 bool Assumption) { in assume()
99 SymbolRef Sym, bool Assumption) { in assumeAuxForSymbol()
116 bool Assumption) { in assumeAux()
H A DProgramState.cpp306 bool Assumption, in assumeInBound()
H A DCheckerManager.cpp572 SVal Cond, bool Assumption) { in runCheckersForEvalAssume()
/aosp_15_r20/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h644 bool Assumption) const { in assume()
665 bool Assumption) const { in assumeWithinInclusiveRange()
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r536225/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h709 bool Assumption) const { in assume()
728 bool Assumption) const { in assumeInclusiveRange()
DSMTConv.h504 QualType Ty, bool Assumption) { in getZeroExpr()
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h707 bool Assumption) const { in assume()
726 bool Assumption) const { in assumeInclusiveRange()
DSMTConv.h504 QualType Ty, bool Assumption) { in getZeroExpr()
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567b/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h707 bool Assumption) const { in assume()
726 bool Assumption) const { in assumeInclusiveRange()
DSMTConv.h504 QualType Ty, bool Assumption) { in getZeroExpr()
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r522817/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h707 bool Assumption) const { in assume()
726 bool Assumption) const { in assumeInclusiveRange()
DSMTConv.h504 QualType Ty, bool Assumption) { in getZeroExpr()
/aosp_15_r20/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitor.h133 bool Assumption; variable
/aosp_15_r20/external/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp943 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty()
975 bool Assumption) { in assumeCollectionNonEmpty()
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567b/include/clang/StaticAnalyzer/Core/BugReporter/
DBugReporterVisitors.h397 const bool Assumption; variable
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567/include/clang/StaticAnalyzer/Core/BugReporter/
DBugReporterVisitors.h397 const bool Assumption; variable
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r536225/include/clang/StaticAnalyzer/Core/BugReporter/
DBugReporterVisitors.h398 const bool Assumption; variable
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r522817/include/clang/StaticAnalyzer/Core/BugReporter/
DBugReporterVisitors.h397 const bool Assumption; variable
/aosp_15_r20/external/swiftshader/third_party/llvm-16.0/llvm/lib/Transforms/IPO/
H A DAttributorAttributes.cpp1716 std::pair<Value *, IntrinsicInst *> Assumption; in updateImpl() local
/aosp_15_r20/prebuilts/jdk/jdk8/linux-x86/jre/lib/ext/
Dnashorn.jarMETA-INF/ META-INF/MANIFEST.MF META-INF/services/javax. ...
/aosp_15_r20/prebuilts/jdk/jdk8/darwin-x86/jre/lib/ext/
Dnashorn.jarMETA-INF/ META-INF/MANIFEST.MF META-INF/services/javax. ...

12