diff options
| author | Martin Uecker <uecker@tugraz.at> | 2024-06-29 15:36:18 +0200 |
|---|---|---|
| committer | Martin Uecker <uecker@gcc.gnu.org> | 2024-07-09 21:05:26 +0200 |
| commit | 592a746533a278a5fd3e7b5dff004e1846ef26a4 (patch) | |
| tree | 28dce17004e5a5f591515be582de2fc3ed52b009 /gcc/cp/contracts.cc | |
| parent | e611189899bb885a27ef8d17f77c02ada6c69069 (diff) | |
| download | gcc-592a746533a278a5fd3e7b5dff004e1846ef26a4.zip gcc-592a746533a278a5fd3e7b5dff004e1846ef26a4.tar.gz gcc-592a746533a278a5fd3e7b5dff004e1846ef26a4.tar.bz2 | |
c: Fix ICE for incorrect code in comptypes_verify [PR115696]
The new verification code produces an ICE for incorrect code. Add the
same logic as already used in comptypes to to bail out under certain
conditions.
PR c/115696
gcc/c/
* c-typeck.cc (comptypes_verify): Bail out for
identical, empty, and erroneous input types.
gcc/testsuite/
* gcc.dg/pr115696.c: New test.
Diffstat (limited to 'gcc/cp/contracts.cc')
0 files changed, 0 insertions, 0 deletions