Sent from my iPhone On Aug 14, 2009, at 3:38 PM, Eli Friedman <eli.friedman at gmail.com> wrote: > How is malloc different from noreturn in this regard? Well, I want noreturn type checked...