validation/eval/premature-examination.c

   1 extern int i;
   2
   3 int foo(void)
   4 {
   5         return *i;
   6 }
   7
   8 int bar(void)
   9 {
  10         return i[0];
  11 }
  12
  13 int *qux(void)
  14 {
  15         return &i[0];
  16 }
  17
  18 /*
  19  * check-name: premature-examination
  20  * check-command: sparse -Wno-decl $file
  21  *
  22  * check-error-start
  23 eval/premature-examination.c:5:16: error: cannot dereference this type
  24 eval/premature-examination.c:10:17: error: cannot dereference this type
  25 eval/premature-examination.c:15:18: error: cannot dereference this type
  26  * check-error-end
  27  */