checkedc
checkedc copied to clipboard
Constant sized ranges (needed for Linux isSpace)
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.