Home | History | Annotate | Download | only in Core

Lines Matching refs:evalStore

1552 ///  This method is used by evalStore and (soon) VisitDeclStmt, and others.
1592 /// evalStore - Handle the semantics of a store via an assignment.
1600 void ExprEngine::evalStore(ExplodedNodeSet &Dst, const Expr *AssignE,