36 raise ValueError(
"length must be non-negative")
40 byte_vector = gdb.lookup_type(
"char").vector(length - 1)
41 ptr_byte_vector = byte_vector.pointer()
42 a_ptr = a.reinterpret_cast(ptr_byte_vector)
43 b_ptr = b.reinterpret_cast(ptr_byte_vector)
44 return a_ptr.dereference() == b_ptr.dereference()