Bug List

Class bitc_exception_t

The string strategy works fine when we are doing whole-program compiles, but it does not generalize. It relies on the linker to perform cross-file string constang merging, which is not implemented by many (or even most) linkers. A better strategy would be to emit an uninitialized common symbol of (e.g.) type integer, which must be merged by the linker, and use the address of that symbol as the exception ID.

Global utf8_decode

This implementation accepts the IEEE application code plane, which was later decided to have been a mistake. It needs to do something sensible in that case, which almost certainly means raising an exception, but it does not currently do so.

Global utf8_encode

This implementation will gleefully encode code points that fall within the IEEE application code plane, which are non-conforming code points. In theory it should raise an exception in these cases. The BitC implementation should simply never permit such malformed code points to arise in a well-typed string in the first place.

---