1 int foo(int **a); foo(int ** a)2int foo(int **a) 3 { 4 return **a; 5 } 6 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 16 * 17 * check-output-excludes: load\\s 18 * check-output-contains: load\\. 19 */ 20