Home | History | Annotate | Download | only in Analysis

Lines Matching refs:getKind

79         assert(getKind() == k);
103 return ProgramPoint(getData1(), getData2(), getKind(),
107 Kind getKind() const {
146 ID.AddInteger((unsigned) getKind());
176 return Location->getKind() == BlockEntranceKind;
194 return Location->getKind() == BlockExitKind;
210 unsigned k = Location->getKind();
225 return Location->getKind() == PreStmtKind;
245 unsigned k = Location->getKind();
258 return Location->getKind() == PostConditionKind;
269 unsigned k = location->getKind();
281 return location->getKind() == PreLoadKind;
292 return location->getKind() == PreStoreKind;
303 return Location->getKind() == PostLoadKind;
321 return Location->getKind() == PostStoreKind;
339 return Location->getKind() == PostLValueKind;
350 return Location->getKind() == PostPurgeDeadSymbolsKind;
371 return Location->getKind() == BlockEdgeKind;
382 return Location->getKind() == PostInitializerKind;
401 return Location->getKind() == CallEnterKind;
412 return Location->getKind() == CallExitKind;
427 return Location->getKind() == EpsilonKind;