\brief Update output Varnode to \b this CALL to reflect the formal return value The current return value must be locked and is presumably out of date with the current CALL output. Unless the return value is \e void, the output Varnode must exist and must be provided. The Varnode is updated to reflect the return value, which may involve truncating or extending. Any active trials are updated, and t
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected