checkedc icon indicating copy to clipboard operation
checkedc copied to clipboard

Constant sized ranges (needed for Linux isSpace)

Open AnnaKornfeldSimpson opened this issue 7 years ago • 0 comments

Linux's isSpace function does a ** (double-pointer dereference) into the middle of an array, which we can't make a bounds-safe interface for. We know bounds for the inner array type but not the outer one. @dtarditi said that this could be solved with constant-sized ranges.

AnnaKornfeldSimpson avatar Aug 02 '18 18:08 AnnaKornfeldSimpson