Branch: Tag:

2005-11-23

2005-11-23 10:40:40 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Restored noreturn attribute to pike_do_exit().
It's primarily there for diagnostic reasons; not for optimization.

Rev: src/main.h:1.28

2:   || This file is part of Pike. For copyright information see COPYRIGHT.   || Pike is distributed under GPL, LGPL and MPL. See the file COPYING   || for more information. - || $Id: main.h,v 1.27 2005/11/23 01:10:58 nilsson Exp $ + || $Id: main.h,v 1.28 2005/11/23 10:40:40 grubba Exp $   */      #ifndef MAIN_H
10:      /* Prototypes begin here */   int main(int argc, char **argv); - void pike_do_exit(int num); + DECLSPEC(noreturn) void pike_do_exit(int num) ATTRIBUTE((noreturn));   /* Prototypes end here */      #endif /* !MAIN_H */