blob: 6887100a8e3b28b4406073abf17b630a031c604b (
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
|
/*
bug 2435941
*/
#include <testfwk.h>
#include <stdint.h>
uint32_t sleep_timer_get(void)
{
return 0x12345678;
}
int32_t remaining;
uint32_t updated;
uint32_t now;
// no need to call this, it generates compiler error:
// error 9: FATAL Compiler Internal Error
static void
do_test (void) __reentrant
{
while (1)
{
now = sleep_timer_get();
remaining -= (now - updated) & 0xFF;
updated = now;
}
}
void
testBug (void)
{
ASSERT(1);
}
|