796 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred,  in processCFGElement()
803     case CFGElement::Statement:  in processCFGElement()
804     case CFGElement::Constructor:  in processCFGElement()
805     case CFGElement::CXXRecordTypedCall:  in processCFGElement()
808     case CFGElement::Initializer:  in processCFGElement()
811     case CFGElement::NewAllocator:  in processCFGElement()
815     case CFGElement::AutomaticObjectDtor:  in processCFGElement()
816     case CFGElement::DeleteDtor:  in processCFGElement()
817     case CFGElement::BaseDtor:  in processCFGElement()
818     case CFGElement::MemberDtor:  in processCFGElement()
819     case CFGElement::TemporaryDtor:  in processCFGElement()
822     case CFGElement::LoopExit:  in processCFGElement()
825     case CFGElement::LifetimeEnds:  in processCFGElement()
826     case CFGElement::ScopeBegin:  in processCFGElement()
827     case CFGElement::ScopeEnd:  in processCFGElement()
1078   case CFGElement::AutomaticObjectDtor:  in ProcessImplicitDtor()
1081   case CFGElement::BaseDtor:  in ProcessImplicitDtor()
1084   case CFGElement::MemberDtor:  in ProcessImplicitDtor()
1087   case CFGElement::TemporaryDtor:  in ProcessImplicitDtor()
1090   case CFGElement::DeleteDtor:  in ProcessImplicitDtor()
2312     CFGElement Elem = *I;  in ResolveCondition()