new smatch

*** 1,11 ****
! typedef int (*fn_t)(int x, int y);
  
! static int run(fn_t fn, int x, int y)
  {
!         return fn(x, y);
  }
  
  /*
   * check-name: Function pointer code generation
   * check-command: sparsec -c $file -o tmp.o
   */
--- 1,153 ----
! extern int ival;
! extern int *ipval;
! extern int array[3];
! extern int matrix[3][3];
! extern int fun(int);
  
! // via an argument
! void arg(int a, int *p, int (*fb)(unsigned char), int (*fi)(int), int (*fl)(long), int (*fv)(void), int (*fip)(int *), int (*fim)(int (*)[3]), int (*fvp)(void *), int (*ffp)(int (*)(int)));
! void arg(int a, int *p, int (*fb)(unsigned char), int (*fi)(int), int (*fl)(long), int (*fv)(void), int (*fip)(int *), int (*fim)(int (*)[3]), int (*fvp)(void *), int (*ffp)(int (*)(int)))
  {
!         fv();
! 
!         fb(a);
!         fi(a);
!         fl(a);
!         fb(123);
!         fi(123);
!         fl(123);
!         fb(123L);
!         fi(123L);
!         fl(123L);
!         fb(ival);
!         fi(ival);
!         fl(ival);
! 
!         fip(p);
!         fip((void*)0);
!         fip(ipval);
!         fip(&ival);
!         fip(array);
!         fim(matrix);
! 
!         fvp(p);
!         fvp((void*)0);
!         fvp(ipval);
!         fvp(&ival);
!         fvp(array);
!         fvp(matrix);
! 
!         fvp(fun);
!         fvp(&fun);
!         ffp(fun);
!         ffp(&fun);
  }
  
+ // a global
+ extern int (*fb)(unsigned char);
+ extern int (*fi)(int);
+ extern int (*fl)(long);
+ extern int (*fv)(void);
+ extern int (*fip)(int *);
+ extern int (*fim)(int (*)[3]);
+ extern int (*fvp)(void *);
+ extern int (*ffp)(int (*)(int));
+ 
+ void glb(int a, int *p);
+ void glb(int a, int *p)
+ {
+         fv();
+ 
+         fb(a);
+         fi(a);
+         fl(a);
+         fb(123);
+         fi(123);
+         fl(123);
+         fb(123L);
+         fi(123L);
+         fl(123L);
+         fb(ival);
+         fi(ival);
+         fl(ival);
+ 
+         fip(p);
+         fip((void*)0);
+         fip(ipval);
+         fip(&ival);
+         fip(array);
+         fim(matrix);
+ 
+         fvp(p);
+         fvp((void*)0);
+         fvp(ipval);
+         fvp(&ival);
+         fvp(array);
+         fvp(matrix);
+ 
+         fvp(fun);
+         fvp(&fun);
+         ffp(fun);
+         ffp(&fun);
+ }
+ 
+ // via a struct member:
+ // -> force to create a register containing the function pointer
+ struct ops {
+         int (*fb)(unsigned char);
+         int (*fi)(int);
+         int (*fl)(long);
+         int (*fv)(void);
+         int (*fip)(int *);
+         int (*fim)(int (*)[3]);
+         int (*fvp)(void *);
+         int (*ffp)(int (*)(int));
+ 
+         int (*const cfi)(int);          // for the fun of it
+ };
+ 
+ void ops(int a, int *p, struct ops *ops);
+ void ops(int a, int *p, struct ops *ops)
+ {
+         ops->fv();
+ 
+         ops->fb(a);
+         ops->fi(a);
+         ops->fl(a);
+         ops->fb(123);
+         ops->fi(123);
+         ops->fl(123);
+         ops->fb(123L);
+         ops->fi(123L);
+         ops->fl(123L);
+         ops->fb(ival);
+         ops->fi(ival);
+         ops->fl(ival);
+ 
+         ops->fip(p);
+         ops->fip((void*)0);
+         ops->fip(ipval);
+         ops->fip(&ival);
+         ops->fip(array);
+         ops->fim(matrix);
+ 
+         ops->fvp(p);
+         ops->fvp((void*)0);
+         ops->fvp(ipval);
+         ops->fvp(&ival);
+         ops->fvp(array);
+         ops->fvp(matrix);
+ 
+         ops->fvp(fun);
+         ops->fvp(&fun);
+         ops->ffp(fun);
+         ops->ffp(&fun);
+         ops->fvp(fi);
+ 
+         ops->cfi(42);
+ }
+ 
  /*
   * check-name: Function pointer code generation
   * check-command: sparsec -c $file -o tmp.o
   */