blob: 7ab9db223f9a0983db2f4f7b1a7c356e95a4cda4 (
plain)
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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
/*
*/
#include <testfwk.h>
unsigned int aint0 = 0;
unsigned int aint1 = 0;
unsigned char achar0 = 0;
unsigned char achar1 = 0;
unsigned char call3 (void);
void
call1 (unsigned char uc0)
{
ASSERT (!(uc0));
}
void
call2 (unsigned int ui0)
{
ASSERT (!(ui0));
}
unsigned char
call3 (void)
{
ASSERT (!(achar0));
return 0;
}
unsigned int
call4 (void)
{
unsigned int i = 0;
if (aint0)
i++;
return (i);
}
unsigned int
call5 (unsigned int k)
{
ASSERT (!(k));
return (k);
}
void
testCall1 (void)
{
call1 (achar0);
call2 (aint0);
achar1 = call3 ();
aint1 = call4 ();
ASSERT (!(aint1));
aint1 = call5 (aint0);
ASSERT (!(aint1));
}
|
