> > A similar algorithm does not exist for reliably determining that a > > function falls off its end. > > What if there is no return statement in a function with a non-void return > type?
Like this?
int foo(){
exit(3);
}
Has no return statement, but still doesn't invoke undefined behavior.
Regards,
Martin
