From b691d4b02ae11b0326092e0e677e561b35af38d7 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Fri, 5 Oct 2007 12:20:18 +0000 Subject: [PATCH] tree-cfg.c (verify_gimple_expr): Accept OBJ_TYPE_REF. 2007-10-05 Richard Guenther * tree-cfg.c (verify_gimple_expr): Accept OBJ_TYPE_REF. * g++.dg/tree-ssa/obj-type-ref.C: New testcase. From-SVN: r129033 --- gcc/ChangeLog | 4 ++++ gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/g++.dg/tree-ssa/obj-type-ref.C | 19 +++++++++++++++++++ gcc/tree-cfg.c | 4 ++++ 4 files changed, 31 insertions(+) create mode 100644 gcc/testsuite/g++.dg/tree-ssa/obj-type-ref.C diff --git a/gcc/ChangeLog b/gcc/ChangeLog index fba43b2cb0c..70c369a0c4b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2007-10-05 Richard Guenther + + * tree-cfg.c (verify_gimple_expr): Accept OBJ_TYPE_REF. + 2007-10-05 Richard Sandiford PR target/33635 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2252f679a02..ca33da8fa45 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2007-10-05 Richard Guenther + + * g++.dg/tree-ssa/obj-type-ref.C: New testcase. + 2007-10-05 Richard Sandiford PR target/33635 diff --git a/gcc/testsuite/g++.dg/tree-ssa/obj-type-ref.C b/gcc/testsuite/g++.dg/tree-ssa/obj-type-ref.C new file mode 100644 index 00000000000..9854d32e899 --- /dev/null +++ b/gcc/testsuite/g++.dg/tree-ssa/obj-type-ref.C @@ -0,0 +1,19 @@ +/* { dg-do compile } */ + +/* This used to fail with type-checking enabled because we didn't + expect OBJ_TYPE_REF expressions. */ + +class QObject {}; +class Pile : public QObject { +public: + virtual void setVisible(void); +}; +class Spider { + void dealRow(); + Pile *redeals[5]; + int m_redeal; +}; +void Spider::dealRow() +{ + redeals[m_redeal++]->setVisible(); +} diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index ad319244c4d..7b21ddceb7a 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -3850,6 +3850,10 @@ verify_gimple_expr (tree expr) didn't see a function declaration before the call. */ return false; + case OBJ_TYPE_REF: + /* FIXME. */ + return false; + default:; } -- 2.30.2