5 ms·
> but they can't catch all the places where the abstraction leaks. Why does static analysis not work here?
by fooker 8y ago
> but they can't catch all the places where the abstraction leaks.
Why does static analysis not work here?
- deleted 8y ago[deleted]
- kllrnohj 8y agoIt does, it's just a warning and not an error. And also experimental. But it does exist, and does catch some of these errors. Example: https://godbolt.org/z/CZTfSx https://godbolt.org/z/CZTfSx
- humanrebar 8y agoI'd rather run diagnostics as a separate CI pass, so warnings work for me perfectly.