support/regression/tests/scott-b.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45

/*
 */
#include <testfwk.h>

unsigned char uchar0=0;
unsigned char uchar1=0;
unsigned char uchar2=0;

void inc(unsigned char k)
{
  uchar0 = uchar0 + k;
}

void f1(void)
{

  uchar2++;
}

void nested_call(unsigned char u)
{

  f1();
  uchar1 = uchar1 + u;
  inc(uchar1);

}
  //  uchar1 = uchar1 + uchar0;
  //  uchar2 = uchar1 + k;

void 
testB(void)
{

  uchar0=1;
  inc(uchar0);
  ASSERT(uchar0 == 2);

  uchar0 = 2;
  uchar1 = 1;
  uchar2 = 1;
  nested_call(uchar2);

  ASSERT(uchar0 == 4);
}