← Back to branch summary

~ubuntu-branches/debian/sid/frama-c/sid

« back to all changes in this revision

Viewing changes to tests/slicing/ex_spec_interproc.c

  • Committer: Bazaar Package Importer
  • Author(s): Mehdi Dogguy
  • Date: 2009-06-03 08:19:25 UTC
  • Revision ID: james.westby@ubuntu.com-20090603081925-kihvxvt0wy3zc4ar
Tags: upstream-20081201.dfsg
Import upstream version 20081201.dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
tests/slicing/ex_spec_interproc.c
 
1
/* run.config
 
2
   EXECNOW: make -s tests/slicing/ex_spec_interproc.opt
 
3
   CMD: tests/slicing/ex_spec_interproc.opt
 
4
   OPT: -deps -journal-disable
 
5
*/
 
6
 
 
7
int X, Y;
 
8
 
 
9
int g (int u, int v, int w) {
 
10
  u++; v++; w++;
 
11
  X = u;
 
12
  Y = u+v;
 
13
  return w;
 
14
}
 
15
 
 
16
int Z;
 
17
 
 
18
int f (int a, int b, int c, int d, int e) {
 
19
  int r;
 
20
  a++; b++; c++; d++; e++;
 
21
  r = g (a, b, c);
 
22
  Z = g (r, d, e);
 
23
  return X;
 
24
}
 
25
 
 
26
int I, J, K, L, M;
 
27
 
 
28
int main (void) {
 
29
  int res;
 
30
  I = 0;
 
31
  J = 0;
 
32
  K = 0;
 
33
  L = 0;
 
34
  M = 0;
 
35
  res = f (I, J, K, L, M);
 
36
  return res;
 
37
}