Fix noreturn attribute detection (#555)
1 file changed