\brief Update input Varnodes to \b this CALL to reflect the formal input parameters The current input parameters must be locked and are presumably out of date with the current state of the CALL Varnodes. These existing input Varnodes must already be gathered in a list. Each Varnode is updated to reflect the parameters, which may involve truncating or extending. Any active trials and stack-pointer
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected