← Back to branch summary

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

« back to all changes in this revision

Viewing changes to tests/misc/miel.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/miel.c
 
1
/* run.config
 
2
   DONTRUN: cannot find entry point: main
 
3
*/
 
4
 
 
5
void g() { j();
 
6
}
 
7
 
 
8
void j() { j();}
 
9
 
 
10
void h() {
 
11
  j();
 
12
}
 
13
 
 
14
void h1() {
 
15
  j();
 
16
}
 
17
 
 
18
void h2() {
 
19
  j();
 
20
}
 
21
 
 
22
void h3() {
 
23
  j();
 
24
}
 
25
 
 
26
void h4() {
 
27
  j();
 
28
}
 
29
 
 
30
void h5() {
 
31
  j();
 
32
  p0();
 
33
}
 
34
 
 
35
void l1() {
 
36
  l2();
 
37
}
 
38
 
 
39
void l2() {
 
40
 
 
41
}
 
42
 
 
43
void r0() {
 
44
  l1 ();
 
45
}
 
46
void r1() {
 
47
  l1 ();
 
48
}
 
49
void r2() {
 
50
  l1 ();
 
51
}
 
52
void r3() {
 
53
  l1 ();
 
54
}
 
55
 
 
56
/*
 
57
void ldkfadl(void)
 
58
{
 
59
  p1();
 
60
}
 
61
*/
 
62
 
 
63
void p0() {
 
64
  //  p1 ();
 
65
}
 
66
void p1() {
 
67
  p2 ();
 
68
  p3 ();
 
69
  p0();
 
70
}
 
71
void p2() {
 
72
  p1 ();
 
73
  p3 ();
 
74
}
 
75
void p3() {
 
76
  p1 ();
 
77
  p2 ();
 
78
}
 
79
 
 
80
 
 
81
void g0() {
 
82
  g2 ();
 
83
}
 
84
void g1() {
 
85
  g2 ();
 
86
}
 
87
void g2() {
 
88
  g3 ();
 
89
}
 
90
void g3() {
 
91
  g4 ();
 
92
  g5 ();
 
93
}
 
94
void g4() {
 
95
  g6 ();  g3 ();
 
96
}
 
97
void g5() {
 
98
  g6 ();
 
99
}
 
100
void g6() {
 
101
 
 
102
}