Searched defs:state (Results 176 - 200 of 1346) sorted by last modified time

1234567891011>>

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp543 void CheckerManager::runCheckersForLiveSymbols(ProgramStateRef state, argument
596 CheckerManager::runCheckersForRegionChanges(ProgramStateRef state, argument
636 CheckerManager::runCheckersForEvalAssume(ProgramStateRef state, argument
[all...]
H A DBugReporterVisitors.cpp2087 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 DVLASizeChecker.cpp97 ProgramStateRef state = C.getState(); local
[all...]
H A DUnixAPIChecker.cpp181 ProgramStateRef state = C.getState(); local
323 static bool IsZeroByteAllocation(ProgramStateRef state, argument
[all...]
H A DUndefResultChecker.cpp38 ProgramStateRef state = C.getState(); local
H A DStreamChecker.cpp138 ProgramStateRef state = C.getState(); local
[all...]
H A DSimpleStreamChecker.cpp93 ProgramStateRef state; member in class:__anon848::final
H A DReturnPointerRangeChecker.cpp36 ProgramStateRef state = C.getState(); local
H A DPthreadLockChecker.cpp158 resolvePossiblyDestroyedMutex( ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const argument
[all...]
H A DObjCSelfInitChecker.cpp106 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 DObjCAtSyncChecker.cpp40 ProgramStateRef state = C.getState(); local
H A DNonNullParamChecker.cpp76 ProgramStateRef state = C.getState(); local
H A DNSErrorChecker.cpp173 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 DMallocChecker.cpp802 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 DDynamicTypePropagation.cpp926 ProgramStateRef state = N->getState(); local
H A DDereferenceChecker.cpp52 AddDerefSource(raw_ostream &os, SmallVectorImpl<SourceRange> &Ranges, const Expr *Ex, const ProgramState *state, const LocationContext *LCtx, bool loadedFrom) argument
H A DChrootChecker.cpp79 ProgramStateRef state = C.getState(); local
89 ProgramStateRef state = C.getState(); local
[all...]
H A DCallAndMessageChecker.cpp544 HandleNilReceiver(CheckerContext &C, ProgramStateRef state, const ObjCMethodCall &Msg) const argument
H A DCStringChecker.cpp215 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 DBoolAssignmentChecker.cpp32 void BoolAssignmentChecker::emitReport(ProgramStateRef state, argument
[all...]
H A DBasicObjCFoundationChecks.cpp429 ProgramStateRef state = C.getState(); local
H A DArrayBoundCheckerV2.cpp128 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 DRetainCountChecker.cpp130 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 DSemaType.cpp374 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 DSemaDeclAttr.cpp8314 void Sema::PopParsingDeclaration(ParsingDeclState state, Decl *decl) { argument

Completed in 441 milliseconds

1234567891011>>