conditions: use set_extra_expr_mod() to change extra states
[smatch.git] / validation / preprocessor / preprocessor16.c
blob75a4a0be5fd905baa12b129521f1632b9bfb9b5b
1 #if 0
2 /*
3 From 6.10.1(5):
4 Each directive's condition is checked in order. If it evaluates
5 to false (zero), the group it controls is skipped: directives are
6 processed only through the name that determines the directive in
7 order to keep track of the level of nested conditionals; the rest
8 of the directives' preprocessing tokens are ignores, >>as are the
9 other preprocessing tokens in the group<<.
11 In other words, bogus arguments of directives are silently ignored and
12 so are text lines and non-directives (# <something unknown>). We *do*
13 complain about the things like double #else or #elif after #else, since
14 they hit before we get to the level of groups.
17 #define 1
18 #undef 1
19 #bullshit
21 #endif
23 * check-name: Preprocessor #16
24 * check-command: sparse -E $file
26 * check-output-start
29 * check-output-end