11 testBackPatchLabel(void)
13 volatile unsigned char c0
= 0, c1
= 1;
16 if ( (c0
== 0)) r
= 1; else r
= 0; ASSERT(r
== 1);
17 if ( !(c0
== 0)) r
= 1; else r
= 0; ASSERT(r
== 0);
18 if ( !!(c0
== 0)) r
= 1; else r
= 0; ASSERT(r
== 1);
19 if ( !!!(c0
== 0)) r
= 1; else r
= 0; ASSERT(r
== 0);
20 if ( !!!!(c0
== 0)) r
= 1; else r
= 0; ASSERT(r
== 1);
21 if (!!!!!(c0
== 0)) r
= 1; else r
= 0; ASSERT(r
== 0);
23 if ( ((c0
== 0) && (c1
== 1))) r
= 1; else r
= 0; ASSERT(r
== 1);
24 if ( !((c0
== 0) && (c1
== 1))) r
= 1; else r
= 0; ASSERT(r
== 0);
25 if ( !!((c0
== 0) && (c1
== 1))) r
= 1; else r
= 0; ASSERT(r
== 1);
27 if ( ( (c0
== 0) && (c1
== 1))) r
= 1; else r
= 0; ASSERT(r
== 1);
28 if ( !( !(c0
== 1) && !(c1
== 0))) r
= 1; else r
= 0; ASSERT(r
== 0);
29 if ( !!(!!(c0
== 0) && !!(c1
== 1))) r
= 1; else r
= 0; ASSERT(r
== 1);