re PR c/11658 (Wrong error message)

2004-02-03  Paolo Bonzini  <bonzini@gnu.org>

	PR c/11658
	PR c/13994
	* gcc.dg/noncompile/20040203-1.c: New test.
	* gcc.dg/noncompile/20040203-2.c: Likewise.
	* gcc.dg/noncompile/20040203-3.c: Likewise.
	* gcc.dg/20040203-1.c: Likewise.

From-SVN: r77167

5 files changed, 72 insertions, 0 deletions

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index bea92a1..72856b6 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,12 @@
+2004-02-03  Paolo Bonzini  <bonzini@gnu.org>
+
+	PR c/11658
+	PR c/13994
+	* gcc.dg/noncompile/20040203-1.c: New test.
+	* gcc.dg/noncompile/20040203-2.c: Likewise.
+	* gcc.dg/noncompile/20040203-3.c: Likewise.
+	* gcc.dg/20040203-1.c: Likewise.
+
 2004-02-02  Andrew Pinski  <pinskia@physics.uc.edu>
 
 	PR c++/10858
diff --git a/gcc/testsuite/gcc.dg/20040203-1.c b/gcc/testsuite/gcc.dg/20040203-1.c
new file mode 100644
index 0000000..59c824e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/20040203-1.c
@@ -0,0 +1,17 @@
+/* PR/13994; bug_cond2 was rejected on gcc up to version 3.4.x */
+/* { dg-do compile  }*/
+/* { dg-options "-std=gnu89"  }*/
+
+struct s { char c[1]; };
+struct s a;
+
+int bug_if(void) { if (a.c) return 1; else return 0; }
+int bug_while(void) { while (a.c); }
+int bug_do_while(void) { do ; while (a.c); }
+int bug_for(void) { for ( ; a.c; ) ; }
+int bug_or(void) { return (a.c || 1); }
+int bug_and(void) { return (a.c && 1); }
+int bug_cond(void) { return (a.c ? 1 : 0); }
+char *bug_cond2(void) { return (a.c ? : 0); }
+int bug_not(void) { return !a.c; }
+int bug_bool(void) { return (_Bool) a.c; }
diff --git a/gcc/testsuite/gcc.dg/noncompile/20040203-1.cc b/gcc/testsuite/gcc.dg/noncompile/20040203-1.cc
new file mode 100644
index 0000000..dc5ab7a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/noncompile/20040203-1.cc
@@ -0,0 +1,15 @@
+/* PR/11658  The error message was quite mysterious for gcc up to 3.4.x */
+
+struct a {
+  int x;
+};
+
+int bug_if(struct a a) { if (a) return 1; else return 0; }  /* { dg-error "struct type" } */
+int bug_while(struct a a) { while (a); }  /* { dg-error "struct type" } */
+int bug_do_while(struct a a) { do ; while (a); }  /* { dg-error "struct type" } */
+int bug_for(struct a a) { for ( ; a; ) ; }  /* { dg-error "struct type" } */
+int bug_or(struct a a) { return (a || 1); }  /* { dg-error "struct type" } */
+int bug_and(struct a a) { return (a && 1); }  /* { dg-error "struct type" } */
+int bug_cond(struct a a) { return (a ? 1 : 0); }  /* { dg-error "struct type" } */
+int bug_cond2(struct a a) { return (a ? : 0); }  /* { dg-error "struct type" } */
+int bug_bool(struct a a) { return (_Bool) a; }  /* { dg-error "struct type" } */
diff --git a/gcc/testsuite/gcc.dg/noncompile/20040203-2.cc b/gcc/testsuite/gcc.dg/noncompile/20040203-2.cc
new file mode 100644
index 0000000..5c8b22f
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/noncompile/20040203-2.cc
@@ -0,0 +1,15 @@
+/* PR/11658  The error message was quite mysterious for gcc up to 3.4.x */
+
+union a {
+  int x;
+};
+
+int bug_if(union a a) { if (a) return 1; else return 0; }  /* { dg-error "union type" } */
+int bug_while(union a a) { while (a); }  /* { dg-error "union type" } */
+int bug_do_while(union a a) { do ; while (a); }  /* { dg-error "union type" } */
+int bug_for(union a a) { for ( ; a; ) ; }  /* { dg-error "union type" } */
+int bug_or(union a a) { return (a || 1); }  /* { dg-error "union type" } */
+int bug_and(union a a) { return (a && 1); }  /* { dg-error "union type" } */
+int bug_cond(union a a) { return (a ? 1 : 0); }  /* { dg-error "union type" } */
+int bug_cond2(union a a) { return (a ? : 0); }  /* { dg-error "union type" } */
+int bug_bool(union a a) { return (_Bool) a; }  /* { dg-error "union type" } */
diff --git a/gcc/testsuite/gcc.dg/noncompile/20040203-3.cc b/gcc/testsuite/gcc.dg/noncompile/20040203-3.cc
new file mode 100644
index 0000000..bd57c4d
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/noncompile/20040203-3.cc
@@ -0,0 +1,16 @@
+/* PR/11658  The error message was quite mysterious for gcc up to 3.4.x */
+/* { dg-options "-std=gnu89" } */
+
+struct s { char c[1]; };
+struct s f(void);
+
+int bug_if(void) { if (f().c) return 1; else return 0; }  /* { dg-error "array that cannot be converted" } */
+int bug_while(void) { while (f().c); }  /* { dg-error "array that cannot be converted" } */
+int bug_do_while(void) { do ; while (f().c); }  /* { dg-error "array that cannot be converted" } */
+int bug_for(void) { for ( ; f().c; ) ; }  /* { dg-error "array that cannot be converted" } */
+int bug_or(void) { return (f().c || 1); }  /* { dg-error "array that cannot be converted" } */
+int bug_and(void) { return (f().c && 1); }  /* { dg-error "array that cannot be converted" } */
+int bug_cond(void) { return (f().c ? 1 : 0); }  /* { dg-error "array that cannot be converted" } */
+int bug_cond2(void) { return (f().c ? : 0); }  /* { dg-error "array that cannot be converted" } */
+int bug_not(void) { return !f().c; }  /* { dg-error "array that cannot be converted" } */
+int bug_bool(void) { return (_Bool) f().c; }  /* { dg-error "array that cannot be converted" } */