Mark Andrews b755e5ee27 backport noreturn attribute tagging

2011-08-30 12:23:16 +00:00

..

dig

backport noreturn attribute tagging

2011-08-30 12:23:16 +00:00