[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Missing '_Noreturn'
From: |
Paul Eggert |
Subject: |
Re: Missing '_Noreturn' |
Date: |
Mon, 27 Jul 2020 13:01:53 -0700 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 |
On 7/27/20 12:03 AM, Florian Weimer wrote:
The compiler is correct for [[noreturn]]:
| The first declaration of a function shall specify the noreturn
| attribute if any declaration of that function specifies the noreturn
| attribute.
<http://eel.is/c++draft/dcl.attr.noreturn#:attribute,noreturn>
This is a C program not a C++ program, so we should be looking at the draft for
the next C standard not the draft for the next C++ standard.
That being said, this is a murky area here (not yet standardized), and you're
right that the test should be fixed. After all, the test is supposed to be about
DFAs not _Noreturn. So I installed the attached.
Despite the Subject: line, the actual problem was an excess _Noreturn, not a
missing _Noreturn.
0001-dfa-tests-port-to-MSVC.patch
Description: Text Data