| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ErrnoModeling.cpp | 80 ASTContext &ACtx = Mgr.getASTContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
81 IdentifierInfo &II = ACtx.Idents.get(ErrnoVarName); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
82 auto LookupRes = ACtx.getTranslationUnitDecl()->lookup(&II); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
83 auto Found = llvm::find_if(LookupRes, [&ACtx](const Decl *D) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
85 return ACtx.getSourceManager().isInSystemHeader(VD->getLocation()) && in REGISTER_TRAIT_WITH_PROGRAMSTATE()
87 VD->getType().getCanonicalType() == ACtx.IntTy; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
98 ASTContext &ACtx = C.getASTContext(); in checkBeginFunction() local
126 ACtx.getLValueReferenceType(ACtx.IntTy), C.blockCount(), &ErrnoDecl); in checkBeginFunction()
131 ACtx.IntTy, SVB.makeZeroArrayIndex(), in checkBeginFunction()
|
| H A D | BuiltinFunctionChecker.cpp | 38 ASTContext &ACtx = C.getASTContext(); in getSufficientTypeForOverflowOp() local
40 unsigned BitWidth = ACtx.getIntWidth(T); in getSufficientTypeForOverflowOp()
41 return ACtx.getIntTypeForBitwidth(BitWidth * 2, T->isSignedIntegerType()); in getSufficientTypeForOverflowOp()
56 ASTContext &ACtx = C.getASTContext(); in getOverflowBuiltinResultType() local
62 return ACtx.IntTy; in getOverflowBuiltinResultType()
66 return ACtx.LongTy; in getOverflowBuiltinResultType()
70 return ACtx.LongLongTy; in getOverflowBuiltinResultType()
74 return ACtx.UnsignedIntTy; in getOverflowBuiltinResultType()
78 return ACtx.UnsignedLongTy; in getOverflowBuiltinResultType()
82 return ACtx.UnsignedLongLongTy; in getOverflowBuiltinResultType()
[all …]
|
| 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 | 1568 const ASTContext &ACtx = BVF.getContext(); in initFunctionSummaries() local
1573 const ASTContext &ACtx; in initFunctionSummaries() member in StdLibraryFunctionsChecker::initFunctionSummaries::LookupType
1576 LookupType(const ASTContext &ACtx) : ACtx(ACtx) {} in initFunctionSummaries() argument
1580 IdentifierInfo &II = ACtx.Idents.get(Name); in initFunctionSummaries()
1581 auto LookupRes = ACtx.getTranslationUnitDecl()->lookup(&II); in initFunctionSummaries()
1592 return ACtx.getTypeDeclType(TD).getCanonicalType(); in initFunctionSummaries()
1600 return ACtx.getTypeDeclType(TD).getCanonicalType(); in initFunctionSummaries()
1603 } lookupTy(ACtx); in initFunctionSummaries()
1608 const ASTContext &ACtx; in initFunctionSummaries() member in StdLibraryFunctionsChecker::initFunctionSummaries::GetRestrictTy
1611 GetRestrictTy(const ASTContext &ACtx) : ACtx(ACtx) {} in initFunctionSummaries() argument
[all …]
|
| H A D | ArrayBoundChecker.cpp | 422 static Messages getExceedsMsgs(ASTContext &ACtx, const MemSpaceRegion *Space, in getExceedsMsgs() argument
434 int64_t ElemSize = ACtx.getTypeSizeInChars(ElemType).getQuantity(); in getExceedsMsgs()
775 bool ArrayBoundChecker::isFromCtypeMacro(const Expr *E, ASTContext &ACtx) { in isFromCtypeMacro() argument
781 Loc, ACtx.getSourceManager(), ACtx.getLangOpts()); in isFromCtypeMacro()
802 bool ArrayBoundChecker::isInAddressOf(const Stmt *S, ASTContext &ACtx) { in isInAddressOf() argument
803 ParentMapContext &ParentCtx = ACtx.getParentMapContext(); in isInAddressOf()
|
| H A D | DeadStoresChecker.cpp | 221 ASTContext &ACtx = V->getASTContext(); in Report() local
223 if (V->getInit()->HasSideEffects(ACtx, in Report()
227 SourceManager &SM = ACtx.getSourceManager(); in Report()
228 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 | 237 ASTContext &ACtx = C.getASTContext(); in mayBeSuccess() local
241 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess()
|
| H A D | NoOwnershipChangeVisitor.h | 30 ASTContext &ACtx) = 0;
|
| H A D | Iterator.cpp | 216 auto &ACtx = StateMgr.getContext(); in createIteratorPosition() local
218 auto *Sym = SymMgr.conjureSymbol(Elem, LCtx, ACtx.LongTy, blockCount); in createIteratorPosition()
|
| H A D | StreamChecker.cpp | 641 const ASTContext &ACtx; member
650 : SVB(C.getSValBuilder()), ACtx(C.getASTContext()) { in StreamOperationEvaluator()
693 SVB.makeIntVal(Val, CE->getCallReturnType(ACtx))); in bindReturnValue()
757 ASTContext &ACtx) final { in doesFnIntendToHandleOwnership() argument
771 match(findAll(callExpr().bind("call")), *FD->getBody(), ACtx); in doesFnIntendToHandleOwnership()
1245 E.SVB.getBasicValueFactory().getValue(0, E.ACtx.UnsignedCharTy), in evalFgetx()
1246 E.SVB.getBasicValueFactory().getMaxValue(E.ACtx.UnsignedCharTy), in evalFgetx()
1341 .evalBinOp(State, BO_GE, RetVal, E.SVB.makeZeroVal(E.ACtx.IntTy), in evalFprintf()
|
| H A D | GenericTaintChecker.cpp | 82 bool isStdin(SVal Val, const ASTContext &ACtx) { in isStdin() argument
101 const QualType FILETy = ACtx.getFILEType().getCanonicalType(); in isStdin()
|
| H A D | MallocChecker.cpp | 901 ASTContext &ACtx) final { in doesFnIntendToHandleOwnership() argument
916 *FD->getBody(), ACtx); in doesFnIntendToHandleOwnership()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugSuppression.h | 31 explicit BugSuppression(const ASTContext &ACtx) : ACtx(ACtx) {} in BugSuppression() argument
52 const ASTContext &ACtx; variable
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/Analyses/ |
| H A D | ThreadSafetyCommon.h | 155 ACtx = ∾ in init()
216 AD.getDestructorDecl(ACtx->getASTContext())); in walk()
259 return dyn_cast<NamedDecl>(ACtx->getDecl()); in getDecl()
266 AnalysisDeclContext *ACtx = nullptr; variable
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 30 ASTContext &ACtx;
43 S->printPretty(OS, nullptr, PrintingPolicy(ACtx.getLangOpts())); in printStmt()
68 : ACtx(Ctx), State(State) {} in SValExplainer()
|
| /freebsd/contrib/llvm-project/llvm/tools/llvm-mca/ |
| H A D | llvm-mca.cpp | 482 MCContext ACtx(TheTriple, MAI.get(), MRI.get(), STI.get(), &SrcMgr); in main() local
484 TheTarget->createMCObjectFileInfo(ACtx, /*PIC=*/false)); in main()
485 ACtx.setObjectFileInfo(AMOFI.get()); in main()
486 mca::AsmAnalysisRegionGenerator CRG(*TheTarget, SrcMgr, ACtx, *MAI, *STI, in main()
606 TheTarget->createMCCodeEmitter(*MCII, ACtx)); in main()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | BugSuppression.cpp | 174 DeclWithIssue = ACtx.getTranslationUnitDecl(); in isSuppressed()
|
| H A D | ExprEngineCXX.cpp | 138 ASTContext &ACtx = SVB.getContext(); in computeObjectUnderConstruction() local
255 QualType RegionTy = ACtx.getPointerType(ReturnTy); in computeObjectUnderConstruction()
|
| /freebsd/contrib/llvm-project/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()
|
| /freebsd/contrib/llvm-project/clang/include/clang/CrossTU/ |
| H A D | CrossTranslationUnit.h | 115 bool shouldImport(const VarDecl *VD, const ASTContext &ACtx);
|