← Back to branch summary

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

« back to all changes in this revision

Viewing changes to tests/misc/unroll_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/unroll_simple.c
 
1
void main (int c) {
 
2
  int G=0,i=4;
 
3
  int MAX = 12;
 
4
  int JMAX=5;
 
5
  int j=3;
 
6
 
 
7
//@ loop pragma UNROLL_LOOP 128;
 
8
  do {
 
9
    G += i;
 
10
    i++;
 
11
    j--;
 
12
    }
 
13
  while (i<=256 || j>=0);
 
14
 
 
15
//@ loop pragma UNROLL_LOOP 10;
 
16
 do
 
17
    { if(c) continue;
 
18
 
 
19
    if(c--) goto L;
 
20
    c++;
 
21
  L: c++;
 
22
      }
 
23
  while(c);
 
24
}