{
consume_some_resources ();
random_init (seed);
- int *PHYS_BASE = (int *)0xC0000000;
+ volatile int *PHYS_BASE = (volatile int *)0xC0000000;
switch (random_ulong () % 5)
{
case 0:
- *(int *) NULL = 42;
+ *(volatile int *) NULL = 42;
case 1:
- return *(int *) NULL;
+ return *(volatile int *) NULL;
case 2:
return *PHYS_BASE;