Home
last modified time | relevance | path

Searched refs:ACtx (Results 1 – 22 of 22) sorted by relevance

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ !
H A DErrnoModeling.cpp82 ASTContext &ACtx = Mgr.getASTContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
83 IdentifierInfo &II = ACtx.Idents.get(ErrnoVarName); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
84 auto LookupRes = ACtx.getTranslationUnitDecl()->lookup(&II); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
85 auto Found = llvm::find_if(LookupRes, [&ACtx](const Decl *D) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
87 return ACtx.getSourceManager().isInSystemHeader(VD->getLocation()) && in REGISTER_TRAIT_WITH_PROGRAMSTATE()
89 VD->getType().getCanonicalType() == ACtx.IntTy; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
100 ASTContext &ACtx = C.getASTContext(); in checkBeginFunction() local
128 ACtx.getLValueReferenceType(ACtx.IntTy), C.blockCount(), &ErrnoDecl); in checkBeginFunction()
133 ACtx.IntTy, SVB.makeZeroArrayIndex(), in checkBeginFunction()
H A DCloneChecker.cpp102 ASTContext &ACtx = Mgr.getASTContext(); in makeLocation() local
104 S.front(), ACtx.getSourceManager(), in makeLocation()
105 Mgr.getAnalysisDeclContext(ACtx.getTranslationUnitDecl())); in makeLocation()
154 ASTContext &ACtx = BR.getContext(); in reportSuspiciousClones() local
155 SourceManager &SM = ACtx.getSourceManager(); in reportSuspiciousClones()
157 Mgr.getAnalysisDeclContext(ACtx.getTranslationUnitDecl()); in reportSuspiciousClones()
H A DStringChecker.cpp32 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 DNumberObjectConversionChecker.cpp70 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 DStdLibraryFunctionsChecker.cpp1565 const ASTContext &ACtx = BVF.getContext(); in initFunctionSummaries() local
1570 const ASTContext &ACtx; in initFunctionSummaries() member in StdLibraryFunctionsChecker::initFunctionSummaries::LookupType
1573 LookupType(const ASTContext &ACtx) : ACtx(ACtx) {} in initFunctionSummaries() argument
1577 IdentifierInfo &II = ACtx.Idents.get(Name); in initFunctionSummaries()
1578 auto LookupRes = ACtx.getTranslationUnitDecl()->lookup(&II); in initFunctionSummaries()
1589 return ACtx.getTypeDeclType(TD).getCanonicalType(); in initFunctionSummaries()
1597 return ACtx.getTypeDeclType(TD).getCanonicalType(); in initFunctionSummaries()
1600 } lookupTy(ACtx); in initFunctionSummaries()
1605 const ASTContext &ACtx; in initFunctionSummaries() member in StdLibraryFunctionsChecker::initFunctionSummaries::GetRestrictTy
1608 GetRestrictTy(const ASTContext &ACtx) : ACtx(ACtx) {} in initFunctionSummaries() argument
[all …]
H A DArrayBoundCheckerV2.cpp406 static Messages getExceedsMsgs(ASTContext &ACtx, const SubRegion *Region, in getExceedsMsgs() argument
417 int64_t ElemSize = ACtx.getTypeSizeInChars(ElemType).getQuantity(); in getExceedsMsgs()
728 bool ArrayBoundCheckerV2::isFromCtypeMacro(const Stmt *S, ASTContext &ACtx) { in isFromCtypeMacro() argument
734 Loc, ACtx.getSourceManager(), ACtx.getLangOpts()); in isFromCtypeMacro()
747 bool ArrayBoundCheckerV2::isInAddressOf(const Stmt *S, ASTContext &ACtx) { in isInAddressOf() argument
748 ParentMapContext &ParentCtx = ACtx.getParentMapContext(); in isInAddressOf()
H A DDeadStoresChecker.cpp222 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 DCastValueChecker.cpp185 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 DMIGChecker.cpp237 ASTContext &ACtx = C.getASTContext(); in mayBeSuccess() local
241 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess()
H A DNoOwnershipChangeVisitor.h30 ASTContext &ACtx) = 0;
H A DIterator.cpp215 auto &ACtx = StateMgr.getContext(); in createIteratorPosition() local
217 auto Sym = SymMgr.conjureSymbol(S, LCtx, ACtx.LongTy, blockCount); in createIteratorPosition()
H A DStreamChecker.cpp636 const ASTContext &ACtx; member
644 : SVB(C.getSValBuilder()), ACtx(C.getASTContext()) { in StreamOperationEvaluator()
686 SVB.makeIntVal(Val, CE->getCallReturnType(ACtx))); in bindReturnValue()
750 ASTContext &ACtx) final { in doesFnIntendToHandleOwnership() argument
755 match(findAll(callExpr().bind("call")), *FD->getBody(), ACtx); in doesFnIntendToHandleOwnership()
1206 E.SVB.getBasicValueFactory().getValue(0, E.ACtx.UnsignedCharTy), in evalFgetx()
1207 E.SVB.getBasicValueFactory().getMaxValue(E.ACtx.UnsignedCharTy), in evalFgetx()
1302 .evalBinOp(State, BO_GE, RetVal, E.SVB.makeZeroVal(E.ACtx.IntTy), in evalFprintf()
H A DGenericTaintChecker.cpp83 bool isStdin(SVal Val, const ASTContext &ACtx) { in isStdin() argument
102 const QualType FILETy = ACtx.getFILEType().getCanonicalType(); in isStdin()
H A DMallocChecker.cpp800 ASTContext &ACtx) final { in doesFnIntendToHandleOwnership() argument
806 *FD->getBody(), ACtx); in doesFnIntendToHandleOwnership()
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ !
H A DBugSuppression.h31 explicit BugSuppression(const ASTContext &ACtx) : ACtx(ACtx) {} in BugSuppression() argument
52 const ASTContext &ACtx; variable
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ !
H A DSValExplainer.h29 ASTContext &ACtx;
34 S->printPretty(OS, nullptr, PrintingPolicy(ACtx.getLangOpts())); in printStmt()
58 SValExplainer(ASTContext &Ctx) : ACtx(Ctx) {} in SValExplainer()
/src/contrib/llvm-project/clang/include/clang/Analysis/Analyses/ !
H A DThreadSafetyCommon.h154 ACtx = ∾ in init()
215 AD.getDestructorDecl(ACtx->getASTContext())); in walk()
258 return dyn_cast<NamedDecl>(ACtx->getDecl()); in getDecl()
265 AnalysisDeclContext *ACtx = nullptr; variable
/src/contrib/llvm-project/llvm/tools/llvm-mca/ !
H A Dllvm-mca.cpp465 MCContext ACtx(TheTriple, MAI.get(), MRI.get(), STI.get(), &SrcMgr); in main() local
467 TheTarget->createMCObjectFileInfo(ACtx, /*PIC=*/false)); in main()
468 ACtx.setObjectFileInfo(AMOFI.get()); in main()
469 mca::AsmAnalysisRegionGenerator CRG(*TheTarget, SrcMgr, ACtx, *MAI, *STI, in main()
589 TheTarget->createMCCodeEmitter(*MCII, ACtx)); in main()
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ !
H A DBugSuppression.cpp149 DeclWithIssue = ACtx.getTranslationUnitDecl(); in isSuppressed()
H A DExprEngineCXX.cpp128 ASTContext &ACtx = SVB.getContext(); in computeObjectUnderConstruction() local
245 QualType RegionTy = ACtx.getPointerType(ReturnTy); in computeObjectUnderConstruction()
/src/contrib/llvm-project/clang/lib/CrossTU/ !
H A DCrossTranslationUnit.cpp223 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()
/src/contrib/llvm-project/clang/include/clang/CrossTU/ !
H A DCrossTranslationUnit.h115 bool shouldImport(const VarDecl *VD, const ASTContext &ACtx);