-
Virgile Prevosto authored
[Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
Virgile Prevosto authored[Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
garbled_init.c 140 B
#define BAR ((unsigned long)0xFFFFF000000)
int PTR;
unsigned long G = (unsigned long)&PTR - BAR;
void main () {
*((int*)(G+BAR)) = 1;
}