| /llvm-project/polly/include/polly/Support/ |
| H A D | ScopHelper.h | 57 struct Assumption { global() struct
59 KindAssumption global() argument
62 SignAssumption global() argument
77 RequiresRTCAssumption global() argument
|
| /llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.cpp | 28 bool Assumption) { in assumeInternal() argument
46 NonLoc Cond, bool Assumption) { in assume() argument
55 bool Assumption) { in assumeAux() argument
[all...] |
| H A D | ConstraintManager.cpp | 94 auto AssumeFun = [&, Cond](bool Assumption) { in assumeDual()
104 auto AssumeFun = [&](bool Assumption) { in assumeInclusiveRangeDual()
111 DefinedSVal Cond, bool Assumption) { in assume()
|
| H A D | RangedConstraintManager.cpp | 25 bool Assumption) { in assumeSym() argument
134 SymbolRef Sym, bool Assumption) { in assumeSymUnsupported() argument
|
| H A D | ProgramState.cpp | 376 assumeInBound(DefinedOrUnknownSVal Idx,DefinedOrUnknownSVal UpperBound,bool Assumption,QualType indexTy) const assumeInBound() argument
|
| H A D | CheckerManager.cpp | 638 runCheckersForEvalAssume(ProgramStateRef state,SVal Cond,bool Assumption) runCheckersForEvalAssume() argument
|
| /llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 709 assume(DefinedOrUnknownSVal Cond,bool Assumption) assume() argument
728 assumeInclusiveRange(DefinedOrUnknownSVal Val,const llvm::APSInt & From,const llvm::APSInt & To,bool Assumption) assumeInclusiveRange() argument
|
| H A D | SMTConv.h | 504 QualType Ty, bool Assumption) { in getZeroExpr()
|
| /llvm-project/clang/lib/Sema/ |
| H A D | SemaStmtAttr.cpp | 673 auto *Assumption = A.getArgAsExpr(0); ActOnCXXAssumeAttr() local
693 BuildCXXAssumeExpr(Expr * Assumption,const IdentifierInfo * AttrName,SourceRange Range) BuildCXXAssumeExpr() argument
[all...] |
| /llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitors.h | 398 const bool Assumption; variable
|
| /llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BasicObjCFoundationChecks.cpp | 921 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty() argument
953 bool Assumption) { in assumeCollectionNonEmpty() argument
|
| H A D | StdLibraryFunctionsChecker.cpp | 168 Assumption enumerator
|
| /llvm-project/clang/lib/CodeGen/ |
| H A D | CodeGenFunction.cpp | 2561 llvm::Instruction *Assumption = Builder.CreateAlignmentAssumption( emitAlignmentAssumption() local
2959 emitAlignmentAssumptionCheck(llvm::Value * Ptr,QualType Ty,SourceLocation Loc,SourceLocation SecondaryLoc,llvm::Value * Alignment,llvm::Value * OffsetValue,llvm::Value * TheCheck,llvm::Instruction * Assumption) emitAlignmentAssumptionCheck() argument
[all...] |
| H A D | CGStmt.cpp | 741 const Expr *Assumption = cast<CXXAssumeAttr>(A)->getAssumption(); EmitAttributedStmt() local
|
| /llvm-project/clang/lib/Parse/ |
| H A D | ParseDeclCXX.cpp | 4651 ArgsUnion Assumption = Res.get(); ParseCXXAssumeAttributeArg() local
|
| H A D | ParseOpenMP.cpp | 1754 std::string Assumption = II->getName().str(); in ParseOpenMPAssumesDirective() local
|
| /llvm-project/llvm/lib/Transforms/Utils/ |
| H A D | SimplifyCFG.cpp | 5358 CallInst *Assumption; simplifyUnreachable() local
7702 CallInst *Assumption; removeUndefIntroducingPredecessor() local
|
| /llvm-project/polly/lib/Analysis/ |
| H A D | ScopBuilder.cpp | 1367 for (auto &Assumption : AC.assumptions()) { in addUserAssumptions() local
|
| /llvm-project/clang/lib/AST/Interp/ |
| H A D | Compiler.cpp | |
| /llvm-project/llvm/lib/Transforms/IPO/ |
| H A D | AttributorAttributes.cpp | 1802 std::pair<Value *, IntrinsicInst *> Assumption; updateImpl() local
[all...] |
| /llvm-project/clang/lib/AST/ |
| H A D | ExprConstant.cpp | 5600 auto *Assumption = AA->getAssumption(); EvaluateStmt() local
|