Line data    Source code

       1           0 : // Distributed under the MIT License.
       2             : // See LICENSE.txt for details.
       3             : 
       4             : #pragma once
       5             : 
       6             : #include <charm++.h>
       7             : #include <exception>
       8             : 
       9             : namespace sys {
      10             : 
      11             : /// \ingroup UtilitiesGroup
      12             : /// \brief Exit the program normally.
      13             : /// This should only be called once over all processors.
      14           1 : [[noreturn]] inline void exit() {
      15             :   CkExit();
      16             :   // the following call is never reached, but suppresses the warning that
      17             :   // a 'noreturn' function does return
      18             :   std::terminate();  // LCOV_EXCL_LINE
      19             : }
      20             : 
      21             : }  // namespace sys