* mpxrt/mpxrt-utils.h (__mpxrt_stop): New prototype.

From-SVN: r245027

* mpxrt/mpxrt-utils.h (__mpxrt_stop): New prototype.
From-SVN: r245027
24fc4dd8 · Jakub Jelinek · Jakub Jelinek · 0c7247cc · 24fc4dd8 · 24fc4dd8
Commit 24fc4dd8 authored Jan 30, 2017 by Jakub Jelinek Committed by Jakub Jelinek Jan 30, 2017
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 0 deletions

libmpx/ChangeLog
+4 -0

libmpx/mpxrt/mpxrt-utils.h
+1 -0

No files found.
--- a/libmpx/ChangeLog
+++ b/libmpx/ChangeLog
+2017-01-30  Jakub Jelinek  <jakub@redhat.com>
+
+	* mpxrt/mpxrt-utils.h (__mpxrt_stop): New prototype.
+
 2017-01-21  Jakub Jelinek  <jakub@redhat.com>

 	PR other/79046

--- a/libmpx/mpxrt/mpxrt-utils.h
+++ b/libmpx/mpxrt/mpxrt-utils.h
@@ -66,5 +66,6 @@ void __mpxrt_print (verbose_type vt, const char* frmt, ...);
 mpx_rt_mode_t __mpxrt_mode (void);
 void __mpxrt_utils_free (void);
 void __mpxrt_print_summary (uint64_t num_brs, uint64_t l1_size);
+void __mpxrt_stop (void) __attribute__ ((noreturn));

 #endif /* MPXRT_UTILS_H */