sampsyo / quala

custom type systems for Clang
MIT License
96 stars 7 forks source link

(Optionally) skip checking system headers #3

Closed sampsyo closed 10 years ago

sampsyo commented 10 years ago

In type systems like nullness, where annotations are implicit in some cases, we need to skip checking/warning on standard-library headers.