pebble/sstable/block.go

Lines 660 to 668 in 043c379

    
           // Define f(-1) == false and f(n) == true. 
        
           // Invariant: f(index-1) == false, f(upper) == true. 
        
           upper := i.numRestarts 
        
           for index < upper { 
        
           	h := int32(uint(index+upper) >> 1) // avoid overflow when computing h 
        
           	// index ≤ h < upper 
        
           	offset := decodeRestart(i.data[i.restarts+4*h:]) 
        
           	// For a restart point, there are 0 bytes shared with the previous key. 
        
           	// The varint encoding of 0 occupies 1 byte.

	// Define f(-1) == false and f(n) == true.
	// Invariant: f(index-1) == false, f(upper) == true.
	upper := i.numRestarts
	for index < upper {
	h := int32(uint(index+upper) >> 1) // avoid overflow when computing h
	// index ≤ h < upper
	offset := decodeRestart(i.data[i.restarts+4*h:])
	// For a restart point, there are 0 bytes shared with the previous key.
	// The varint encoding of 0 occupies 1 byte.

panic: slice bounds out of range #3333

Description

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions