Lines Matching refs:NodeEx
1628 const Expr *NodeEx,
1650 evalLoadCommon(Tmp, NodeEx, BoundEx, Pred, state,
1658 evalLoadCommon(Dst, NodeEx, BoundEx, *I, state, location, tag, LoadTy);
1664 evalLoadCommon(Dst, NodeEx, BoundEx, Pred, state, location, tag, LoadTy);
1668 const Expr *NodeEx,
1675 assert(NodeEx);
1679 evalLocation(Tmp, NodeEx, BoundEx, Pred, state, location, tag, true);
1694 Bldr.generateNode(NodeEx, *NI,
1703 Bldr.generateNode(NodeEx, *NI,
1711 const Stmt *NodeEx,
1739 Bldr.generateNode(NodeEx, Pred, state, false, &etag);
1743 NodeEx, BoundEx, *this);