re PR c/18867 (ICE on invalid switch quantity)

        PR c/18867
        * c-typeck.c (c_start_case): Set orig_type to error_mark_node
        when the type of the controlling expression is not a valid type.

testsuite/
        * gcc.dg/noncompile/20041207.c: New test.

From-SVN: r91837

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7542d680cc59fff55da232914f01954ed1a7d127..70747e28fca0aa20523f2a29f5d249fe4f288752 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2004-12-07  Steven Bosscher  <stevenb@suse.de>
+
+       PR c/18867
+       * c-typeck.c (c_start_case): Set orig_type to error_mark_node
+       when the type of the controlling expression is not a valid type.
+
 2004-12-07  Steven Bosscher  <stevenb@suse.de>
 
        PR tree-optimization/17340

diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c
index f2f9b4daa4561d3d8569b88bad6f07ff33f3eded..e5c8ef5234e4c12fab05dfffec156aa8b47d4223 100644 (file)
--- a/gcc/c-typeck.c
+++ b/gcc/c-typeck.c
@@ -6507,6 +6507,7 @@ c_start_case (tree exp)
        {
          error ("switch quantity not an integer");
          exp = integer_zero_node;
+         orig_type = error_mark_node;
        }
       else
        {

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ea90773537306850ce1a60429bcd669d6d1f97e1..440f30900866d518d1b3b4e837357836f049bae3 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2004-12-07  Steven Bosscher  <stevenb@suse.de>
+
+       * gcc.dg/noncompile/20041207.c: New test.
+
 2004-12-07  Volker Reichelt  <reichelt@gcc.gnu.org>
 
        * g++.dg/other/unreachable-1.C: New test.

diff --git a/gcc/testsuite/gcc.dg/noncompile/20041207.c b/gcc/testsuite/gcc.dg/noncompile/20041207.c
new file mode 100644 (file)
index 0000000..7024245
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/noncompile/20041207.c
@@ -0,0 +1,8 @@
+/* PR18867 - ICE on a switch controlling expressions with an
+   invalid type.  Origin: Serge Belyshev <belyshev@lubercy.com>  */
+   
+void f()
+{
+  float x;
+  switch (x) {case 0: break;}; /* {dg-error "not an integer" } */
+}