Hacker News Reader

For these tools, you won’t notice.

What modifications are needed to run through Fil-C, if any? It looks like you forked some of the software to run through Fil-C. Are you subsetting the language, or do those libraries/applications run into some "benign" UB under normal operation that is caught by Fil-C?

> What modifications are needed to run through Fil-C, if any?

Most likely none.

The most likely bugs you'll encounter are due to Fil-C using musl, not glibc (that always leads to some incompatibilities for GNU code).

> Are you subsetting the language

No.

> or do those libraries/applications run into some "benign" UB under normal operation that is caught by Fil-C?

Sometimes, but rarely.

Super interesting. Tempting to hook it up with conan to build our dependencies and set it up with our unit tests at least. If incompatibilities are mostly due to the libc then I don't think any of our C++ dependencies would care.

Reply on news.ycombinator.com