On 7/27/2011 3:08 PM, Robert Clipsham wrote: > Note that in > addition to Walter's global.h changes, __attribute__((noreturn)) needed to be > added to local_assert and util_assert in tassert.h too (could you add these too > Walter?) I thought I did. Will check.