OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

c++: Fix diagnostic for binding lvalue reference to volatile rvalue [PR 100635] 

The current diagnostic assumes the reference binding fails because the
reference is non-const, but it can also fail if the rvalue is volatile.

Use the current diagnostic for non-const cases, and a modified
diagnostic otherwise.

gcc/cp/ChangeLog:

	PR c++/100635
	* call.c (convert_like_internal): Print different diagnostic if
	the lvalue reference is const.

gcc/testsuite/ChangeLog:

	* g++.dg/conversion/pr100635.C: New test.
This commit is contained in:
Jonathan Wakely 2021-05-17 10:53:56 +01:00
parent 09867aa0ef
commit 5d93261bc0
2 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/cp/call.c
View File

@ -7900,9 +7900,13 @@ convert_like_internal (conversion *convs, tree expr, tree fn, int argnum,
"type %qH to a value of type %qI",
totype, next->type);
}
else
else if (!CP_TYPE_CONST_P (TREE_TYPE (ref_type)))
error_at (loc, "cannot bind non-const lvalue reference of "
"type %qH to an rvalue of type %qI", totype, extype);
else // extype is volatile
error_at (loc, "cannot bind lvalue reference of type "
"%qH to an rvalue of type %qI", totype,
extype);
}
else if (!reference_compatible_p (TREE_TYPE (totype), extype))
{

12
gcc/testsuite/g++.dg/conversion/pr100635.C Normal file
View File

@ -0,0 +1,12 @@
// PR c++/100635
// { dg-do compile }
// { dg-additional-options "-Wno-volatile" { target c++2a } }
struct S { };
volatile S v();
const volatile S& svol = v(); // { dg-error "cannot bind lvalue reference of type 'const volatile S&' to an rvalue of type 'volatile S'" }
#if __cplusplus >= 201103L
volatile int&& declvol();
const volatile int& voli = declvol(); // { dg-error "cannot bind lvalue reference of type 'const volatile int&' to an rvalue of type 'volatile int'" "" { target c++11} }
#endif