* tree-cfg.c (verify_gimple_expr): Accept OBJ_TYPE_REF.
* g++.dg/tree-ssa/obj-type-ref.C: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@129033
138bc75d-0d04-0410-961f-
82ee72b054a4
+2007-10-05 Richard Guenther <rguenther@suse.de>
+
+ * tree-cfg.c (verify_gimple_expr): Accept OBJ_TYPE_REF.
+
2007-10-05 Richard Sandiford <rsandifo@nildram.co.uk>
PR target/33635
+2007-10-05 Richard Guenther <rguenther@suse.de>
+
+ * g++.dg/tree-ssa/obj-type-ref.C: New testcase.
+
2007-10-05 Richard Sandiford <rsandifo@nildram.co.uk>
PR target/33635
--- /dev/null
+/* { 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();
+}
didn't see a function declaration before the call. */
return false;
+ case OBJ_TYPE_REF:
+ /* FIXME. */
+ return false;
+
default:;
}