Home | History | Annotate | Download | only in Checkers

Lines Matching refs:AllocationNode

2215   const ExplodedNode *AllocationNode = N;
2243     // AllocationNode is the last node in which the symbol was tracked.
2244     AllocationNode = N;
2278     const ProgramPoint AllocPP = AllocationNode->getLocation();