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

c++: unpropagated CONSTRUCTOR_MUTABLE_POISON [PR110463] 

Here we're incorrectly accepting the mutable member accesses because
cp_fold neglects to propagate CONSTRUCTOR_MUTABLE_POISON when folding a
CONSTRUCTOR.

	PR c++/110463

gcc/cp/ChangeLog:

	* cp-gimplify.cc (cp_fold) <case CONSTRUCTOR>: Propagate
	CONSTRUCTOR_MUTABLE_POISON.

gcc/testsuite/ChangeLog:

	* g++.dg/cpp0x/constexpr-mutable6.C: New test.
This commit is contained in:
Patrick Palka 2023-06-29 16:02:04 -04:00
parent 070a6bf0bd
commit fd8a1be04d
2 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/cp/cp-gimplify.cc
View File

@ -3079,6 +3079,8 @@ cp_fold (tree x, fold_flags_t flags)
x = build_constructor (TREE_TYPE (x), nelts);
CONSTRUCTOR_PLACEHOLDER_BOUNDARY (x)
= CONSTRUCTOR_PLACEHOLDER_BOUNDARY (org_x);
CONSTRUCTOR_MUTABLE_POISON (x)
= CONSTRUCTOR_MUTABLE_POISON (org_x);
}
if (VECTOR_TYPE_P (TREE_TYPE (x)))
x = fold (x);

18
gcc/testsuite/g++.dg/cpp0x/constexpr-mutable6.C Normal file
View File

@ -0,0 +1,18 @@
// PR c++/110463
// { dg-do compile { target c++11 } }
struct U {
mutable int x = 1;
};
struct V {
mutable int y = 1+1;
};
int main() {
constexpr U u = {};
constexpr int x = u.x; // { dg-error "mutable" }
constexpr V v = {};
constexpr int y = v.y; // { dg-error "mutable" }
}