[Bug c++/60345] New: [4.9 Regression] r208159 cause Firefox build error

[Bug c++/60345] New: [4.9 Regression] r208159 cause Firefox build error

[trippels at gcc dot gnu.org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 5610 bytes --]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60345

            Bug ID: 60345
           Summary: [4.9 Regression] r208159 cause Firefox build error
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: trippels at gcc dot gnu.org
                CC: jason at gcc dot gnu.org

With r208159 I get during Firefox build:

markus@x4 src % g++ -w -c -std=gnu++0x Parser.ii
/var/tmp/mozilla-central/js/src/frontend/Parser.cpp: In member function ‘bool
js::frontend::ParseContext<ParseHandler>::define(js::frontend::TokenStream&,
js::HandlePropertyN
ame, js::frontend::ParseContext<ParseHandler>::Node,
js::frontend::Definition::Kind) [with ParseHandler =
js::frontend::FullParseHandler; js::HandlePropertyName = JS::Handle<
js::PropertyName*>; js::frontend::ParseContext<ParseHandler>::Node =
js::frontend::ParseNode*]’:
/var/tmp/mozilla-central/js/src/frontend/Parser.cpp:132:37: error: no matching
function for call to ‘js::InlineMap<JSAtom*, js::frontend::DefinitionSingle,
24ul>::remove(js::
HandlePropertyName&)’
                 lexdeps->remove(name);
                                     ^
/var/tmp/mozilla-central/js/src/frontend/Parser.cpp:132:37: note: candidates
are:
In file included from
/var/tmp/mozilla-central/js/src/frontend/ParseMaps.h:13:0,
                 from /var/tmp/mozilla-central/js/src/vm/Runtime.h:29,
                 from /var/tmp/mozilla-central/js/src/jscntxt.h:15,
                 from
/var/tmp/mozilla-central/js/src/frontend/TokenStream.h:19,
                 from /var/tmp/mozilla-central/js/src/frontend/ParseNode.h:12,
                 from
/var/tmp/mozilla-central/js/src/frontend/FullParseHandler.h:12,
                 from /var/tmp/mozilla-central/js/src/frontend/Parser.h:17,
                 from /var/tmp/mozilla-central/js/src/frontend/Parser-inl.h:10,
                 from /var/tmp/mozilla-central/js/src/frontend/Parser.cpp:20:
/var/tmp/mozilla-central/js/src/ds/InlineMap.h:282:10: note: void
js::InlineMap<K, V, InlineElems>::remove(js::InlineMap<K, V, InlineElems>::Ptr)
[with K = JSAtom*; V = js::f
rontend::DefinitionSingle; long unsigned int InlineElems = 24ul]
     void remove(Ptr p) {
          ^
/var/tmp/mozilla-central/js/src/ds/InlineMap.h:282:10: note:   no known
conversion for argument 1 from ‘js::HandlePropertyName {aka
JS::Handle<js::PropertyName*>}’ to ‘js::In
lineMap<JSAtom*, js::frontend::DefinitionSingle, 24ul>::Ptr’
/var/tmp/mozilla-central/js/src/ds/InlineMap.h:295:10: note: void
js::InlineMap<K, V, InlineElems>::remove(const K&) [with K = JSAtom*; V =
js::frontend::DefinitionSingle; lo
ng unsigned int InlineElems = 24ul]
     void remove(const K &key) {
          ^
/var/tmp/mozilla-central/js/src/ds/InlineMap.h:295:10: note:   no known
conversion for argument 1 from ‘js::HandlePropertyName {aka
JS::Handle<js::PropertyName*>}’ to ‘JSAtom
* const&’
/var/tmp/mozilla-central/js/src/frontend/Parser.cpp: In member function ‘bool
js::frontend::ParseContext<ParseHandler>::define(js::frontend::TokenStream&,
js::HandlePropertyN
ame, js::frontend::ParseContext<ParseHandler>::Node,
js::frontend::Definition::Kind) [with ParseHandler =
js::frontend::SyntaxParseHandler; js::HandlePropertyName = JS::Handl
e<js::PropertyName*>; js::frontend::ParseContext<ParseHandler>::Node =
js::frontend::SyntaxParseHandler::Node]’:


Reducing...
>From gcc-bugs-return-444845-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Feb 26 13:05:50 2014
Return-Path: <gcc-bugs-return-444845-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 15686 invoked by alias); 26 Feb 2014 13:05:50 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 15659 invoked by uid 48); 26 Feb 2014 13:05:46 -0000
From: "trippels at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/60345] [4.9 Regression] r208159 causes Firefox build error
Date: Wed, 26 Feb 2014 13:05:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: trippels at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: attachments.created
Message-ID: <bug-60345-4-fGqUVbJjAO@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-60345-4@http.gcc.gnu.org/bugzilla/>
References: <bug-60345-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-02/txt/msg02602.txt.bz2
Content-length: 240

http://gcc.gnu.org/bugzilla/show_bug.cgi?id`345

--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Created attachment 32218
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id2218&actioníit
unreduced testcase

[Bug c++/60345] [4.9 Regression] r208159 causes Firefox build error

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60345

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.9.0

[Bug c++/60345] [4.9 Regression] r208159 causes Firefox build error

