smatch_data/kernel.unreachable.ignore: add BUG(), WARN_ON() and others
[smatch.git] / validation / plain-char-compatibility.c
blobcdfe1a31574f4ff13e2de4481ecf856eacccca7e
1 static int sfoo(void)
3 return __builtin_types_compatible_p(char, signed char);
6 static int ufoo(void)
8 return __builtin_types_compatible_p(char, unsigned char);
12 * check-name: plain-char-compatibility
13 * check-command: test-linearize $file
14 * check-known-to-fail
16 * check-output-ignore
17 * check-output-pattern(2): ret.*\\$0
18 * check-output-excludes: ret.*\\$1