\param loc is the starting address of the given range \param size is the number of bytes in the range \param res will hold the output storage description being passed back \return \b true if there is at least one possible output contained in the range
source not stored for this graph (policy: none)
no test coverage detected