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);