Searched refs:CFGElement (Results 1 - 19 of 19) sorted by relevance
| /external/clang/include/clang/Analysis/ |
| H A D | CFG.h | 52 /// CFGElement - Represents a top-level expression in a basic block.
53 class CFGElement { class in namespace:clang
75 CFGElement(Kind kind, const void *Ptr1, const void *Ptr2 = nullptr) function in class:clang::CFGElement
81 CFGElement() {} function in class:clang::CFGElement
84 /// \brief Convert to the specified CFGElement type, asserting that this
85 /// CFGElement is of the desired type.
90 CFGElement& e = t;
95 /// \brief Convert to the specified CFGElement type, returning None if this
96 /// CFGElement is not of the desired type.
102 CFGElement
[all...] |
| H A D | ProgramPoint.h | 205 Optional<CFGElement> getFirstElement() const {
207 return B->empty() ? Optional<CFGElement>() : B->front();
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SubEngine.h | 23 class CFGElement;
56 virtual void processCFGElement(const CFGElement E, ExplodedNode* Pred,
|
| H A D | ExprEngine.h | 194 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
|
| /external/clang/lib/Analysis/ |
| H A D | CFGStmtMap.cpp | 52 const CFGElement &CE = *I;
|
| H A D | Consumed.cpp | 1394 case CFGElement::Statement:
1398 case CFGElement::TemporaryDtor: {
1409 case CFGElement::AutomaticObjectDtor: {
|
| H A D | CFG.cpp | 3218 // it to the CFG as a CFGElement so that the control-flow of these
3707 case CFGElement::Statement:
3708 case CFGElement::Initializer:
3709 case CFGElement::NewAllocator:
3712 case CFGElement::AutomaticObjectDtor: {
3724 case CFGElement::DeleteDtor: {
3732 case CFGElement::TemporaryDtor: {
3738 case CFGElement::BaseDtor:
3739 case CFGElement::MemberDtor:
4031 const CFGElement
[all...] |
| H A D | LiveVariables.cpp | 459 const CFGElement &elem = *it;
|
| H A D | ThreadSafety.cpp | 1333 case CFGElement::Statement: {
1378 // FIXME: Handle other CFGElement kinds.
1391 // FIXME: Handle other CFGElement kinds.
2325 CFGElement Last = B->back();
2543 case CFGElement::Statement: {
2549 case CFGElement::AutomaticObjectDtor: {
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 125 const CFGElement &CE = Exit->front();
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | PathDiagnostic.cpp | 545 CFGElement Source = Block[SFC->getIndex()];
548 case CFGElement::Statement:
551 case CFGElement::Initializer: {
556 case CFGElement::AutomaticObjectDtor: {
561 case CFGElement::DeleteDtor: {
565 case CFGElement::BaseDtor:
566 case CFGElement::MemberDtor: {
572 case CFGElement::TemporaryDtor:
573 case CFGElement::NewAllocator:
577 llvm_unreachable("Unknown CFGElement kin
[all...] |
| H A D | ExprEngine.cpp | 278 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred,
285 case CFGElement::Statement:
288 case CFGElement::Initializer:
291 case CFGElement::NewAllocator:
295 case CFGElement::AutomaticObjectDtor:
296 case CFGElement::DeleteDtor:
297 case CFGElement::BaseDtor:
298 case CFGElement::MemberDtor:
299 case CFGElement::TemporaryDtor:
533 case CFGElement
[all...] |
| H A D | CoreEngine.cpp | 334 if (Optional<CFGElement> E = L.getFirstElement()) {
535 if ((*Block)[Idx].getKind() == CFGElement::NewAllocator) {
|
| H A D | ExprEngineCXX.cpp | 118 CFGElement Next = (*B)[NextStmtIdx];
|
| H A D | CallEvent.cpp | 959 CFGElement E = (*B)[CalleeCtx->getIndex()];
|
| H A D | ExprEngineC.cpp | 668 CFGElement CE = *I;
|
| H A D | BugReporter.cpp | 1554 Optional<CFGElement> First = BE->getFirstElement();
|
| /external/clang/include/clang/Analysis/Analyses/ |
| H A D | ThreadSafetyCommon.h | 147 case CFGElement::Statement: {
151 case CFGElement::AutomaticObjectDtor: {
|
| /external/clang/lib/Sema/ |
| H A D | AnalysisBasedWarnings.cpp | 194 if (B.getKind() != CFGElement::Statement)
|
Completed in 520 milliseconds