diff options
| author | Patrick Palka <ppalka@redhat.com> | 2022-02-08 09:11:29 -0500 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2022-02-08 09:11:29 -0500 |
| commit | 7ff201d85fad11ba6365a5612124b75b385a97bd (patch) | |
| tree | 434c20375e3f384671cf3b2aae70c61a02b9f556 /gcc/go | |
| parent | db5f1c17031ad8a898d77121f1e0e0141306e22a (diff) | |
| download | gcc-7ff201d85fad11ba6365a5612124b75b385a97bd.zip gcc-7ff201d85fad11ba6365a5612124b75b385a97bd.tar.gz gcc-7ff201d85fad11ba6365a5612124b75b385a97bd.tar.bz2 | |
c++: satisfaction value of type const bool [PR104410]
Here constant evaluation of the atomic constraint use_func_v<T>
sensibly yields an INTEGER_CST of type const bool, but the assert in
satisfaction_value expects unqualified bool. So let's just relax the
assert to accept cv-qualified bool.
PR c++/104410
gcc/cp/ChangeLog:
* constraint.cc (satisfaction_value): Relax assert to accept
cv-qualified bool.
gcc/testsuite/ChangeLog:
* g++.dg/cpp2a/concepts-pr104410.C: New test.
Diffstat (limited to 'gcc/go')
0 files changed, 0 insertions, 0 deletions