NetBSD Cross-Reference & Source Code Search Engine

Home	Sort by: relevance \| last modified time \| path

Full Search

in project(s):

Definition

Symbol

File Path

History

| | Help

Searched refs:StatePrev (Results 1 - 4 of 4) sorted by relevancy

/src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
DynamicTypeChecker.cpp	`94 ProgramStateRef StatePrev = N->getFirstPred()->getState(); 97 DynamicTypeInfo TrackedTypePrev = getDynamicTypeInfo(StatePrev, Reg);`
ValistChecker.cpp	`381 ProgramStateRef StatePrev = N->getFirstPred()->getState(); 389 !StatePrev->contains<InitializedVALists>(Reg)) 392 StatePrev->contains<InitializedVALists>(Reg))`
MoveChecker.cpp	`283 ProgramStateRef StatePrev = N->getFirstPred()->getState(); 286 StatePrev->get<TrackedRegionMap>(Region);`
NullabilityChecker.cpp	`301 ProgramStateRef StatePrev = N->getFirstPred()->getState(); 305 StatePrev->get<NullabilityMap>(Region);`

Completed in 57 milliseconds