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