diff options
author | Jakub Jelinek <jakub@redhat.com> | 2017-01-30 15:26:24 +0100 |
---|---|---|
committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2017-01-30 15:26:24 +0100 |
commit | 24fc4dd899b79a8e2f30e5088bd9fcea34d99923 (patch) | |
tree | ae9f40849d1ab720e337af6a2d4526559d065775 /libmpx | |
parent | 0c7247cc1e822a29b8b4d009b30bb17f2c0c841b (diff) | |
download | gcc-24fc4dd899b79a8e2f30e5088bd9fcea34d99923.zip gcc-24fc4dd899b79a8e2f30e5088bd9fcea34d99923.tar.gz gcc-24fc4dd899b79a8e2f30e5088bd9fcea34d99923.tar.bz2 |
* mpxrt/mpxrt-utils.h (__mpxrt_stop): New prototype.
From-SVN: r245027
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 82daa1f..3edc2d4 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 6da12cc..a6f4f1b 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 */ |