this was triggered by issue #2286 (closed). Since all modern C compilers should support no-return declarations, this is jet another step to make the properties of the generated C code more explicit.
this was triggered by issue #2286 (closed). Since all modern C compilers should support no-return declarations, this is jet another step to make the properties of the generated C code more explicit.