• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 typedef unsigned int uint;
2 typedef unsigned long ulong;
3 
int_2_iptr(int a)4 static int * int_2_iptr(int a) { return (int *)a; }
uint_2_iptr(uint a)5 static int * uint_2_iptr(uint a) { return (int *)a; }
6 
int_2_vptr(int a)7 static void * int_2_vptr(int a) { return (void *)a; }
uint_2_vptr(uint a)8 static void * uint_2_vptr(uint a) { return (void *)a; }
9 
10 /*
11  * check-name: cast-weirds
12  * check-command: sparse -m64 $file
13  * check-assert: sizeof(void *) == 8
14  *
15  * check-error-start
16 cast-weirds.c:4:48: warning: non size-preserving integer to pointer cast
17 cast-weirds.c:5:50: warning: non size-preserving integer to pointer cast
18  * check-error-end
19  */
20