If we're compiling with gcc, mark adios() as never returning (better code
authorPeter Maydell <pmaydell@chiark.greenend.org.uk>
Mon, 2 Jun 2008 21:49:07 +0000 (21:49 +0000)
committerPeter Maydell <pmaydell@chiark.greenend.org.uk>
Mon, 2 Jun 2008 21:49:07 +0000 (21:49 +0000)
and fewer spurious 'uninitialized variable) warnings)


No differences found