Searched refs:DeallocSentTag (Results 1 – 1 of 1) sorted by relevance
632 static CheckerProgramPointTag DeallocSentTag(this, DeallocTagDescription); in checkSummary() local720 C.addTransition(St, C.getPredecessor(), &DeallocSentTag); in checkSummary()