support/regression/tests/bug-3727.c


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

/* bug-3727.c
   ?
 */

#include <testfwk.h>

typedef unsigned char u8;

void VDP_Poke_16K( u8 dest );

int bad = 1;

u8 n1;

void fake (void)
{
    n1 = 32;
}

void SatUpdate(void)
{
    n1=0;

    if ( bad )
    {
        for (u8 j=0; j<1; j++)
        {
            fake();
        }
    }
    VDP_Poke_16K( 2*n1 );
}

void testBug(void)
{
    SatUpdate();
}


void VDP_Poke_16K( u8 dest )
{
#if 0 // Bug not yet fixed
    ASSERT(dest);
#else
    (void)dest;
#endif
}