Function isSameMemory

escape_test.go:142–154

isSameMemory checks if two slices contain the same memory pointer (meaning one is a subslice of the other, with possibly differing lengths/capacities). Test helper for SYS-REQ-014.

(a, b []byte)

// subslice of the other, with possibly differing lengths/capacities).
// Test helper for SYS-REQ-014.
func isSameMemory(a, b []byte) bool {
	if cap(a) == 0 || cap(b) == 0 {
		return cap(a) == cap(b)
	} else if a, b = a[:1], b[:1]; a[0] != b[0] {
		return false
	} else {
		a[0]++
		same := (a[0] == b[0])
		a[0]--
		return same
	}

}

// Verifies: SYS-REQ-014 [malformed]
// MCDC SYS-REQ-014: N/A