blob: 0052324302d481ad4482ffb67a7c6316f1fcaf77 (
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
|
/*
bug-136564.c0
loop induction
*/
#include <testfwk.h>
void
testBackPatchLabel(void)
{
volatile unsigned char c0 = 0, c1 = 1;
unsigned char r;
if ( (c0 == 0)) r = 1; else r = 0; ASSERT(r == 1);
if ( !(c0 == 0)) r = 1; else r = 0; ASSERT(r == 0);
if ( !!(c0 == 0)) r = 1; else r = 0; ASSERT(r == 1);
if ( !!!(c0 == 0)) r = 1; else r = 0; ASSERT(r == 0);
if ( !!!!(c0 == 0)) r = 1; else r = 0; ASSERT(r == 1);
if (!!!!!(c0 == 0)) r = 1; else r = 0; ASSERT(r == 0);
if ( ((c0 == 0) && (c1 == 1))) r = 1; else r = 0; ASSERT(r == 1);
if ( !((c0 == 0) && (c1 == 1))) r = 1; else r = 0; ASSERT(r == 0);
if ( !!((c0 == 0) && (c1 == 1))) r = 1; else r = 0; ASSERT(r == 1);
if ( ( (c0 == 0) && (c1 == 1))) r = 1; else r = 0; ASSERT(r == 1);
if ( !( !(c0 == 1) && !(c1 == 0))) r = 1; else r = 0; ASSERT(r == 0);
if ( !!(!!(c0 == 0) && !!(c1 == 1))) r = 1; else r = 0; ASSERT(r == 1);
}
|
