[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: new module 'noreturn'
From: |
Paul Eggert |
Subject: |
Re: new module 'noreturn' |
Date: |
Fri, 28 Apr 2017 17:04:09 -0700 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.0 |
On 04/28/2017 09:40 AM, Bruno Haible wrote:
You have been thinking of this?
#define _GL_NORETURN_FUNC _Noreturn
#define _GL_NORETURN_FUNCPTR _Noreturn __attribute__ ((__noreturn__))
It was more like this:
#define _GL_NORETURN_FUNC _Noreturn __attribute_noreturn__
#define _GL_NORETURN_FUNCPTR __attribute_noreturn__
where __attribute_noreturn__ expands to either __attribute__ ((__noreturn__))
or to nothing (much as _Noreturn already does). Perhaps your draft has an
identical effect to this; I didn't look at its #ifdef forest all that carefully.