From ab17715d9b958ec3d271866cf2a8f1b4ab7641ec Mon Sep 17 00:00:00 2001
From: Neil Booth <neil@daikokuya.demon.co.uk>
Date: Sun, 30 Sep 2001 12:02:22 +0000
Subject: [PATCH] * mi6.c, mi6a.h, mi6b.h, mi6c.h, mi6d.h, mi6e.h: New test.

From-SVN: r45900
---
 gcc/testsuite/ChangeLog         |  4 +++
 gcc/testsuite/gcc.dg/cpp/mi6.c  | 44 +++++++++++++++++++++++++++++++++
 gcc/testsuite/gcc.dg/cpp/mi6a.h |  5 ++++
 gcc/testsuite/gcc.dg/cpp/mi6b.h |  5 ++++
 gcc/testsuite/gcc.dg/cpp/mi6c.h |  5 ++++
 gcc/testsuite/gcc.dg/cpp/mi6d.h |  5 ++++
 gcc/testsuite/gcc.dg/cpp/mi6e.h |  5 ++++
 7 files changed, 73 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/cpp/mi6.c
 create mode 100644 gcc/testsuite/gcc.dg/cpp/mi6a.h
 create mode 100644 gcc/testsuite/gcc.dg/cpp/mi6b.h
 create mode 100644 gcc/testsuite/gcc.dg/cpp/mi6c.h
 create mode 100644 gcc/testsuite/gcc.dg/cpp/mi6d.h
 create mode 100644 gcc/testsuite/gcc.dg/cpp/mi6e.h

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0e8f92e7a9d..b4506b43d00 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2001-09-30  Neil Booth  <neil@daikokuya.demon.co.uk>
+
+	* mi6.c, mi6a.h, mi6b.h, mi6c.h, mi6d.h, mi6e.h: New test.
+
 2001-09-30  Neil Booth  <neil@daikokuya.demon.co.uk>
 
 	* gcc.dg/cpp/redef2.c: Add test.
diff --git a/gcc/testsuite/gcc.dg/cpp/mi6.c b/gcc/testsuite/gcc.dg/cpp/mi6.c
new file mode 100644
index 00000000000..8895706a49b
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/cpp/mi6.c
@@ -0,0 +1,44 @@
+/* Another test case for over-eager multiple include optimization,
+   where the leading "#if !defined" expression is obtained partially,
+   or wholly, from macros.  Neil Booth, 30 Sep 2001.  */
+
+/* { dg-do compile } */
+/* { dg-options "" } */
+
+/* Each include file should not be subject to MI optimisation, since
+   macro definitions can change.  Each header increments the variable
+   VAR if it is defined.
+
+   The first set of inclusions gets the headers into CPP's cache, but
+   does nothing since VAR is not defined.  The second set should each
+   increment VAR, since none of the initial set should have been
+   flagged as optimizable.  */
+
+#define EMPTY
+#define NOT !
+#define DEFINED defined (macro)
+#define IND ! defined (macro)
+
+#include "mi6a.h"
+#include "mi6b.h"
+#include "mi6c.h"
+#include "mi6d.h"
+#include "mi6e.h"
+
+#define VAR five
+
+int
+main(void)
+{
+  unsigned int five = 0;
+
+#include "mi6a.h"
+#include "mi6b.h"
+#include "mi6c.h"
+#include "mi6d.h"
+#include "mi6e.h"
+
+  if (five != 5)
+    abort ();
+  return 0;
+}
diff --git a/gcc/testsuite/gcc.dg/cpp/mi6a.h b/gcc/testsuite/gcc.dg/cpp/mi6a.h
new file mode 100644
index 00000000000..b11021c9202
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/cpp/mi6a.h
@@ -0,0 +1,5 @@
+#if IND
+ #ifdef VAR
+   VAR++;
+ #endif
+#endif
diff --git a/gcc/testsuite/gcc.dg/cpp/mi6b.h b/gcc/testsuite/gcc.dg/cpp/mi6b.h
new file mode 100644
index 00000000000..0d89ddfc726
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/cpp/mi6b.h
@@ -0,0 +1,5 @@
+#if NOT defined (macro)
+ #ifdef VAR
+   VAR++;
+ #endif
+#endif
diff --git a/gcc/testsuite/gcc.dg/cpp/mi6c.h b/gcc/testsuite/gcc.dg/cpp/mi6c.h
new file mode 100644
index 00000000000..d19cb54335f
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/cpp/mi6c.h
@@ -0,0 +1,5 @@
+#if !DEFINED
+ #ifdef VAR
+   VAR++;
+ #endif
+#endif
diff --git a/gcc/testsuite/gcc.dg/cpp/mi6d.h b/gcc/testsuite/gcc.dg/cpp/mi6d.h
new file mode 100644
index 00000000000..7cb4b6bcb9e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/cpp/mi6d.h
@@ -0,0 +1,5 @@
+#if EMPTY !defined (macro)
+ #ifdef VAR
+   VAR++;
+ #endif
+#endif
diff --git a/gcc/testsuite/gcc.dg/cpp/mi6e.h b/gcc/testsuite/gcc.dg/cpp/mi6e.h
new file mode 100644
index 00000000000..e60ca442bf4
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/cpp/mi6e.h
@@ -0,0 +1,5 @@
+#if !defined (macro) EMPTY
+ #ifdef VAR
+   VAR++;
+ #endif
+#endif
-- 
2.30.2