I stumbled upon https://issues.dlang.org/show_bug.cgi?id=12685

In essence:

ubyte[256] data;
foreach (ubyte i, x; data) {}

Error: index type 'ubyte' cannot cover index range 0..256

`ubyte` can clearly hold a value from 0 to 255 so it should be ok. No need for 256 ?!

So I decided to fix it https://github.com/dlang/dmd/pull/6973

Unfortunately when you think about how foreach is lowered it makes sense - but the error message is misleading.

The previous code is lowered to:

ubyte[256] data;
for (ubyte i = 0 ; i < 256 ; ++i) {
  ubyte x = data[i]
}

`i < 256` is always true, this would loop forever.

Questions:
- What would be a better error message?
- How about a different lowering in this case?

From the programmer's point of view the original code makes sense.
A correct lowering would be:

ubyte[256] data;
for(ubyte i = 0;;++i) {
   ubyte x = data[i];
   ...
   if(i==255) break;
}

Reply via email to