Newer
Older
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
extern int f(void);
extern int g(void);
int non_compliant_1() {
if (!f() & g() == 0) return 1; else return 0;
}
int non_compliant_2() {
int x = f();
int y = g();
if ((x++ == 0)| (y-- == 0)) return 1; else return 0;
}
int non_compliant_3() {
_Bool b = f();
_Bool c = g();
if (b ^ c) return 1; else return 0;
}
int compliant_1() {
if (!f() && g() == 0) return 1; else return 0;
}
int compliant_2() {
int x = f();
int y = g();
if (x++ == 0 || y-- == 0) return 1; else return 0;
}
int compliant_3 () {
_Bool b = f();
_Bool c = g();
if ((b || c) && !(b && c)) return 1; else return 0;
}
int compliant_4() {
_Bool b = f();
_Bool c = g();
// Parenthesized expression indicates that bitwise operand is intended.
if ((b ^ c)) return 1; else return 0;
}