share/libc/features.h · fd15ebb063b0b8a2ba35d7d28aa22a544250c18a · pub / frama-c · GitLab

Snippets Groups Projects

6 years ago
3b350317
[libc] avoid clang complains on unknown attributes when parsing libc · 3b350317
Virgile Prevosto authored 6 years ago
```
especially useful for frama-clang, but could come handy should a user want
to use clang as C pre-processor
```
3b350317

History
[libc] avoid clang complains on unknown attributes when parsing libc
Virgile Prevosto authored 6 years ago
```
especially useful for frama-clang, but could come handy should a user want
to use clang as C pre-processor
```