[PATCH 4/5] Annotate internal_error with the attribute noreturn
authorJustus Winter <4winter@informatik.uni-hamburg.de>
Mon, 24 Sep 2012 10:31:56 +0000 (12:31 +0200)
committerW. Trevor King <wking@tremily.us>
Fri, 7 Nov 2014 17:49:34 +0000 (09:49 -0800)
commit33d4481c365aab9e9a1485227f0ce576dc17b539
treecde80d36bb033aa29156896238a146d56f3c002a
parent2e889cb605fd2d43892e719b39d59ac7cf5c6246
[PATCH 4/5] Annotate internal_error with the attribute noreturn
e3/5ec7e9f106310e5fa1ba0006125411f3c38e09 [new file with mode: 0644]