[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: new module 'noreturn'
|
From: |
Bruno Haible |
|
Subject: |
Re: new module 'noreturn' |
|
Date: |
Sat, 29 Apr 2017 12:51:18 +0200 |
|
User-agent: |
KMail/5.1.3 (Linux/4.4.0-75-generic; KDE/5.18.0; x86_64; ; ) |
Paul Eggert wrote:
> It was more like this:
>
> #define _GL_NORETURN_FUNC _Noreturn __attribute_noreturn__
> #define _GL_NORETURN_FUNCPTR __attribute_noreturn__
Per [1] (compare fptr33 and fptr34), this has identical effects as
#define _GL_NORETURN_FUNC __attribute_noreturn__
#define _GL_NORETURN_FUNCPTR __attribute_noreturn__
In other words, when __attribute__ ((__noreturn__)) works, there is
no point in even looking whether _Noreturn works as well.
> Perhaps your draft has an identical effect to this
Yes, it what I pushed has identical effects.
Bruno
[1] https://lists.gnu.org/archive/html/bug-gnulib/2017-04/msg00152.html