blob: 2353b352df070a965c37af83daf24378331cff2e (
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
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
|
#!/bin/sh
set -eu
base="${TMPDIR-/tmp}/mcpu-cpp-fmacro-errors-$$"
trap 'rm -f "$base".*' EXIT HUP INT TERM
cat > "$base.dup.c" <<'EOT'
#define F(X, X) X
EOT
if "$MCPU_CPP" --no-config "$base.dup.c" -o "$base.out" 2>"$base.err"; then
echo "duplicate parameter name accepted" >&2
exit 1
fi
grep "duplicate argument name 'X'" "$base.err" >/dev/null
cat > "$base.few.c" <<'EOT'
#define F(X, Y) X + Y
F(1)
EOT
if "$MCPU_CPP" --no-config "$base.few.c" -o "$base.out" 2>"$base.err"; then
echo "too few macro arguments accepted" >&2
exit 1
fi
grep "used with too few arguments" "$base.err" >/dev/null
cat > "$base.many.c" <<'EOT'
#define F(X) X
F(1, 2)
EOT
if "$MCPU_CPP" --no-config "$base.many.c" -o "$base.out" 2>"$base.err"; then
echo "too many macro arguments accepted" >&2
exit 1
fi
grep "used with too many arguments" "$base.err" >/dev/null
cat > "$base.unterm.c" <<'EOT'
#define F(X) X
F(1
EOT
if "$MCPU_CPP" --no-config "$base.unterm.c" -o "$base.out" 2>"$base.err"; then
echo "unterminated macro call accepted" >&2
exit 1
fi
grep "unterminated argument list" "$base.err" >/dev/null
cat > "$base.concat-first.c" <<'EOT'
#define CAT(X, Y) ## X
EOT
if "$MCPU_CPP" --no-config "$base.concat-first.c" -o "$base.out" 2>"$base.err"; then
echo "leading ## in replacement list accepted" >&2
exit 1
fi
grep "'##' cannot appear at the beginning of a macro replacement list" "$base.err" >/dev/null
cat > "$base.concat-last.c" <<'EOT'
#define CAT(X, Y) Y ##
EOT
if "$MCPU_CPP" --no-config "$base.concat-last.c" -o "$base.out" 2>"$base.err"; then
echo "trailing ## in replacement list accepted" >&2
exit 1
fi
grep "'##' cannot appear at the end of a macro replacement list" "$base.err" >/dev/null
cat > "$base.sharp-name.c" <<'EOT'
#define S(X) #Y
EOT
if "$MCPU_CPP" --no-config "$base.sharp-name.c" -o "$base.out" 2>"$base.err"; then
echo "stringification of a non-parameter accepted" >&2
exit 1
fi
grep "'#' operator should be followed by a macro argument name" "$base.err" >/dev/null
cat > "$base.sharp-end.c" <<'EOT'
#define S(X) #
EOT
if "$MCPU_CPP" --no-config "$base.sharp-end.c" -o "$base.out" 2>"$base.err"; then
echo "unterminated stringification operator accepted" >&2
exit 1
fi
grep "'#' operator is not followed by a macro argument name" "$base.err" >/dev/null
cat > "$base.bracket.c" <<'EOT'
#define F(X) X
F(array[x = y, x + 1])
EOT
if "$MCPU_CPP" --no-config "$base.bracket.c" -o "$base.out" 2>"$base.err"; then
echo "comma in brackets incorrectly protected macro argument" >&2
exit 1
fi
grep "used with too many arguments" "$base.err" >/dev/null
|
