Mailing-List: contact zsh-workers-help@zsh.org; run by ezmlm
Precedence: bulk
From: Bart Schaefer <schaefer@brasslantern.com>
Message-Id: <160603234656.ZM26404@torch.brasslantern.com>
Date: Fri, 3 Jun 2016 23:46:56 -0700
In-Reply-To: <CAMP44s2=qFNbeBOhNLu+f--VasbzJ=dAX1ia6Me7Mg9nRe=UbA@mail.gmail.com>
Comments: In reply to Felipe Contreras <felipe.contreras@gmail.com>
        "Bug in syntax check" (Jun  4,  5:13am)
References: <CAMP44s2=qFNbeBOhNLu+f--VasbzJ=dAX1ia6Me7Mg9nRe=UbA@mail.gmail.com>
To: "zsh-workers@zsh.org" <zsh-workers@zsh.org>
Subject: Re: Bug in syntax check
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii

On Jun 4,  5:13am, Felipe Contreras wrote:
} 
} The following script works fine, but when run with 'zsh -n' the syntax
} checker returns an error:
} 
} 6: no such user or named directory: tmp


diff --git a/Src/subst.c b/Src/subst.c
index 4e13ce1..8e704b1 100644
--- a/Src/subst.c
+++ b/Src/subst.c
@@ -691,7 +691,7 @@ filesubstr(char **namptr, int assign)
 		return 0;
 	    *ptr = 0;
 	    if (!(hom = getnameddir(++str))) {
-		if (isset(NOMATCH))
+		if (isset(NOMATCH) && isset(EXECOPT))
 		    zerr("no such user or named directory: %s", str);
 		*ptr = save;
 		return 0;