My headers do not seem to declare it as not returning. On the other hand, I cannot get any other program using longjmp() to cause gcc to emit a warning about not returning a value.