libstdc++-v3/ChangeLog:

        * include/bits/c++config (__replacement_assert): Add noreturn
        attribute.
        (__glibcxx_assert_impl): Use __builtin_expect to hint that the
        assertion is expected to pass.

Tested powerpc64le-linux. Committed to trunk.

commit 7db5967f1050eb2b45e920b13d495d92ba4f16f4
Author: Jonathan Wakely <jwak...@redhat.com>
Date:   Mon Sep 21 23:43:25 2020

    libstdc++: Use __builtin_expect in __glibcxx_assert
    
    libstdc++-v3/ChangeLog:
    
            * include/bits/c++config (__replacement_assert): Add noreturn
            attribute.
            (__glibcxx_assert_impl): Use __builtin_expect to hint that the
            assertion is expected to pass.

diff --git a/libstdc++-v3/include/bits/c++config 
b/libstdc++-v3/include/bits/c++config
index badf9d01a04..860bf6dbcb3 100644
--- a/libstdc++-v3/include/bits/c++config
+++ b/libstdc++-v3/include/bits/c++config
@@ -468,7 +468,8 @@ namespace std
 {
   // Avoid the use of assert, because we're trying to keep the <cassert>
   // include out of the mix.
-  extern "C++" inline void
+  extern "C++" _GLIBCXX_NORETURN
+  inline void
   __replacement_assert(const char* __file, int __line,
                       const char* __function, const char* __condition)
   {
@@ -478,7 +479,7 @@ namespace std
   }
 }
 #define __glibcxx_assert_impl(_Condition)                             \
-  if (!bool(_Condition))                                              \
+  if (__builtin_expect(!bool(_Condition), false))                     \
     std::__replacement_assert(__FILE__, __LINE__, __PRETTY_FUNCTION__, \
                              #_Condition)
 #endif

Reply via email to