| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ErrnoModeling.cpp | 77 static const VarDecl *getErrnoVar(ASTContext &ACtx) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
78 IdentifierInfo &II = ACtx.Idents.get(ErrnoVarName); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
79 auto LookupRes = ACtx.getTranslationUnitDecl()->lookup(&II); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
80 auto Found = llvm::find_if(LookupRes, [&ACtx](const Decl *D) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
84 VD->getType().getCanonicalType() == ACtx.IntTy; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
96 static const FunctionDecl *getErrnoFunc(ASTContext &ACtx) { in getErrnoFunc() argument
99 IdentifierInfo &II = ACtx.Idents.get(ErrnoName); in getErrnoFunc()
108 ACtx.getPointerType(ACtx.IntTy); in getErrnoFunc()
134 ASTContext &ACtx = C.getASTContext(); in checkBeginFunction() local
166 ACtx.getLValueReferenceType(ACtx.IntTy), C.blockCount(), &ErrnoDecl); in checkBeginFunction()
[all …]
|
| H A D | CloneChecker.cpp | 101 ASTContext &ACtx = Mgr.getASTContext(); in makeLocation() local
103 S.front(), ACtx.getSourceManager(), in makeLocation()
104 Mgr.getAnalysisDeclContext(ACtx.getTranslationUnitDecl())); in makeLocation()
161 ASTContext &ACtx = BR.getContext(); in reportSuspiciousClones() local
162 SourceManager &SM = ACtx.getSourceManager(); in reportSuspiciousClones()
164 Mgr.getAnalysisDeclContext(ACtx.getTranslationUnitDecl()); in reportSuspiciousClones()
|
| H A D | StringChecker.cpp | 32 bool isCharToStringCtor(const CallEvent &Call, const ASTContext &ACtx) const;
39 const ASTContext &ACtx) const { in isCharToStringCtor()
60 if (Arg2Ty.getCanonicalType() == ACtx.getSizeType()) in isCharToStringCtor()
|
| H A D | NumberObjectConversionChecker.cpp | 70 ASTContext &ACtx = ADC->getASTContext(); in run() local
82 Loc, ACtx.getSourceManager(), ACtx.getLangOpts()); in run()
91 EVResult, ACtx, Expr::SE_AllowSideEffects)) { in run()
137 ObjT = ACtx.getPointerType( in run()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1146 const ASTContext &ACtx; in initFunctionSummaries() member in StdLibraryFunctionsChecker::initFunctionSummaries::LookupType
1149 LookupType(const ASTContext &ACtx) : ACtx(ACtx) {} in initFunctionSummaries() argument
1176 } lookupTy(ACtx); in initFunctionSummaries()
1181 const ASTContext &ACtx; in initFunctionSummaries() member in StdLibraryFunctionsChecker::initFunctionSummaries::GetRestrictTy
1184 GetRestrictTy(const ASTContext &ACtx) : ACtx(ACtx) {} in initFunctionSummaries() argument
1186 return ACtx.getLangOpts().C99 ? ACtx.getRestrictType(Ty) : Ty; in initFunctionSummaries()
1193 } getRestrictTy(ACtx); in initFunctionSummaries()
1195 const ASTContext &ACtx; in initFunctionSummaries() member in StdLibraryFunctionsChecker::initFunctionSummaries::GetPointerTy
1198 GetPointerTy(const ASTContext &ACtx) : ACtx(ACtx) {} in initFunctionSummaries() argument
1205 } getPointerTy(ACtx); in initFunctionSummaries()
[all …]
|
| H A D | DeadStoresChecker.cpp | 222 ASTContext &ACtx = V->getASTContext(); in Report() local
224 if (V->getInit()->HasSideEffects(ACtx, in Report()
228 SourceManager &SM = ACtx.getSourceManager(); in Report()
229 const LangOptions &LO = ACtx.getLangOpts(); in Report()
|
| H A D | CastValueChecker.cpp | 185 ASTContext &ACtx) { in alignReferenceTypes() argument
189 return ACtx.getLValueReferenceType(toAlign); in alignReferenceTypes()
191 return ACtx.getLValueReferenceType(toAlign); in alignReferenceTypes()
193 return ACtx.getRValueReferenceType(toAlign); in alignReferenceTypes()
|
| H A D | MIGChecker.cpp | 236 ASTContext &ACtx = C.getASTContext(); in mayBeSuccess() local
240 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess()
|
| H A D | Iterator.cpp | 216 auto &ACtx = StateMgr.getContext(); in createIteratorPosition() local
218 auto Sym = SymMgr.conjureSymbol(S, LCtx, ACtx.LongTy, blockCount); in createIteratorPosition()
|
| H A D | GenericTaintChecker.cpp | 86 bool isStdin(SVal Val, const ASTContext &ACtx) { in isStdin() argument
106 const QualType FILETy = ACtx.getFILEType().getCanonicalType(); in isStdin()
|
| H A D | MallocChecker.cpp | 825 bool doesFnIntendToHandleOwnership(const Decl *Callee, ASTContext &ACtx) { in doesFnIntendToHandleOwnership() argument
840 *FD->getBody(), ACtx); in doesFnIntendToHandleOwnership()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 29 ASTContext &ACtx;
34 S->printPretty(OS, nullptr, PrintingPolicy(ACtx.getLangOpts())); in printStmt()
46 SValExplainer(ASTContext &Ctx) : ACtx(Ctx) {} in SValExplainer()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/Analyses/ |
| H A D | ThreadSafetyCommon.h | 153 ACtx = ∾ in init()
214 AD.getDestructorDecl(ACtx->getASTContext())); in walk()
257 return dyn_cast<NamedDecl>(ACtx->getDecl()); in getDecl()
264 AnalysisDeclContext *ACtx = nullptr; variable
|
| /llvm-project-15.0.7/clang/lib/CrossTU/ |
| H A D | CrossTranslationUnit.cpp | 223 bool shouldImport(const VarDecl *VD, const ASTContext &ACtx) { in shouldImport() argument
224 CanQualType CT = ACtx.getCanonicalType(VD->getType()); in shouldImport()
225 return CT.isConstQualified() && VD->getType().isTrivialType(ACtx); in shouldImport()
|
| /llvm-project-15.0.7/clang/include/clang/CrossTU/ |
| H A D | CrossTranslationUnit.h | 115 bool shouldImport(const VarDecl *VD, const ASTContext &ACtx);
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineCXX.cpp | 119 ASTContext &ACtx = SVB.getContext(); in computeObjectUnderConstruction() local
232 QualType RegionTy = ACtx.getPointerType(ReturnTy); in computeObjectUnderConstruction()
|