1 int foo(int **a);
   2 int 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  */