From 9f6ef6bcaf5716524e0b97c9ae07cdb885858cf3 Mon Sep 17 00:00:00 2001
From: Neil Booth <neilb@earthling.net>
Date: Sun, 29 Oct 2000 17:43:57 +0000
Subject: [PATCH] defined.c, [...]: New tests.

	* gcc.dg/cpp/defined.c, include1.c, paste11.c, skipping.c:
	New tests.
	* gcc.dg/cpp/macsyntx.c: Move test to defined.c.
	* gcc.dg/cpp/mi3.c, mi3.h: New test for over-enthusiastic
	optimisation.

From-SVN: r37126
---
 gcc/testsuite/ChangeLog             |  8 ++++++++
 gcc/testsuite/gcc.dg/cpp/defined.c  | 27 +++++++++++++++++++++++++++
 gcc/testsuite/gcc.dg/cpp/include1.c | 13 +++++++++++++
 gcc/testsuite/gcc.dg/cpp/macsyntx.c |  1 -
 gcc/testsuite/gcc.dg/cpp/mi3.c      |  5 ++++-
 gcc/testsuite/gcc.dg/cpp/mi3.h      |  7 +++++++
 gcc/testsuite/gcc.dg/cpp/paste11.c  | 15 +++++++++++++++
 gcc/testsuite/gcc.dg/cpp/skipping.c | 20 ++++++++++++++++++++
 8 files changed, 94 insertions(+), 2 deletions(-)
 create mode 100644 gcc/testsuite/gcc.dg/cpp/defined.c
 create mode 100644 gcc/testsuite/gcc.dg/cpp/include1.c
 create mode 100644 gcc/testsuite/gcc.dg/cpp/mi3.h
 create mode 100644 gcc/testsuite/gcc.dg/cpp/paste11.c
 create mode 100644 gcc/testsuite/gcc.dg/cpp/skipping.c

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f6838e88a5b..f8bad74d9bc 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,11 @@
+2000-10-29  Neil Booth  <neilb@earthling.net>
+
+	* gcc.dg/cpp/defined.c, include1.c, paste11.c, skipping.c:
+	New tests.
+	* gcc.dg/cpp/macsyntx.c: Move test to defined.c.
+	* gcc.dg/cpp/mi3.c, mi3.h: New test for over-enthusiastic
+	optimisation.
+
 2000-10-29  Neil Booth  <neilb@earthling.net>
 
         * gcc.dg/cpp/macro4.c, macro5.c: New tests.
diff --git a/gcc/testsuite/gcc.dg/cpp/defined.c b/gcc/testsuite/gcc.dg/cpp/defined.c
new file mode 100644
index 00000000000..0e82f7e1f50
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/cpp/defined.c
@@ -0,0 +1,27 @@
+/* Copyright (C) 2000 Free Software Foundation, Inc.  */
+
+/* { dg-do preprocess } */
+
+/* Tests behaviour of the defined operator.  */
+
+/*  Source: Neil Booth, 29 Oct 2000.  */
+
+/* No diagnostics, though you could argue there should be.  */
+#if defined defined
+#error defined is defined!
+#endif
+
+#define defined			/* { dg-error "defined" } */
+
+#define is_Z_defined defined Z
+
+/* The behaviour of "defined" when it comes from a macro expansion is
+   now documented.  */
+#if is_Z_defined		/* { dg-warning "macro expansion" } */
+#error Macro expanding into defined operator test 1
+#endif
+
+#define Z
+#if !is_Z_defined		/* { dg-warning "macro expansion" } */
+#error Macro expanding into defined operator test 2
+#endif
diff --git a/gcc/testsuite/gcc.dg/cpp/include1.c b/gcc/testsuite/gcc.dg/cpp/include1.c
new file mode 100644
index 00000000000..a0a54e00598
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/cpp/include1.c
@@ -0,0 +1,13 @@
+/* Copyright (C) 2000 Free Software Foundation, Inc.  */
+
+/* { dg-do preprocess } */
+
+/* Tests that "#include MACRO" works.  */
+
+/* Source: Neil Booth, 29 Oct 2000.  */
+
+#define MACRO "mi1c.h"
+#include MACRO
+#ifndef CPP_MIC_H
+#error #include MACRO does not work
+#endif
diff --git a/gcc/testsuite/gcc.dg/cpp/macsyntx.c b/gcc/testsuite/gcc.dg/cpp/macsyntx.c
index e7f3528b49f..ee5fd365a9c 100644
--- a/gcc/testsuite/gcc.dg/cpp/macsyntx.c
+++ b/gcc/testsuite/gcc.dg/cpp/macsyntx.c
@@ -21,7 +21,6 @@
 
 #define ;			/* { dg-error "identifier" } */
 #define SEMI;			/* { dg-warning "space" } */
