\param spc is the address space of the range \param first is the offset of the first byte in the range \param last is the offset of the last byte in the range
source not stored for this graph (policy: none)
no test coverage detected