-
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
degeneration2.i 449 B
/* The name of this file is probably historical, as Value no longer degenerates
on anything in it */
volatile v;
void main (int c,int d) {
void *A,*B,*C,*D, *E;
if (c) {A = (void*)&B;
B= (void*)&C;
C= (void*)&D;
D= (void*)&E;
};
A = (void*)(-(int)A);
while (c) {
A = (void*)*((int*)A);
}
int offset_uninit;
char T[10][10];
int x = (d<=10)?((d>=0)?d:0):0;
if (v) {
int vv = T[x][offset_uninit];
}
}