Filip Strömbäck
Filip Strömbäck
I have been compiling MPS on Linux using GCC 11.4 for a while. Around version 11 (I'm unsure exactly when), the following warning started appearing: ``` In file included from...
The expression `sizeof('\0')` evaluates to `sizeof(int)`, which does not reflect the intent in the code. It has been replaced with `1 /* NUL */` for clarity. This issue was originally...
Hi! I am maintaining the Debian package storm-lang (for the language [Storm](https://storm-lang.org/)) that uses MPS. I just received a bug report related to code in the MPS. In particular, the...
A user of [Storm](https://storm-lang.org/) reported a crash triggered by the assertion below in `code/protix.c` (line 75 currently): ```c AVER(AddrOffset(base, limit)
Note that it does not currently compile on recent GCC versions due to issue #302. As mentioned in #306, I leave it up to you whether or not to include...