rt_gccstream/gcc/testsuite/gcc.c-torture/compile/20080820-1.c

extern unsigned long volatile jiffies;
void do_timer(void)
{
  (*(unsigned long *)&jiffies)++;
}