Nicolas Pauss
78942df284
cc: use '-x c*-header' for header files for C and C++ linters. ( #4318 )
...
When linting an header file in C or C++, `-x c-header` or
`-x c++-header` should be used instead of `-x c` or `-x c++`.
Using `-x c` or `-x c++` for headers files can lead to unused variables
and functions marked as static inlined as seen in #4096 .
Using `-x c-header` or `-x c++-header` solve these issues.
The list of file extensions that are considered as header files can be
configured with the variables `g:ale_c_cc_header_exts` and
`g:ale_cpp_cc_header_exts`.
2022-09-25 09:02:43 +09:00
..
2018-04-22 12:28:19 +01:00
2019-03-30 15:29:17 +09:00
2022-08-09 21:11:20 +09:00
2022-08-09 21:11:20 +09:00
2017-07-10 23:03:36 +01:00
2022-09-11 10:57:03 +09:00
2022-04-30 12:28:26 +09:00
2022-04-01 14:35:07 +01:00
2021-03-01 20:11:10 +00:00
2019-02-07 18:10:34 +00:00
2021-03-21 00:25:33 +00:00
2020-11-21 20:12:09 +00:00
2022-09-25 09:02:43 +09:00
2022-03-04 19:03:27 +00:00
2022-04-29 22:17:29 +09:00
2021-03-01 20:11:10 +00:00
2022-09-08 16:57:43 +09:00
2022-04-06 10:51:07 +09:00
2019-04-13 07:59:01 +02:00
2022-04-01 14:35:07 +01:00
2022-04-30 12:28:26 +09:00
2020-09-14 10:13:11 +07:00
2022-09-07 19:38:01 +09:00
2022-09-07 19:38:01 +09:00
2020-08-23 19:55:42 +01:00
2021-12-17 08:09:26 +09:00
2021-06-19 11:56:43 +01:00
2022-04-01 14:35:07 +01:00
2022-08-23 20:22:52 +09:00
2021-05-27 22:03:46 +01:00
2021-03-01 20:11:10 +00:00
2021-12-09 23:21:39 +09:00
2018-05-28 19:19:20 +01:00
2022-08-18 06:34:34 +09:00
2019-06-03 20:30:18 +01:00
2022-07-26 17:56:12 +09:00
2018-09-08 16:05:34 -04:00
2022-05-13 18:00:19 +01:00
2022-02-04 17:56:48 +00:00
2019-05-17 22:08:03 +01:00
2022-09-11 10:51:27 +09:00
2019-10-18 16:22:17 +01:00
2022-04-30 12:28:26 +09:00
2021-03-01 20:11:10 +00:00
2021-05-26 22:43:33 +01:00
2022-02-08 20:07:39 +09:00
2018-10-29 18:28:28 +00:00
2022-03-04 19:03:27 +00:00
2018-07-17 00:18:34 +01:00
2019-04-13 12:24:56 +01:00
2021-06-29 11:53:11 +01:00
2022-05-15 12:20:16 +09:00
2021-07-20 10:02:23 +09:00
2022-03-04 19:03:27 +00:00
2022-02-08 20:07:39 +09:00
2019-08-13 01:52:13 -04:00
2019-04-07 14:58:06 +01:00
2021-07-21 18:25:41 +09:00
2021-01-26 20:43:17 +00:00
2019-02-06 18:05:13 +00:00
2021-04-07 19:34:34 +09:00
2022-03-04 19:03:27 +00:00
2022-04-01 13:17:15 +01:00
2022-09-07 19:38:01 +09:00
2022-03-04 19:03:27 +00:00
2022-04-01 14:35:07 +01:00
2022-09-07 19:38:01 +09:00