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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@91837 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7542d68..70747e2 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
 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
        * tree-ssa-pre.c (compute_antic): Fix comment.
        (compute_avail): Do not recurse, instead do a DFS using a stack

diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c
index f2f9b4d..e5c8ef5 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 ea90773..440f309 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" } */
+}