validation/smatch_closet/sm_parsing_pointers.c

   1 #include <stdio.h>
   2 #include <stdlib.h>
   3
   4 struct foo {
   5         int a;
   6 };
   7
   8 int main (void)
   9 {
  10         int *a = malloc(sizeof(*a));
  11
  12         *(*(&a)) = 1;
  13         printf("%d\n", *a);
  14         **&a = 2;
  15         printf("%d\n", *a);
  16
  17         return 0;
  18 }
  19
  20 /*
  21  * smatch_helper.c does a crap job creating variable names...  It needs
  22  * to be fixed so that it could understand the above code.
  23  */