On Tue, Jul 13, 2010 at 11:12 AM, Josh Triplett <josh@xxxxxxxxxxxxxxxx> wrote: > No, I didn't mean that using __builtin_unreachable should mark the > function calling it as noreturn. I meant that as an approximation to > the right behavior, __builtin_unreachable *itself* could have attribute > noreturn. Ah, that make sense. Chris -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html