Home | History | Annotate | Download | only in Core

Lines Matching refs:EB

1380   EdgeBuilder EB(PD, PDB);
1412         EB.addEdge(C->callReturn, true);
1413         EB.flushLocations();
1428         EB.addEdge(pos);
1432         EB.flushLocations();
1452         EB.addContext(C->getLocation());
1496           EB.addEdge(p->getLocation(), true);
1502             EB.addEdge(BL);
1523             EB.addEdge(PE->getLocation(), true);
1529           EB.addContext(Term);
1541             EB.addContext(stmt);
1544             EB.addExtendedContext(PDB.getEnclosingStmtLocation(stmt).asStmt());
1563         EB.addEdge(Loc, true);
1568           EB.addExtendedContext(PDB.getEnclosingStmtLocation(S).asStmt());