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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
|
#!/bin/sh
set -eu
temp=$(mktemp -d)
trap 'rm -r "${temp}"' EXIT
exec 3>>"${temp}/run.c"
cat >&3 <<EOF
#include <assert.h>
#include <ctype.h>
#include <errno.h>
#include <inttypes.h>
#include <limits.h>
#include <locale.h>
#include <math.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>
#include <wchar.h>
#include <wctype.h>
#include <fcntl.h>
#include <strings.h>
#include <unistd.h>
EOF
expr=
type=
while getopts 'e:i:t' opt; do
case "${opt}" in
(e) expr=$OPTARG;;
(i) echo "#include <${OPTARG}>" >&3;;
(t) type=1;;
(?) exit 1;;
esac
done
shift $((OPTIND - 1))
cat >&3 <<EOF
int main(int argc, char *argv[]) {
(void)argc;
(void)argv;
$*;
EOF
if [ -n "${type}" ]; then
cat >&3 <<EOF
printf(
_Generic(
${expr},
char: "(char) ",
char *: "(char *) ",
const char *: "(const char *) ",
wchar_t *: "(wchar_t *) ",
const wchar_t *: "(const wchar_t *) ",
signed char: "(signed char) ",
short: "(short) ",
int: "(int) ",
long: "(long) ",
long long: "(long long) ",
unsigned char: "(unsigned char) ",
unsigned short: "(unsigned short) ",
unsigned int: "(unsigned int) ",
unsigned long: "(unsigned long) ",
unsigned long long: "(unsigned long long) ",
float: "(float) ",
double: "(double) ",
long double: "(long double) ",
default: "(void *) "
)
);
EOF
fi
if [ -n "${expr}" ]; then
cat >&3 <<EOF
printf(
_Generic(
${expr},
char: "%c\n",
char *: "%s\n",
const char *: "%s\n",
wchar_t *: "%ls\n",
const wchar_t *: "%ls\n",
signed char: "%hhd\n",
short: "%hd\n",
int: "%d\n",
long: "%ld\n",
long long: "%lld\n",
unsigned char: "%hhu\n",
unsigned short: "%hu\n",
unsigned int: "%u\n",
unsigned long: "%lu\n",
unsigned long long: "%llu\n",
float: "%g\n",
double: "%g\n",
long double: "%Lg\n",
default: "%p\n"
),
${expr}
);
EOF
fi
if [ $# -eq 0 -a -z "${expr}" ]; then
cat >&3
fi
echo '}' >&3
cat >"${temp}/Makefile" <<EOF
CFLAGS += -Wall -Wextra -Wpedantic
EOF
make -s -C "${temp}" run
"${temp}/run"
|