Lines Matching full:makenode
64 MakeNode(Tmp2, B, *it, state);
69 MakeNode(Tmp2, B, *it, state);
168 MakeNode(Tmp, BE, Pred, Pred->getState()->BindExpr(BE, V),
225 MakeNode(Dst, CastE, Pred, state);
261 MakeNode(Dst, CastE, Pred, state);
271 MakeNode(Dst, CastE, Pred, state);
295 MakeNode(Dst, CastE, Pred, state);
314 MakeNode(Dst, CL, Pred, state->BindExpr(CL, state->getLValue(CL, LC)));
316 MakeNode(Dst, CL, Pred, state->BindExpr(CL, ILV));
369 MakeNode(Dst, DS, N, state->bindDeclWithNoInit(state->getRegion(VD, LC)));
392 MakeNode(Dst, B, Pred, state->BindExpr(B, X));
405 MakeNode(Dst, B, Pred,
409 MakeNode(Dst, B, Pred,
418 MakeNode(Dst, B, Pred, state->BindExpr(B, X));
437 MakeNode(Dst, IE, Pred, state->BindExpr(IE, V));
446 MakeNode(Dst, IE, Pred,
454 MakeNode(Dst, IE, Pred, state->BindExpr(IE, state->getSVal(initEx)));
475 MakeNode(Dst, Ex, Pred, state->BindExpr(Ex, X, true));
488 MakeNode(Dst, OOE, Pred, Pred->getState()->BindExpr(OOE, X));
528 MakeNode(Dst, Ex, Pred, state);
554 MakeNode(Dst, U, *I, state->BindExpr(U, state->getSVal(Ex)));
577 MakeNode(Dst, U, *I, state->BindExpr(U, X));
601 MakeNode(Dst, U, *I, state->BindExpr(U, state->getSVal(Ex)));
622 MakeNode(Dst, U, *I, state->BindExpr(U, V));
664 MakeNode(Dst, U, *I, state);
693 MakeNode(Dst, U, *I2, state->BindExpr(U, V2_untested));
