File: bts335b.c

package info (click to toggle)
frama-c 20140301%2Bneon%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 19,548 kB
  • ctags: 28,183
  • sloc: ml: 181,252; ansic: 13,776; makefile: 2,452; sh: 1,085; lisp: 178
file content (24 lines) | stat: -rw-r--r-- 468 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
/* run.config
   OPT: -check -slice-return main -calldeps -slicing-level 3 -slicing-verbose 2 -journal-disable -then-on 'Slicing export' -print
*/

int X, Y;
int g(int c, int x, int y, int z) {
  X = z ;
  if (c == 1)
    X = x;
  if (c == 2)
    X = y;
  Y = X ;
  return X;
}
int f(int c, int x, int y, int z) {
  z++;
  return g(c,x,y,z);
}
int main(int v, int w, int a, int b, int i, int j) {
  int r = f(1, v, a, i) ;
  j++;
  r += g(2, w, b, j) ;
  return r ;
}