diff options
| author | Patrick Palka <ppalka@redhat.com> | 2020-09-19 11:17:41 -0400 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2020-09-19 11:17:41 -0400 |
| commit | dea470d09155f2007bdd502c16614128cb6f9348 (patch) | |
| tree | 834719a35164db0c246a1e4addb2f00b2495f84b /gcc/fortran/symbol.c | |
| parent | 83858ba1db31cd83667592a41d71315090459da4 (diff) | |
| download | gcc-dea470d09155f2007bdd502c16614128cb6f9348.zip gcc-dea470d09155f2007bdd502c16614128cb6f9348.tar.gz gcc-dea470d09155f2007bdd502c16614128cb6f9348.tar.bz2 | |
c++: std::is_constant_evaluated inside constraint [PR97051]
According to [expr.const]/14, the result of substitution into an atomic
constraint is manifestly constant-evaluated; this patch adjusts the call
to maybe_constant_value in satisfy_atom to that effect.
gcc/cp/ChangeLog:
PR c++/97051
* constraint.cc (satisfy_atom): Pass true as the
manifestly_const_eval argument to maybe_constant_value.
gcc/testsuite/ChangeLog:
PR c++/97051
* g++.dg/cpp2a/is-constant-evaluated11.C: New test.
Diffstat (limited to 'gcc/fortran/symbol.c')
0 files changed, 0 insertions, 0 deletions