blob: a63c88bc575a514ff4d671e5bd2f13e2d5e308a9 (
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
/* bug-3560.c
A bug caused by an over-eager loop optimization.
*/
#include <testfwk.h>
#pragma disable_warning 85
#include <stdint.h>
typedef enum { haut, bas, gauche, droite, entree} touche;
uint8_t key;
volatile uint8_t Control_1;
volatile uint8_t next;
void depl(uint16_t touche, uint8_t* end_piece)
{
ASSERT (!*end_piece);
*end_piece = 1;
Control_1 = (key >> 1);
}
uint8_t possible (uint8_t * pce)
{
return key;
}
void mygame()
{
uint8_t end_piece;
uint8_t end_game=0;
while(! end_game)
{
do
{
end_piece = 0;
key = Control_1;
if (!(key & 0b00000010))
depl(bas, &end_piece);
else if (!(key & 0b00001000))
depl(droite, &end_piece);
else if (!(key & 0b00000100))
depl(gauche, &end_piece);
}
while(!end_piece);
end_game= (!possible(&next));
}
}
void
testBug(void)
{
Control_1 = 0b00000111;
mygame();
}
|
