Searched refs:LocalLoc (Results 1 – 2 of 2) sorted by relevance
293 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location); variable299 node = NB.generateSink(LocalLoc, State, P);301 node = NB.generateNode(LocalLoc, State, P);
348 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location); variable349 return NodeBuilder::generateNode(LocalLoc, State, Pred);354 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location); variable355 ExplodedNode *N = NodeBuilder::generateSink(LocalLoc, State, Pred);