blob: 2383c671c79d2be3cfe0d0d99d3c4c2a1c904bb2 (
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
|
/*
bug-3166.c
Due to a check in SDCCval.c using double instead of long long (thus losing precision, 0x8000000000000000 was given the type of signed long long instead of unsigned long long.
*/
#include <testfwk.h>
#include <limits.h>
#define IS_ULL(x) _Generic((x), unsigned long long: 1, default: 0)
#define IS_UL(x) _Generic((x), unsigned long: 1, default: 0)
void testBug(void)
{
#if (LLONG_MAX <= 0x7fffffffffffffffLL)
ASSERT( IS_ULL(0x8000000000000000ll)); // Bug triggered here.
ASSERT(!IS_ULL(0x7fffffffffffffffll));
#endif
ASSERT(!IS_ULL(0x0000000080000000ll));
#if (LONG_MAX <= 0x7fffffffL)
ASSERT( IS_UL(0x80000000l));
ASSERT(!IS_UL(0x7fffffffl));
#endif
ASSERT(!IS_UL(0x00008000l));
}
|
