diff options
| author | Nina Ranns <dinka.ranns@googlemail.com> | 2024-12-03 14:58:21 +0000 |
|---|---|---|
| committer | Jason Merrill <jason@redhat.com> | 2024-12-03 14:29:00 -0500 |
| commit | 3b0fca5835b92ca7b139ef9f06d16b65510568ef (patch) | |
| tree | 5ab6df4844748241f51a07e69218efff57f63e1b /libstdc++-v3/include/std/numeric | |
| parent | e6e4cb34e30f25adfb57e998663a8a1796b8573c (diff) | |
| download | gcc-3b0fca5835b92ca7b139ef9f06d16b65510568ef.zip gcc-3b0fca5835b92ca7b139ef9f06d16b65510568ef.tar.gz gcc-3b0fca5835b92ca7b139ef9f06d16b65510568ef.tar.bz2 | |
c++/contracts: ICE with contract assert on non-empty statement [PR 117579]
Contract assert is an attribute on an empty statement. Currently we assert
that the statement is empty before emitting the assertion. This has been
changed to a conditional check that the statement is empty before the
assertion is emitted.
PR c++/117579
gcc/cp/ChangeLog:
* parser.cc (cp_parser_statement): Replace assertion with a
conditional check that the statement containing a contract assert
is empty.
gcc/testsuite/ChangeLog:
* g++.dg/contracts/pr117579.C: New test.
Signed-off-by: Nina Ranns <dinka.ranns@gmail.com>
Reviewed-by: Jason Merrill <jason@redhat.com>
Diffstat (limited to 'libstdc++-v3/include/std/numeric')
0 files changed, 0 insertions, 0 deletions