← Back to branch summary

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

« back to all changes in this revision

Viewing changes to tests/misc/call_simple.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/misc/call_simple.c
 
1
int X,c,u,v,w,G;
 
2
 
 
3
void f(int* a,int b,int c) {
 
4
  int *i=a;
 
5
  *i = 0;
 
6
  a = 0;
 
7
  X = a+b+c;
 
8
}
 
9
 
 
10
int main (int ll) {
 
11
  u = 3;
 
12
  v = G;
 
13
  w = 17;
 
14
  f(&u,v,w);
 
15
  c = ll++;
 
16
  return 0;
 
17
}