← Back to branch summary

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

« back to all changes in this revision

Viewing changes to tests/misc/any_int.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/any_int.c
 
1
/* run.config
 
2
   GCC:
 
3
   OPT: -memory-footprint 1 -val -deps -out -input  -main any_int -journal-disable
 
4
*/
 
5
int any_int() {
 
6
  volatile int y=0;
 
7
  int x=0;
 
8
 
 
9
  while(y) {y++;y++; if (y-1) x++; else x--;}
 
10
  return x;
 
11
}