[Bug c++/55206] New: GCC Reports Ambiguity; clang and comeau disagree

[Bug c++/55206] New: GCC Reports Ambiguity; clang and comeau disagree

[dave at boostpro dot com]

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

             Bug #: 55206
           Summary: GCC Reports Ambiguity; clang and comeau disagree
    Classification: Unclassified
           Product: gcc
           Version: 4.7.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: dave@boostpro.com


I apologize for not doing the hunt to figure out what the standard says on this
one, but since GCC is the outlier I'm reporting it here.  The error is:

g++ -I ~/src/boost/svn/release  -Wall -Wextra -pedantic -Wno-long-long
-Wno-unused-parameter -Wno-unused -Wno-parentheses -D_GLIBCXX_DEBUG -g -O0
shared.cpp -o shared
In file included from
/Users/dave/src/boost/svn/release/boost/make_shared.hpp:15:0,
                 from shared.cpp:24:
/Users/dave/src/boost/svn/release/boost/smart_ptr/make_shared.hpp: In
instantiation of 'boost::shared_ptr<T> boost::make_shared(const A1&) [with T =
json_store<json_string>; A1 = boost::rv<json_string>]':
shared.cpp:261:65:   required from 'static json_value::stored_type
json_value::make_storage(T&, boost::false_type, boost::false_type) [with T =
json_string; json_value::stored_type = boost::shared_ptr<json_base>;
boost::false_type = boost::integral_constant<bool, false>]'
shared.cpp:176:9:   required from 'json_value::json_value(T) [with T =
json_string]'
shared.cpp:300:41:   required from here
/Users/dave/src/boost/svn/release/boost/smart_ptr/make_shared.hpp:660:5: error:
call of overloaded 'json_string(const boost::rv<json_string>&)' is ambiguous
/Users/dave/src/boost/svn/release/boost/smart_ptr/make_shared.hpp:660:5: note:
candidates are:
shared.cpp:65:5: note: json_string::json_string(const json_string&)
shared.cpp:61:5: note: json_string::json_string(json_string::rep_t)
shared.cpp:145:5: error:   initializing argument 1 of
'json_store<T>::json_store(T) [with T = json_string]'
make: *** [shared] Error 1

Compilation exited abnormally with code 2 at Sun Nov  4 08:45:44

[Bug c++/55206] GCC Reports Ambiguity; clang and comeau disagree

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2012-11-04
     Ever Confirmed|0                           |1

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-11-04 15:30:50 UTC ---
Attachment missing. Please do your best to reduce it as much as possible (maybe
with delta, c-reduce, ...)

[Bug c++/55206] GCC Reports Ambiguity; clang and comeau disagree

[dave at boostpro dot com]

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

--- Comment #2 from Dave Abrahams <dave at boostpro dot com> 2012-11-04 16:47:37 UTC ---
I hate bugzilla for always tempting me to think I can add attachments when
first submitting a bug, and then refusing the attachment because it's too big. 
Voilà

https://raw.github.com/gist/4012559/b670d1e44ccd1fa1da65f1efd7e09b6b0a471b4a/bug.cpp

[Bug c++/55206] GCC Reports Ambiguity; clang and comeau disagree

[dave at boostpro dot com]

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

--- Comment #3 from Dave Abrahams <dave at boostpro dot com> 2012-11-04 16:48:39 UTC ---
PS my apologies again for the size.  Just no time to reduce it now.

[Bug c++/55206] GCC Reports Ambiguity; clang and comeau disagree

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |UNCONFIRMED
     Ever Confirmed|1                           |0

[Bug c++/55206] GCC Reports Ambiguity; clang and comeau disagree

[paolo.carlini at oracle dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55206

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |INVALID

--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> ---
No testcase.