627 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred,  in processCFGElement()
634     case CFGElement::Statement:  in processCFGElement()
635     case CFGElement::Constructor:  in processCFGElement()
636     case CFGElement::CXXRecordTypedCall:  in processCFGElement()
639     case CFGElement::Initializer:  in processCFGElement()
642     case CFGElement::NewAllocator:  in processCFGElement()
646     case CFGElement::AutomaticObjectDtor:  in processCFGElement()
647     case CFGElement::DeleteDtor:  in processCFGElement()
648     case CFGElement::BaseDtor:  in processCFGElement()
649     case CFGElement::MemberDtor:  in processCFGElement()
650     case CFGElement::TemporaryDtor:  in processCFGElement()
653     case CFGElement::LoopExit:  in processCFGElement()
656     case CFGElement::LifetimeEnds:  in processCFGElement()
657     case CFGElement::ScopeBegin:  in processCFGElement()
658     case CFGElement::ScopeEnd:  in processCFGElement()
909   case CFGElement::AutomaticObjectDtor:  in ProcessImplicitDtor()
912   case CFGElement::BaseDtor:  in ProcessImplicitDtor()
915   case CFGElement::MemberDtor:  in ProcessImplicitDtor()
918   case CFGElement::TemporaryDtor:  in ProcessImplicitDtor()
921   case CFGElement::DeleteDtor:  in ProcessImplicitDtor()
2126     CFGElement Elem = *I;  in ResolveCondition()