Lines Matching defs:MakeNode
481 const ExplodedNode *node = MakeNode(Dst, S, Pred, Pred->getState());
523 MakeNode(Dst, S, Pred, state);
540 MakeNode(Dst, S, Pred, state->BindExpr(S, val));
610 MakeNode(Dst, B, Pred, state->BindExpr(B, state->getSVal(B->getRHS())));
751 MakeNode(Dst, S, Pred, Pred->getState());
781 MakeNode(Dst, SE, Pred, state->BindExpr(SE, state->getSVal(LastExpr)));
792 MakeNode(Dst, S, Pred, state->BindExpr(S, V));
833 ExplodedNode *ExprEngine::MakeNode(ExplodedNodeSet &Dst, const Stmt *S,
840 return Builder->MakeNode(Dst, S, Pred, St, K);
1204 MakeNode(Dst, Ex, Pred, state->BindExpr(Ex, V),
1211 MakeNode(Dst, Ex, Pred, state->BindExpr(Ex, V));
1216 MakeNode(Dst, Ex, Pred, state->BindExpr(Ex, V),
1242 MakeNode(Dst, A, *it, state->BindExpr(A, V), ProgramPoint::PostLValueKind);
1270 MakeNode(Dst, M, Pred, state->BindExpr(M, UnknownVal()));
1281 MakeNode(Dst, M, Pred, state->BindExpr(M, L), ProgramPoint::PostLValueKind);
1311 MakeNode(Dst, StoreE, *I, state);
1420 MakeNode(Dst, Ex, *NI, state->BindExpr(Ex, UnknownVal()),
1427 MakeNode(Dst, Ex, *NI, state->bindExprAndLocation(Ex, location, V),
1639 MakeNode(Dst, A, Pred, state);
