1
0
mirror of git://projects.qi-hardware.com/eda-tools.git synced 2024-12-01 20:49:44 +02:00

eeshow/util/diag.h (pfatal): mark as "noreturn"

This commit is contained in:
Werner Almesberger 2016-08-21 02:50:46 -03:00
parent 505ffe0c17
commit 1930eedb64

View File

@ -28,7 +28,7 @@ extern unsigned verbose;
/* perror, based on "fatal" or "error" */ /* perror, based on "fatal" or "error" */
void diag_pfatal(const char *s); void __attribute__((noreturn)) diag_pfatal(const char *s);
void diag_perror(const char *s); void diag_perror(const char *s);