OSDN Git Service

PR c/18867
authorsteven <steven@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 8 Dec 2004 00:12:03 +0000 (00:12 +0000)
committersteven <steven@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 8 Dec 2004 00:12:03 +0000 (00:12 +0000)
        * 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

gcc/ChangeLog
gcc/c-typeck.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/noncompile/20041207.c [new file with mode: 0644]

index 7542d68..70747e2 100644 (file)
@@ -1,5 +1,11 @@
 2004-12-07  Steven Bosscher  <stevenb@suse.de>
 
 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
        PR tree-optimization/17340
        * tree-ssa-pre.c (compute_antic): Fix comment.
        (compute_avail): Do not recurse, instead do a DFS using a stack
index f2f9b4d..e5c8ef5 100644 (file)
@@ -6507,6 +6507,7 @@ c_start_case (tree exp)
        {
          error ("switch quantity not an integer");
          exp = integer_zero_node;
        {
          error ("switch quantity not an integer");
          exp = integer_zero_node;
+         orig_type = error_mark_node;
        }
       else
        {
        }
       else
        {
index ea90773..440f309 100644 (file)
@@ -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.
 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
@@ -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" } */
+}