void other() {
i = Frama_C_float_interval(-133.0,142.0);
s = Frama_C_float_interval(-133.0,142.0);
r = 1 + t[(int)(i*i+2.0)];
z = (int)(10000.0 * (s - s));
zf = s - s;
s2 = s + s;
sq = s * s;
h = s * (1 - s);
rbits2 = access_bits(i);
x = Frama_C_interval(0,42);
y = (1 / x) * x;
}
//returning first valid physical address
char * create_phyadr(int shift, int offset_size, int size,char v_adr[size]){
if(v_adr < 1 || size < 1 || offset_size < 0){
return -1;
}
int shift_diff;
//shift = 12;
//int offset_size = 12; // 12 bit 3 byte example
char * first_addr;
if((first_addr = access_bits(offset_size,size,v_adr))==0){
return (-2);
}
shift_diff = shift - (size*4 - offset_size);
sprintf(first_addr, "%x",bit_shift(strtol(first_addr,NULL,16),shift_diff));
return first_addr;
}
