git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

re PR c++/78765 (ICE on invalid C++ code on x86_64-linux-gnu (internal compiler error: in cp_build_addr_expr_1, at cp/typeck.c:5708)) 

cp/
	PR c++/78765
	* pt.c (convert_nontype_argument): Don't try and see if integral
	or enum expressions are constants prematurely.

	testsuite/
	PR c++/78765
	* g++.dg/cpp0x/pr78765.C: New.

From-SVN: r244101
This commit is contained in:
Nathan Sidwell 2017-01-05 12:30:26 +00:00 committed by Nathan Sidwell
parent 3db705650b
commit dc7650cc6d
4 changed files with 27 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/cp/ChangeLog
View File

@ -1,3 +1,9 @@
2017-01-05 Nathan Sidwell <nathan@acm.org>
PR c++/78765
* pt.c (convert_nontype_argument): Don't try and see if integral
or enum expressions are constants prematurely.
2017-01-04 Marek Polacek <polacek@redhat.com> 2017-01-04 Marek Polacek <polacek@redhat.com>
PR c++/64767 PR c++/64767

2
gcc/cp/pt.c
View File

@ -6386,7 +6386,7 @@ convert_nontype_argument (tree type, tree expr, tsubst_flags_t complain)
to leave it in that form rather than lower it to a to leave it in that form rather than lower it to a
CONSTRUCTOR. */; CONSTRUCTOR. */;
else if (INTEGRAL_OR_ENUMERATION_TYPE_P (type)) else if (INTEGRAL_OR_ENUMERATION_TYPE_P (type))
expr = maybe_constant_value (expr); /* Constant value checking is done later with type conversion. */;
else if (cxx_dialect >= cxx1z) else if (cxx_dialect >= cxx1z)
{ {
if (TREE_CODE (type) != REFERENCE_TYPE) if (TREE_CODE (type) != REFERENCE_TYPE)

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2017-01-05 Nathan Sidwell <nathan@acm.org>
PR c++/78765
* g++.dg/cpp0x/pr78765.C: New.
2017-01-05 Dominik Vogt <vogt@linux.vnet.ibm.com> 2017-01-05 Dominik Vogt <vogt@linux.vnet.ibm.com>
* gcc.target/s390/memcpy-2.c: New test. * gcc.target/s390/memcpy-2.c: New test.

15
gcc/testsuite/g++.dg/cpp0x/pr78765.C Normal file
View File

@ -0,0 +1,15 @@
// PR c++/78765
// { dg-do compile { target c++11 } }
// ICE with failed constexpr object and member fn call
struct ValueType {
constexpr operator int() const {return field;}
int field;
};
static constexpr ValueType var = 0; // { dg-error "conversion" }
template <int> class ValueTypeInfo;
ValueTypeInfo<var> x;