New test

2 files changed, 67 insertions, 0 deletions

diff --git a/tests/nfarg.at b/tests/nfarg.at
new file mode 100644
index 0000000..e5f0d9f
--- /dev/null
+++ b/tests/nfarg.at
@@ -0,0 +1,36 @@
+# This file is part of GNU cflow testsuite. -*- Autotest -*-
+# Copyright (C) 2005 Sergey Poznyakoff
+#
+# This program is free software; you can redistribute it and/or
+# modify it under the terms of the GNU General Public License as
+# published by the Free Software Foundation; either version 2, or (at
+# your option) any later version.
+#
+# This program is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+# 02110-1301 USA.
+
+# Test for correct handling of nameless function arguments
+# These consitute an error in C. cflow-1.0 coredumped on them.
+# References: <200511031133.jA3BXgB04525@tamacom.com>
+
+# FIXME: Possibly it would be better to flag an error in such case, but
+# cflow is not supposed to be a substitute for cc or lint.
+
+AT_SETUP([Nameless function arguments])
+AT_KEYWORDS([nfarg function arguments])
+
+CFLOW_CHECK([
+int main(int ())
+{
+}
+],
+[main() <int main (int ()) at prog:2>])
+
+AT_CLEANUP
diff --git a/tests/nfparg.at b/tests/nfparg.at
new file mode 100644
index 0000000..e7aee1f
--- /dev/null
+++ b/tests/nfparg.at
@@ -0,0 +1,31 @@
+# This file is part of GNU cflow testsuite. -*- Autotest -*-
+# Copyright (C) 2005 Sergey Poznyakoff
+#
+# This program is free software; you can redistribute it and/or
+# modify it under the terms of the GNU General Public License as
+# published by the Free Software Foundation; either version 2, or (at
+# your option) any later version.
+#
+# This program is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+# 02110-1301 USA.
+
+# Test for correct handling of the nameless function pointer arguments
+
+AT_SETUP([Nameless function pointer arguments])
+AT_KEYWORDS([nfp nfparg function pointer arguments])
+
+CFLOW_CHECK([
+int main(int (*) ())
+{
+}
+],
+[main() <int main (int (*)()) at prog:2>])
+
+AT_CLEANUP