Re: Strange parameter visibility

[Peter Stephenson <p.stephenson@xxxxxxxxxxx>]

On Fri, 30 Sep 2016 09:50:32 +0100
Peter Stephenson <p.stephenson@xxxxxxxxxxx> wrote:
> I wonder if that means there are cases where the change is problematic
> --- I hadn't realised this also covered assignments before running a
> command.  Given your experience elsewhere, you might find this makes
> pipestatus worse if you test it on relevant shell code, for example.

I've now realised WC_ASSIGN just applies to the invididual assignment
--- it doesn't actually mark the command line at all, there could in
principle be any sort of command after it.  So probably the change is
unsafe and needs to be backed off at least for now.

I'm not sure it's worth scanning down the code and seeing what's next in
excpline2(), though that's probably the right thing to do.

A more robust fix is a complete refactoring of execcmd(), which is far
too big anyway, with the appropriate parts being called form above,
deciding on asignments and analysing the commands early, possibly
allowing there to be a single fork in one place.  However, that's a big
job --- and without extra code to delay prefork() I still don't think
that fixes the case ": ${x:=2} | echo $x", and I suspect the case
"cmd=:; $cmd ${x:=2} | echo $x" is pretty much unfixable without
delaying the assignment from the ${x:=2} until a later part of
processing, which might have side effects.

pws

diff --git a/Src/exec.c b/Src/exec.c
index e253d7b..2714edb 100644
--- a/Src/exec.c
+++ b/Src/exec.c
@@ -1844,7 +1844,7 @@ execpline2(Estate state, wordcode pcode,
 	/* if we are doing "foo | bar" where foo is a current *
 	 * shell command, do foo in a subshell and do the     *
 	 * rest of the pipeline in the current shell.         */
-	if ((wc_code(code) >= WC_CURSH || wc_code(code) == WC_ASSIGN)
+	if ((wc_code(code) >= WC_CURSH)
 	    && (how & Z_SYNC)) {
 	    int synch[2];
 	    struct timeval bgtime;
index 0b1085c..1ad73c5 100644
--- a/Test/A01grammar.ztst
+++ b/Test/A01grammar.ztst
@@ -757,9 +757,12 @@
 >}
 >Stuff here
 
-  x=1
-  x=2 | echo $x
-  echo $x
-0:Assignment-only current shell commands in LHS of pipelin
->1
->1
+## This problem is hard to fix without significant changes to how
+## the shell forks for a pipeline.
+#
+#   x=1
+#   x=2 | echo $x
+#   echo $x
+# 0:Assignment-only current shell commands in LHS of pipelin
+# >1
+# >1