Hi,
On 09/06/2016 23:38, Jason Merrill wrote:
I would think that when we see a duplicated base we should just drop
the duplicates and continue.
If the type of b1 is error_mark_node, why isn't the type of b2 also
error_mark_node?
Thanks Jason. Normally check_initializer massages the decl basing on the
init and so to speak transforms an error_mark_node as TREE_TYPE of the
init into an error_mark_node as DECL_INITIAL of a reference. Thus we
don't see error_mark_node as TREE_TYPE of b2. Now if I do something as
trivial as the attached the testcase passes.
Next step, analyze the huge breakage caused by that change, I don't dare
running the testsuite ;)
Thanks,
Paolo.
///////////////////
Index: decl.c
===================================================================
--- decl.c (revision 237280)
+++ decl.c (working copy)
@@ -6002,6 +6002,12 @@ check_initializer (tree decl, tree init, int flags
tree init_code = NULL;
tree core_type;
+ if (TREE_TYPE (init) == error_mark_node)
+ {
+ TREE_TYPE (decl) = error_mark_node;
+ return NULL_TREE;
+ }
+
/* Things that are going to be initialized need to have complete
type. */
TREE_TYPE (decl) = type = complete_type (TREE_TYPE (decl));
