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
|
#if defined HAVE_CONFIG_H
# include "config.h"
#endif /* HAVE_CONFIG_H */
#include "strops.h"
#include "strops.c"
#include "token.h"
#include "token.c"
#include "date-core.h"
#include "date-core.c"
#include "dt-locale.h"
#include "dt-locale.c"
static unsigned int
super(void)
{
unsigned int res = 0;
for (int y = 1917; y < 2199; y++) {
for (int m = 1; m <= 12; m ++) {
for (int d = 1; d <= 28; d++) {
dt_dow_t w = __get_dom_wday(y, m, d);
res += y * m * (w == DT_SUNDAY ? 0 : w) + d;
}
}
}
return res;
}
int
main(void)
{
unsigned int supersum = 0;
for (size_t i = 0; i < 512; i++) {
supersum += super();
}
printf("super %u\n", supersum);
if (supersum != 1486417920U) {
return 1;
}
return 0;
}
/* basic_get_wday.c ends here */
|
