From 05588b6b5f17e6f2607cefd7d02dbb08736000dc Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Thu, 11 Jan 2024 10:02:41 -0800 Subject: [PROPOSED 2/5] Simplify zishrink.awk * zishrink.awk (process_input_line): Simplify by omitting an optimization that is no longer needed. --- zishrink.awk | 21 +-------------------- 1 file changed, 1 insertion(+), 20 deletions(-) diff --git a/zishrink.awk b/zishrink.awk index ee5633c5..500e6cf8 100644 --- a/zishrink.awk +++ b/zishrink.awk @@ -162,7 +162,7 @@ function make_line(n, field, \ # Process the input line LINE and save it for later output. function process_input_line(line, \ - f, field, end, i, n, r, startdef, \ + f, field, end, n, r, \ linkline, ruleline, zoneline) { # Remove comments, normalize spaces, and append a space to each line. @@ -236,25 +236,6 @@ function process_input_line(line, \ rule_used[r] = 1 } - # If this zone supersedes an earlier one, delete the earlier one - # from the saved output lines. - startdef = "" - if (zoneline) - zonename = startdef = field[2] - else if (linkline) - zonename = startdef = field[3] - else if (ruleline) - zonename = "" - if (startdef) { - i = zonedef[startdef] - if (i) { - do - output_line[i - 1] = "" - while (output_line[i++] ~ /^[-+0-9]/); - } - } - zonedef[zonename] = nout + 1 - # Save the line for later output. output_line[nout++] = make_line(n, field) } -- 2.40.1