Re: [Liberty-eiffel] Question: many warning messages when compiling the germ with Pelles-C

[Cyril ADRIAN]

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