\brief Decide whether a given storage location could be a return value If the output is locked, check if the location matches the current return value. Otherwise, check if the location \e could be a return value based on the prototype model. \param addr is the starting address of the given storage location \param size is the number of bytes in the storage \return \b false if the location is defin
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected