<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">This is an excellent idea, but I don't think putting this logic in GRSimpleVals is the right place.  This is really a property of the particular implementation of Store, since that handles the abstraction of "memory".  Specifically, this logic seems tied to BasicStore and BasicStoreManager respectively.<br>

<br>
I think the most logical place would be to put it in BasicStoreManager's implementation of "getInitialStore()".  We can either pass LiveVariables& to getInitialStore(), or pass GRStateManager& to getInitialStore() (and migrate the LiveVariables& instance variable from GRExprEngine to GRStateManager).<br>
<font color="#888888">
<br>
Ted<br>
</font></blockquote></div><br>Done.<br><br>This patch extends BasicStoreManager::getInitialStore() to include code that symbolicates input variables.<br>
It has two simplifications from the original code:<br>
1. Local variables are not handled, since they are handled in GRExprEngine::VisitDeclStmt().<br>
2. Removes redundant handle of ImplicitParamDecl, since it is a subclass of VarDecl. <br></div>