From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from euclid.skiles.gatech.edu (list@euclid.skiles.gatech.edu [130.207.146.50]) by coral.primenet.com.au (8.7.5/8.7.3) with ESMTP id XAA05530 for <mason@primenet.com.au>; Tue, 10 Sep 1996 23:01:17 +1000 (EST)
Received: (from list@localhost) by euclid.skiles.gatech.edu (8.7.3/8.7.3) id IAA01878; Tue, 10 Sep 1996 08:44:51 -0400 (EDT)
Resent-Date: Tue, 10 Sep 1996 08:44:51 -0400 (EDT)
From: Daniel Brahneborg <basic@abalon.se>
Message-Id: <199609101243.OAA16125@dolphin.abalon.se>
Subject: Re: checking zsh
To: zsh-workers@math.gatech.edu
Date: Tue, 10 Sep 1996 14:43:09 +0200 (MET DST)
Cc: basic@abalon.se (Daniel Brahneborg)
In-Reply-To: <199609082028.WAA00435@hzoli.ppp.cs.elte.hu> from Zoltan Hidvegi at "Sep 8, 96 10:28:14 pm"
X-Mailer: ELM [version 2.4ME+ PL16 (25)]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Resent-Message-ID: <"uoVRf1.0.GT.2BMDo"@euclid>
Resent-From: zsh-workers@math.gatech.edu
X-Mailing-List: <zsh-workers@math.gatech.edu> archive/latest/2121
X-Loop: zsh-workers@math.gatech.edu
Precedence: list
Resent-Sender: zsh-workers-request@math.gatech.edu

Hi all!

I've done some checking on zsh-3.0.1 with Insure++.
Unfortunately here are lots of bugs in Insure, so the output 
isn't entirely reliable.  It has found two small things though:

- In createparamtable() in params.c, it looks as if the memory 
  allocated to "Param pm;" is lost.

- In addfd() in exec.c, the check "if (!fdtable[subsh_close])"
  seems to be executed even when subsh_close = -1.

The line allocated in inputline() might also be free'd and
reallocated, but that might just as well be an Insure bug.

Apart from these things, Zsh seems to be quite bug free.
(At least on this level.)

Let me know if the bugs were real, or if Insure just got
confused.  I'm not on a member of this mailing list, so keep 
a Cc: to me.  Thanks.

\Basic