-#define defined			/* { dg-error "defined" } */
 #define foo(X			/* { dg-error "missing" } */
 #define foo\
 (X,)				/* { dg-error "parameter name" } */
diff --git a/gcc/testsuite/gcc.dg/cpp/mi3.c b/gcc/testsuite/gcc.dg/cpp/mi3.c
index 533b509f1e7..f33fd7887e9 100644
--- a/gcc/testsuite/gcc.dg/cpp/mi3.c
+++ b/gcc/testsuite/gcc.dg/cpp/mi3.c
@@ -10,8 +10,11 @@
 #include "mi3.def"
 #undef X
 
+#include "mi3.h"
+#include "mi3.h"  /* The second include declares variable c.  */
+
 int
 main(void)
 {
-  return a + b;
+  return a + b + c;
 }
diff --git a/gcc/testsuite/gcc.dg/cpp/mi3.h b/gcc/testsuite/gcc.dg/cpp/mi3.h
new file mode 100644
index 00000000000..8774fcf486a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/cpp/mi3.h
@@ -0,0 +1,7 @@
+/* Another test case for over-eager multiple include optimization. */
+
+#ifndef GUARD
+#define GUARD
+#elif 1				/* #elif kills optimisation  */
+int c;
+#endif
diff --git a/gcc/testsuite/gcc.dg/cpp/paste11.c b/gcc/testsuite/gcc.dg/cpp/paste11.c
new file mode 100644
index 00000000000..18530b3448a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/cpp/paste11.c
@@ -0,0 +1,15 @@
+/* Copyright (C) 2000 Free Software Foundation, Inc.  */
+
+/* { dg-do preprocess } */
+
+/* Test correct pasting of identifiers and numbers.  We can paste any
+   number, as long as no '.', '-' or '+' appears in its spelling.  */
+
+#define glue(x, y) x ## y
+
+glue (ident, 12)		/* OK.  */
+glue (ident, 12e3)		/* OK.  */
+glue (ident, 12e+3)		/* { dg-warning "valid preprocessing tok" } */
+glue (ident, 12e-3)		/* { dg-warning "valid preprocessing tok" } */
+glue (ident, 1.2)		/* { dg-warning "valid preprocessing tok" } */
+glue (ident, .12)		/* { dg-warning "valid preprocessing tok" } */
diff --git a/gcc/testsuite/gcc.dg/cpp/skipping.c b/gcc/testsuite/gcc.dg/cpp/skipping.c
new file mode 100644
index 00000000000..d87ea70591c
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/cpp/skipping.c
@@ -0,0 +1,20 @@
+/* Copyright (C) 2000 Free Software Foundation, Inc.  */
+
+/* { dg-do preprocess } */
+
+/* Tests expansion of macros whilst skipping false conditionals.  */
+
+/* Source: Neil Booth, 29 Oct 2000.  */
+
+#define F()
+#define TRUE 1
+
+#if 0
+F(			/* No diagnostic: don't even try to expand it.  */
+#endif
+
+#if 0
+#elif TRUE		/* Expand this, even though we were skipping.  */
+#else
+#error Macros not expanded in #elif
+#endif