[SCM] gawk branch, gawk-5.1-stable, updated. gawk-4.1.0-4032-gd10a27c

[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-5.1-stable has been updated
       via  d10a27cb61fbbbe09490e46f379411a4a90b74f8 (commit)
      from  0446a2679b81c5e319dfe74074d1b9ab441213f1 (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=d10a27cb61fbbbe09490e46f379411a4a90b74f8

commit d10a27cb61fbbbe09490e46f379411a4a90b74f8
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Jul 13 16:14:36 2020 +0300

    Small speedup in mpg_interpret.

diff --git a/ChangeLog b/ChangeLog
index 7209808..fab7fef 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2020-07-13         Arnold D. Robbins     <arnold@skeeve.com>
+
+       * mpfr.c (mpg_interpret): Small speedup. If do_itrace and opcode is
+       not one that's handled, return early.
+
 2020-07-12         Arnold D. Robbins     <arnold@skeeve.com>
 
        * mpfr.c (mpg_interpret): Make the instruction tracing more sane.
diff --git a/mpfr.c b/mpfr.c
index f581aba..978fd68 100644
--- a/mpfr.c
+++ b/mpfr.c
@@ -1554,9 +1554,9 @@ mpg_interpret(INSTRUCTION **cp)
                case Op_assign_exp:
                        fprintf(stderr, "++ %s: mpg_interpret\n", 
opcode2str(op));
                        fflush(stderr);
-                       // fall thru to break
-               default:
                        break;
+               default:
+                       return true;    /* unhandled */
                }
        }
 

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

Summary of changes:
 ChangeLog | 5 +++++
 mpfr.c    | 4 ++--
 2 files changed, 7 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
gawk