Lines Matching defs:NodeEx
2250 const Expr *NodeEx,
2271 evalLoadCommon(Tmp, NodeEx, BoundEx, Pred, state,
2279 evalLoadCommon(Dst, NodeEx, BoundEx, *I, state, location, tag, LoadTy);
2285 evalLoadCommon(Dst, NodeEx, BoundEx, Pred, state, location, tag, LoadTy);
2289 const Expr *NodeEx,
2296 assert(NodeEx);
2300 evalLocation(Tmp, NodeEx, BoundEx, Pred, state, location, tag, true);
2320 Bldr.generateNode(NodeEx, *NI, state->BindExpr(BoundEx, LCtx, V), tag,
2326 const Stmt *NodeEx,
2353 Bldr.generateNode(NodeEx, Pred, state, &tag);
2357 NodeEx, BoundEx, *this);