File: reduce_valid.i

package info (click to toggle)
frama-c 20161101%2Bsilicon%2Bdfsg-5
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 42,324 kB
  • ctags: 35,695
  • sloc: ml: 200,142; ansic: 31,465; makefile: 2,334; sh: 1,643; lisp: 259; python: 85; asm: 26
file content (27 lines) | stat: -rw-r--r-- 410 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
 
int t[2], u[2];
int *p,*q,*r, A, offs;

void main(int c, int d, int e, int f, int g, unsigned short h)
{


  p = c ? t : (void*)0;
  *p = 2;
  p[1] = 3;
  *p = 4;
  
  q = (void*)0;
  if (d)
    {
      Frama_C_show_each_ici(0);
      *q = 3;
      *q = 4;
      Frama_C_show_each_la(0);
    }
  
  r = e ? (f ? t : t+1) : (void*)0;
  offs = g ? 1 : 2;
  A = r[offs];
  Frama_C_show_each_r(r);
  u[h+1] = 1;
}