diff options
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-01-30 14:26:24 +0000 |
|---|---|---|
| committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-01-30 14:26:24 +0000 |
| commit | 111c441e8c5d5cfee4481ec26cb88b9a64912af7 (patch) | |
| tree | ae9f40849d1ab720e337af6a2d4526559d065775 /libmpx | |
| parent | 6c06687c2ac3679e64ea6396d7310336f7cea415 (diff) | |
* mpxrt/mpxrt-utils.h (__mpxrt_stop): New prototype.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@245027 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libmpx')
| -rw-r--r-- | libmpx/ChangeLog | 4 | ||||
| -rw-r--r-- | libmpx/mpxrt/mpxrt-utils.h | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/libmpx/ChangeLog b/libmpx/ChangeLog index 82daa1fc9465..3edc2d499c6f 100644 --- a/libmpx/ChangeLog +++ b/libmpx/ChangeLog @@ -1,3 +1,7 @@ +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 diff --git a/libmpx/mpxrt/mpxrt-utils.h b/libmpx/mpxrt/mpxrt-utils.h index 6da12ccb803e..a6f4f1b3ca45 100644 --- 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 */ |