[gawk-diffs] [SCM] gawk branch, gawk-4.0-stable, updated. 337577552dfabe64647be9415a41fd13f96bf0cf

[Arnold Robbins]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".

The branch, gawk-4.0-stable has been updated
       via  337577552dfabe64647be9415a41fd13f96bf0cf (commit)
      from  993362a337da4576050d4dd2812ffa753553ea88 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=337577552dfabe64647be9415a41fd13f96bf0cf

commit 337577552dfabe64647be9415a41fd13f96bf0cf
Author: Arnold D. Robbins <address@hidden>
Date:   Tue Aug 23 23:55:53 2011 +0300

    Bug fix for gcc -fno-inline -O2.

diff --git a/ChangeLog b/ChangeLog
index 5fcf749..e047cc3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2011-08-23         Arnold D. Robbins     <address@hidden>
+
+       * regex_internal.c (re_string_fetch_byte_case ): Remove
+       __attribute((pure)) since it causes failures with gcc -O2
+       -fno-inline. Thanks to Neil Cahill <address@hidden>
+       for reporting the bug.
+
 2011-08-10         John Haque      <address@hidden>
 
        BEGINFILE/ENDFILE related code redone.
diff --git a/regex_internal.c b/regex_internal.c
index 44bb3ec..0c4f8f8 100644
--- a/regex_internal.c
+++ b/regex_internal.c
@@ -871,7 +871,7 @@ re_string_peek_byte_case (const re_string_t *pstr, int idx)
 }
 
 static unsigned char
-internal_function __attribute ((pure))
+internal_function
 re_string_fetch_byte_case (re_string_t *pstr)
 {
   if (BE (!pstr->mbs_allocated, 1))

-----------------------------------------------------------------------

Summary of changes:
 ChangeLog        |    7 +++++++
 regex_internal.c |    2 +-
 2 files changed, 8 insertions(+), 1 deletions(-)


hooks/post-receive
-- 
gawk