← Back to branch summary

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

« back to all changes in this revision

Viewing changes to tests/sparecode/se.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/sparecode/se.c
 
1
/* run.config
 
2
   OPT: -sparecode-analysis -lib-entry -main Se -journal-disable
 
3
*/
 
4
int glob;
 
5
 
 
6
void Se(int e1, int e2, int *es, int *s1, int tab[])
 
7
{
 
8
    *s1=0;
 
9
    glob=10;
 
10
 
 
11
    if (e1==0) *s1=1;
 
12
    else tab[e1]=5;
 
13
 
 
14
    if (*es==1) *es=0;
 
15
}