1 files changed, 89 insertions, 0 deletions
diff --git a/tests/t0021-function-macro-errors.sh b/tests/t0021-function-macro-errors.sh
new file mode 100755
index 0000000..2353b35
--- /dev/null
+++ b/tests/t0021-function-macro-errors.sh
@@ -0,0 +1,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