summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAkim Demaille <akim@lrde.epita.fr>2012-10-03 09:17:58 +0200
committerAkim Demaille <akim@lrde.epita.fr>2012-10-22 12:16:08 +0200
commitddbd0c40dc1c2399d2a0c961d8ecf07c8a698024 (patch)
tree907a36829c667ace5ae0bab5478c5868a9b36a48
parentc473e022d9865ba35101de1b9045458f9be45057 (diff)
downloadbison-ddbd0c40dc1c2399d2a0c961d8ecf07c8a698024.tar.gz
tests: check that headers are self contained
Reported by Alexandre Duret-Lutz. * tests/headers.at (Several parsers): here.
-rw-r--r--THANKS2
-rw-r--r--tests/headers.at15
2 files changed, 15 insertions, 2 deletions
diff --git a/THANKS b/THANKS
index 95acb1e2..170b0569 100644
--- a/THANKS
+++ b/THANKS
@@ -5,7 +5,7 @@ Airy Andre Airy.Andre@edf.fr
Akim Demaille akim@freefriends.org
Albert Chin-A-Young china@thewrittenword.com
Alexander Belopolsky alexb@rentec.com
-Alexandre Duret-Lutz adl@src.lip6.fr
+Alexandre Duret-Lutz adl@lrde.epita.fr
Andreas Schwab schwab@suse.de
Andrew Suffield asuffield@users.sourceforge.net
Angelo Borsotti angelo.borsotti@gmail.com
diff --git a/tests/headers.at b/tests/headers.at
index 0524340e..91fdb950 100644
--- a/tests/headers.at
+++ b/tests/headers.at
@@ -127,7 +127,8 @@ AT_SETUP([Several parsers])
# AT_TEST([PREFIX], [DIRECTIVES])
# -------------------------------
# Generate and compile to *.o. Make sure there is no (allowed) YY*
-# nor yy* identifiers in the header.
+# nor yy* identifiers in the header. Check that headers are
+# self-contained, and can be compiled by a C++ compiler.
m4_pushdef([AT_TEST],
[AT_BISON_OPTION_PUSHDEFS([%define api.prefix "$1_" $2])
AT_DATA_GRAMMAR([$1.AT_SKEL_CC_IF([yy], [y])],
@@ -242,6 +243,18 @@ AT_TEST([x8], [%define api.pure %define api.push-pull both])
AT_COMPILE_CXX([parser], [[x[1-8].o -DCC_IS_CXX=$CC_IS_CXX main.cc]])
AT_CHECK([./parser], [0], [[expout]])
+# Check that the headers are self-contained, and protected against
+# multiple inclusions. While at it, check they are sane for C++.
+for h in *.h *.hh
+do
+ # No shell expansion with AT_DATA.
+ cat >$h.cc <<EOF
+#include "$h"
+#include "$h"
+EOF
+ AT_COMPILE_CXX([$h.o])
+done
+
m4_popdef([AT_TEST])
AT_CLEANUP