db: don't print "failed to open" warnings...
[smatch.git] / validation / linear / missing-insn-size.c
blobfe588634cd2954724c4d8a431d3bdbeed8d12e74
1 int foo(int **a);
2 int foo(int **a)
4 return **a;
7 /*
8 * check-name: missing instruction's size
9 * check-description:
10 * sparse used to have a problem with *all*
11 * double dereferencing due to missing a
12 * call to examine_symbol_type(). The symptom
13 * here is that the inner deref had no type.
14 * check-command: test-linearize $file
15 * check-output-ignore
17 * check-output-excludes: load\\s
18 * check-output-contains: load\\.