From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-451629-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 12074 invoked by alias); 14 May 2014 16:48:51 -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
Received: (qmail 11527 invoked by uid 55); 14 May 2014 16:48:45 -0000
From: "jason at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/21631] diagnostic for a non constant reference when passed a non lvalue (copy constructor)
Date: Wed, 14 May 2014 16:48: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.0.0
X-Bugzilla-Keywords: diagnostic
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: jason at gcc dot gnu.org
X-Bugzilla-Status: NEW
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:
Message-ID: <bug-21631-4-9TyDGbTYt4@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-21631-4@http.gcc.gnu.org/bugzilla/>
References: <bug-21631-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-05/txt/msg01321.txt.bz2

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Wed May 14 16:48:07 2014
New Revision: 210436

URL: http://gcc.gnu.org/viewcvs?rev=210436&root=gcc&view=rev
Log:
    PR c++/20332
    PR c++/21631
    * call.c (reference_binding): Treat lvalue/rvalue mismatch and
    dropped cv-quals as a bad conversion.
    (convert_like_real) [ck_ref_bind]: Explain them.
    (compare_ics): Check badness before stripping reference
    bindings.  Handle comparing bad reference bindings.
    * typeck.c (comp_cv_qualification): Add overload that just takes
    integers.
    * cp-tree.h: Declare it.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/diag2.C
    trunk/gcc/testsuite/g++.dg/diagnostic/ref1.C
    trunk/gcc/testsuite/g++.dg/diagnostic/ref2.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/call.c
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/typeck.c
    trunk/gcc/testsuite/g++.dg/conversion/op4.C
    trunk/gcc/testsuite/g++.dg/cpp0x/overloadn.C
    trunk/gcc/testsuite/g++.dg/expr/cond9.C
    trunk/gcc/testsuite/g++.dg/init/synth2.C
    trunk/gcc/testsuite/g++.dg/lookup/two-stage4.C
    trunk/gcc/testsuite/g++.dg/overload/arg3.C
    trunk/gcc/testsuite/g++.dg/overload/conv-op1.C
    trunk/gcc/testsuite/g++.dg/overload/copy1.C
    trunk/gcc/testsuite/g++.dg/overload/volatile1.C
    trunk/gcc/testsuite/g++.dg/rtti/dyncast6.C
    trunk/gcc/testsuite/g++.dg/template/copy1.C
    trunk/gcc/testsuite/g++.old-deja/g++.benjamin/15800-1.C
    trunk/gcc/testsuite/g++.old-deja/g++.brendan/cvt3.C
    trunk/gcc/testsuite/g++.old-deja/g++.bugs/900514_03.C
    trunk/gcc/testsuite/g++.old-deja/g++.eh/ctor1.C
    trunk/gcc/testsuite/g++.old-deja/g++.jason/temporary2.C
    trunk/gcc/testsuite/g++.old-deja/g++.law/cvt20.C
    trunk/gcc/testsuite/g++.old-deja/g++.law/enum4.C
    trunk/gcc/testsuite/g++.old-deja/g++.law/init8.C
    trunk/gcc/testsuite/g++.old-deja/g++.law/operators9.C
    trunk/gcc/testsuite/g++.old-deja/g++.mike/net8.C
    trunk/gcc/testsuite/g++.old-deja/g++.mike/p1989.C
    trunk/gcc/testsuite/g++.old-deja/g++.mike/p2431.C
    trunk/gcc/testsuite/g++.old-deja/g++.mike/p438.C
    trunk/gcc/testsuite/g++.old-deja/g++.mike/p701.C
    trunk/gcc/testsuite/g++.old-deja/g++.other/crash24.C
    trunk/gcc/testsuite/g++.old-deja/g++.other/volatile1.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/auto_ptr.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/t05.C
    trunk/libstdc++-v3/testsuite/20_util/forward/1_neg.cc