\brief Does the given storage location make sense as a return value Within \b this model, decide if the storage location can be considered an output parameter. \param loc is the starting address of the storage location \param size is the number of bytes in the storage location \return \b true if the location can be a parameter
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected