liberty-eiffel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Liberty-eiffel] Question: many warning messages when compiling the


From: Raphael Mack
Subject: Re: [Liberty-eiffel] Question: many warning messages when compiling the germ with Pelles-C
Date: Fri, 22 Aug 2014 23:31:32 +0000
User-agent: Internet Messaging Program (IMP) H5 (6.2.1)

I just committed the fix, please give it a try...

Zitat von Cyril ADRIAN <address@hidden>:

2014-08-13 22:13 GMT+02:00 Raphael Mack <address@hidden>:

we can fix this by replacing

void error1(char*m,se_position position);
by
void error1(char*m,se_position position) __attribute__ ((noreturn));

as error1 calls exit() (or sedb_break) anyhow.

But as this is a fix specific for GCC it is questionable whether it is
worth to make the code more complicated... - I'd vote for the change,
anyhow.


Good idea, provided that we allow support for different compilers, for
example by defining some NO_RETURN macro depending on the compiler.

Cheers,

Cyril






reply via email to

[Prev in Thread] Current Thread [Next in Thread]