/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | CheckerManager.cpp | 543 void CheckerManager::runCheckersForLiveSymbols(ProgramStateRef state, argument 596 CheckerManager::runCheckersForRegionChanges(ProgramStateRef state, argument 636 CheckerManager::runCheckersForEvalAssume(ProgramStateRef state, argument [all...] |
H A D | BugReporterVisitors.cpp | 2087 ProgramStateRef state = N->getState(); local 2353 const ProgramState *state = N->getState().get(); local 2359 const ProgramState *state = N->getState().get(); local [all...] |
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | VLASizeChecker.cpp | 97 ProgramStateRef state = C.getState(); local [all...] |
H A D | UnixAPIChecker.cpp | 181 ProgramStateRef state = C.getState(); local 323 static bool IsZeroByteAllocation(ProgramStateRef state, argument [all...] |
H A D | UndefResultChecker.cpp | 38 ProgramStateRef state = C.getState(); local
|
H A D | StreamChecker.cpp | 138 ProgramStateRef state = C.getState(); local [all...] |
H A D | SimpleStreamChecker.cpp | 93 ProgramStateRef state; member in class:__anon848::final
|
H A D | ReturnPointerRangeChecker.cpp | 36 ProgramStateRef state = C.getState(); local
|
H A D | PthreadLockChecker.cpp | 158 resolvePossiblyDestroyedMutex( ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const argument [all...] |
H A D | ObjCSelfInitChecker.cpp | 106 static SelfFlagEnum getSelfFlags(SVal val, ProgramStateRef state) { argument 117 static void addSelfFlag(ProgramStateRef state, SVal val, argument 178 ProgramStateRef state = C.getState(); local [all...] |
H A D | ObjCAtSyncChecker.cpp | 40 ProgramStateRef state = C.getState(); local
|
H A D | NonNullParamChecker.cpp | 76 ProgramStateRef state = C.getState(); local
|
H A D | NSErrorChecker.cpp | 173 static bool hasFlag(SVal val, ProgramStateRef state) { argument 181 static void setFlag(ProgramStateRef state, SVal val, CheckerContext &C) { argument 210 ProgramStateRef state = C.getState(); local 243 ProgramStateRef state local [all...] |
H A D | MallocChecker.cpp | 802 ProgramStateRef state; member in class:__anon816::final 2622 ProgramStateRef state = C.getState(); local 2883 evalAssume(ProgramStateRef state, SVal Cond, bool Assumption) const argument 3175 ProgramStateRef state = N->getState(); local [all...] |
H A D | DynamicTypePropagation.cpp | 926 ProgramStateRef state = N->getState(); local
|
H A D | DereferenceChecker.cpp | 52 AddDerefSource(raw_ostream &os, SmallVectorImpl<SourceRange> &Ranges, const Expr *Ex, const ProgramState *state, const LocationContext *LCtx, bool loadedFrom) argument
|
H A D | ChrootChecker.cpp | 79 ProgramStateRef state = C.getState(); local 89 ProgramStateRef state = C.getState(); local [all...] |
H A D | CallAndMessageChecker.cpp | 544 HandleNilReceiver(CheckerContext &C, ProgramStateRef state, const ObjCMethodCall &Msg) const argument
|
H A D | CStringChecker.cpp | 215 CheckBufferAccess(CheckerContext &C, ProgramStateRef state, const Expr *Size, const Expr *Buf, const char *message = nullptr, bool WarnAboutSize = false) const argument 266 assumeZero(CheckerContext &C, ProgramStateRef state, SVal V, QualType Ty) argument 277 checkNonNull(CheckerContext &C, ProgramStateRef state, const Expr *S, SVal l, unsigned IdxOfArg) const argument 308 CheckLocation(CheckerContext &C, ProgramStateRef state, const Expr *S, SVal l, const char *warningMsg) const argument 368 CheckBufferAccess(CheckerContext &C, ProgramStateRef state, const Expr *Size, const Expr *FirstBuf, const Expr *SecondBuf, const char *firstMessage, const char *secondMessage, bool WarnAboutSize) const argument 447 CheckOverlap(CheckerContext &C, ProgramStateRef state, const Expr *Size, const Expr *First, const Expr *Second) const argument 560 emitOverlapBug(CheckerContext &C, ProgramStateRef state, const Stmt *First, const Stmt *Second) const argument 656 checkAdditionOverflow(CheckerContext &C, ProgramStateRef state, NonLoc left, NonLoc right) const argument 711 setCStringLength(ProgramStateRef state, const MemRegion *MR, SVal strLength) argument 751 getCStringLengthForRegion(CheckerContext &C, ProgramStateRef &state, const Expr *Ex, const MemRegion *MR, bool hypothetical) argument 790 getCStringLength(CheckerContext &C, ProgramStateRef &state, const Expr *Ex, SVal Buf, bool hypothetical) const argument 864 getCStringLiteral(CheckerContext &C, ProgramStateRef &state, const Expr *expr, SVal val) const argument 884 IsFirstBufInBound(CheckerContext &C, ProgramStateRef state, const Expr *FirstBuf, const Expr *Size) argument 950 InvalidateBuffer(CheckerContext &C, ProgramStateRef state, const Expr *E, SVal V, bool IsSourceBuffer, const Expr *Size) argument 1137 evalCopyCommon(CheckerContext &C, const CallExpr *CE, ProgramStateRef state, const Expr *Size, const Expr *Dest, const Expr *Source, bool Restricted, bool IsMempcpy) const argument 1243 ProgramStateRef state = C.getState(); local 1252 ProgramStateRef state = C.getState(); local 1261 ProgramStateRef state = C.getState(); local 1280 ProgramStateRef state = C.getState(); local 1359 ProgramStateRef state = C.getState(); local 1543 ProgramStateRef state = C.getState(); local 1940 ProgramStateRef state = C.getState(); local 2310 ProgramStateRef state = C.getState(); local 2344 checkRegionChanges(ProgramStateRef state, const InvalidatedSymbols *, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const LocationContext *LCtx, const CallEvent *Call) const argument 2397 checkLiveSymbols(ProgramStateRef state, SymbolReaper &SR) const argument 2414 ProgramStateRef state = C.getState(); local [all...] |
H A D | BoolAssignmentChecker.cpp | 32 void BoolAssignmentChecker::emitReport(ProgramStateRef state, argument [all...] |
H A D | BasicObjCFoundationChecks.cpp | 429 ProgramStateRef state = C.getState(); local
|
H A D | ArrayBoundCheckerV2.cpp | 128 ProgramStateRef state = checkerContext.getState(); local 283 scaleValue(ProgramStateRef state, NonLoc baseVal, CharUnits scaling, SValBuilder &sb) argument 293 addValue(ProgramStateRef state, SVal x, SVal y, SValBuilder &svalBuilder) argument 307 computeOffset(ProgramStateRef state, SValBuilder &svalBuilder, SVal location) argument [all...] |
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
H A D | RetainCountChecker.cpp | 130 ProgramStateRef state; member in class:__anon843::final 210 ProgramStateRef state local 231 ProgramStateRef state = C.getState(); local 451 ProgramStateRef state = C.getState(); local 608 ProgramStateRef state = C.getState(); local 711 updateSymbol(ProgramStateRef state, SymbolRef sym, RefVal V, ArgEffect AE, RefVal::Kind &hasErr, CheckerContext &C) const argument 891 ProgramStateRef state = C.getState(); local 1139 ProgramStateRef state = C.getState(); local 1150 evalAssume(ProgramStateRef state, SVal Cond, bool Assumption) const argument 1183 checkRegionChanges( ProgramStateRef state, const InvalidatedSymbols *invalidated, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const LocationContext *LCtx, const CallEvent *Call) const argument 1207 handleAutoreleaseCounts(ProgramStateRef state, ExplodedNode *Pred, const ProgramPointTag *Tag, CheckerContext &Ctx, SymbolRef Sym, RefVal V, const ReturnStmt *S) const argument 1285 handleSymbolDeath(ProgramStateRef state, SymbolRef sid, RefVal V, SmallVectorImpl<SymbolRef> &Leaked) const argument 1313 processLeaks(ProgramStateRef state, SmallVectorImpl<SymbolRef> &Leaked, CheckerContext &Ctx, ExplodedNode *Pred) const argument 1376 ProgramStateRef state = Pred->getState(); local 1413 ProgramStateRef state = C.getState(); local [all...] |
/freebsd-11-stable/contrib/llvm-project/clang/lib/Sema/ |
H A D | SemaType.cpp | 374 static bool handleObjCPointerTypeAttr(TypeProcessingState &state, argument 459 static void distributeObjCPointerTypeAttr(TypeProcessingState &state, argument 515 distributeObjCPointerTypeAttrFromDeclarator( TypeProcessingState &state, ParsedAttr &attr, QualType &declSpecType) argument 576 distributeFunctionTypeAttr(TypeProcessingState &state, ParsedAttr &attr, QualType type) argument 607 distributeFunctionTypeAttrToInnermost( TypeProcessingState &state, ParsedAttr &attr, ParsedAttributesView &attrList, QualType &declSpecType) argument 626 distributeFunctionTypeAttrFromDeclSpec(TypeProcessingState &state, ParsedAttr &attr, QualType &declSpecType) argument 652 distributeFunctionTypeAttrFromDeclarator(TypeProcessingState &state, ParsedAttr &attr, QualType &declSpecType) argument 677 distributeTypeAttrsFromDeclarator(TypeProcessingState &state, QualType &declSpecType) argument 720 maybeSynthesizeBlockSignature(TypeProcessingState &state, QualType declSpecType) argument 1282 ConvertDeclSpecToType(TypeProcessingState &state) argument 2740 inferARCWriteback(TypeProcessingState &state, QualType &declSpecType) argument 2972 InventTemplateParameter( TypeProcessingState &state, QualType T, TypeSourceInfo *TSI, AutoType *Auto, InventedTemplateParameterInfo &Info) argument 3038 GetDeclSpecTypeForDeclarator(TypeProcessingState &state, TypeSourceInfo *&ReturnTypeInfo) argument 4146 GetFullTypeForDeclarator(TypeProcessingState &state, QualType declSpecType, TypeSourceInfo *TInfo) argument 5457 transferARCOwnershipToDeclaratorChunk(TypeProcessingState &state, Qualifiers::ObjCLifetime ownership, unsigned chunkIndex) argument 5494 transferARCOwnership(TypeProcessingState &state, QualType &declSpecTy, Qualifiers::ObjCLifetime ownership) argument 6244 handleObjCOwnershipTypeAttr(TypeProcessingState &state, ParsedAttr &attr, QualType &type) argument 6431 handleObjCGCTypeAttr(TypeProcessingState &state, ParsedAttr &attr, QualType &type) argument 6750 checkNullabilityTypeSpecifier(TypeProcessingState &state, QualType &type, ParsedAttr &attr, bool allowOnArrayType) argument 6854 checkObjCKindOfType(TypeProcessingState &state, QualType &type, ParsedAttr &attr) argument 6912 distributeNullabilityTypeAttr(TypeProcessingState &state, QualType type, ParsedAttr &attr) argument 7046 handleFunctionTypeAttr(TypeProcessingState &state, ParsedAttr &attr, QualType &type) argument 7591 processTypeAttrs(TypeProcessingState &state, QualType &type, TypeAttrLocation TAL, ParsedAttributesView &attrs) argument [all...] |
H A D | SemaDeclAttr.cpp | 8314 void Sema::PopParsingDeclaration(ParsingDeclState state, Decl *decl) { argument
|