1*c85f09ccSJohn Levon extern int *ip[]; 2*c85f09ccSJohn Levon 3*c85f09ccSJohn Levon void foo(void); foo(void)4*c85f09ccSJohn Levonvoid foo(void) 5*c85f09ccSJohn Levon { 6*c85f09ccSJohn Levon ip[0] = (void *)0L; 7*c85f09ccSJohn Levon ip[1] = (int *)0L; 8*c85f09ccSJohn Levon ip[2] = (void *)0; 9*c85f09ccSJohn Levon ip[3] = (int *)0; 10*c85f09ccSJohn Levon ip[4] = (void *)(long)0; 11*c85f09ccSJohn Levon ip[5] = (int *)(long)0; 12*c85f09ccSJohn Levon ip[6] = (void *)123; 13*c85f09ccSJohn Levon ip[7] = (int *)123; 14*c85f09ccSJohn Levon ip[8] = (void *)123L; 15*c85f09ccSJohn Levon ip[9] = (int *)123L; 16*c85f09ccSJohn Levon ip[10] = (void *)(long)123; 17*c85f09ccSJohn Levon ip[11] = (int *)(long)123; 18*c85f09ccSJohn Levon } 19*c85f09ccSJohn Levon 20*c85f09ccSJohn Levon /* 21*c85f09ccSJohn Levon * check-name: constant pointers 22*c85f09ccSJohn Levon * check-command: sparse-llvm $file 23*c85f09ccSJohn Levon * check-output-ignore 24*c85f09ccSJohn Levon */ 25