[trippels at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60345

--- Comment #2 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
markus@x4 src % cat test.ii
class A {};
template <typename T> class Handle : A {
public:
  operator T &();
};

class JSAtom {};
class PropertyName : public JSAtom {};
template <typename K, typename, int> class InlineMap {
public:
  void remove(const K &);
};
class DefinitionSingle;
template <class Map> struct AtomThingMapPtr {
  Map *operator->();
};
template <typename AtomThingMapPtrT> class D : public AtomThingMapPtrT {};

struct B : AtomThingMapPtr<InlineMap<JSAtom *, DefinitionSingle, 0> > {};
class TokenStream;
class ParseNode {};
struct Definition : ParseNode {
  enum Kind {};
};
class FullParseHandler {
public:
  typedef ParseNode *Node;
};
struct C {};
template <typename> struct ParseContext : C {
  bool define(TokenStream &, Handle<PropertyName *>, FullParseHandler::Node,
              Definition::Kind);
  D<B> lexdeps;
};
template <>
bool ParseContext<FullParseHandler>::define(TokenStream &,
                                            Handle<PropertyName *> name,
                                            ParseNode *, Definition::Kind) {
  lexdeps->remove(name);
}


markus@x4 src % g++ -std=gnu++0x -c test.ii
test.ii: In member function ‘bool ParseContext< <template-parameter-1-1>
>::define(TokenStream&, Handle<PropertyName*>, FullParseHandler::Node,
Definition::Kind) [with <template-parameter-1-1> = FullParseHandler;
FullParseHandler::Node = ParseNode*]’:
test.ii:39:23: error: no matching function for call to ‘InlineMap<JSAtom*,
DefinitionSingle, 0>::remove(Handle<PropertyName*>&)’
   lexdeps->remove(name);
                       ^
test.ii:39:23: note: candidate is:
test.ii:11:8: note: void InlineMap<K, <template-parameter-1-2>, <anonymous>
>::remove(const K&) [with K = JSAtom*; <template-parameter-1-2> =
DefinitionSingle; int <anonymous> = 0]
   void remove(const K &);
        ^
test.ii:11:8: note:   no known conversion for argument 1 from
‘Handle<PropertyName*>’ to ‘JSAtom* const&’
>From gcc-bugs-return-444848-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Feb 26 14:32:24 2014
Return-Path: <gcc-bugs-return-444848-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 5461 invoked by alias); 26 Feb 2014 14:32:21 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 5433 invoked by uid 48); 26 Feb 2014 14:32:17 -0000
From: "trippels at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/60345] [4.9 Regression] r208159 causes Firefox build error
Date: Wed, 26 Feb 2014 14:32:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: trippels at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-60345-4-AJJ11X159m@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-60345-4@http.gcc.gnu.org/bugzilla/>
References: <bug-60345-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-02/txt/msg02605.txt.bz2
Content-length: 660

http://gcc.gnu.org/bugzilla/show_bug.cgi?id`345

--- Comment #3 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
markus@x4 src % cat test.ii
template <typename T> struct A {
  operator T &();
};
class C {};
class J : public C {};
template <typename K> struct F {
  void m_fn1(const K &);
};
template <typename AtomThingMapPtrT> struct D : AtomThingMapPtrT {};
struct B {
  F<C *> *operator->();
};
struct G {
  enum Kind {};
};
struct H {
  typedef G *Node;
};
template <typename> struct I {
  bool m_fn1(int &, A<J *>, H::Node, G::Kind);
  D<B> lexdeps;
};
template <> bool I<int>::m_fn1(int &, A<J *> p2, G *, G::Kind) {
  lexdeps->m_fn1(p2);
}

[Bug c++/60345] [4.9 Regression] r208159 causes Firefox build error

[glisse at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60345

--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> ---
template <typename T> struct A {
  operator T &();
};
struct C {};
struct J : C {};
void f(C* const&);
void g(A<J *> p2) {
  f(p2);
}

[Bug c++/60345] [4.9 Regression] r208159 causes Firefox build error

[glisse at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60345

--- Comment #5 from Marc Glisse <glisse at gcc dot gnu.org> ---
struct C {};
struct J : C {};
struct A {
  operator J* ();
};
A p;
C* const& q = p;

(I'll stop there ;-)

[Bug c++/60345] [4.9 Regression] r208159 causes Firefox build error

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60345

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2014-02-26
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org
     Ever confirmed|0                           |1

[Bug c++/60345] [4.9 Regression] r208159 causes Firefox build error

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60345

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed by reverting r208159.

[Bug c++/60345] [4.9 Regression] r208159 causes Firefox build error

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60345

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Wed Feb 26 16:48:22 2014
New Revision: 208175

URL: http://gcc.gnu.org/viewcvs?rev=208175&root=gcc&view=rev
Log:
    PR c++/60345
    Revert:
    DR 1571
    * call.c (reference_binding): Recurse on user-defined conversion.
    (convert_like_real) [ck_ref_bind]: Explain cv-qual mismatch.

Removed:
    trunk/gcc/testsuite/g++.dg/cpp0x/rv-init1.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/call.c
    trunk/gcc/testsuite/g++.dg/cpp0x/overload3.C

[Bug c++/60345] [4.9 Regression] r208159 causes Firefox build error

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60345

--- Comment #8 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Wed Feb 26 16:51:14 2014
New Revision: 208176

URL: http://gcc.gnu.org/viewcvs?rev=208176&root=gcc&view=rev
Log:
    PR c++/60345
    * g++.dg/conversion/ref1.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/conversion/ref1.C