Make sure that a span buffer is valid. Performs the following checks: - Make sure there are no zero-length spans - Make sure there are no negative-length spans - Make sure there are no overlapping spans - Make sure all span pointers are valid (otherwise GPF's)
source not stored for this graph (policy: none)
no test coverage detected