From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <zsh-workers-return-34142-mason-zsh=primenet.com.au@zsh.org>
Received: (qmail 22038 invoked by alias); 6 Jan 2015 16:23:56 -0000
Mailing-List: contact zsh-workers-help@zsh.org; run by ezmlm
Precedence: bulk
X-No-Archive: yes
List-Id: Zsh Workers List <zsh-workers.zsh.org>
List-Post: <mailto:zsh-workers@zsh.org>
List-Help: <mailto:zsh-workers-help@zsh.org>
X-Seq: 34142
Received: (qmail 10715 invoked from network); 6 Jan 2015 16:23:55 -0000
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on f.primenet.com.au
X-Spam-Level: 
X-Spam-Status: No, score=-2.6 required=5.0 tests=BAYES_00,RCVD_IN_DNSWL_LOW
	autolearn=ham version=3.3.2
X-Authority-Analysis: v=2.1 cv=X+5rdgje c=1 sm=1 tr=0
 a=NYw9n4Tdrf7SEJJZV1QB5Q==:117 a=NYw9n4Tdrf7SEJJZV1QB5Q==:17 a=Hpgzp-inWqAA:10
 a=IkcTkHD0fZMA:10 a=Ks_eFmiWt7CxLkIRShMA:9 a=QEXdDO2ut3YA:10 a=C1LLwyMpVdsA:10
 a=ZnPtWa31wBsA:10 a=cbUAaccEXOsA:10
Message-id: <54AC0C18.5040904@eastlink.ca>
Date: Tue, 06 Jan 2015 08:23:52 -0800
From: Ray Andrews <rayandrews@eastlink.ca>
User-Agent: Mozilla/5.0 (X11; Linux i686; rv:31.0) Gecko/20100101 Icedove/31.3.0
MIME-version: 1.0
To: zsh-workers@zsh.org
Subject: Re: PATCH 16/17: compctl: Comparing array with 0 does nothing,
 check contents (should it be dropped instead?)
References: <1420521949-30483-1-git-send-email-mikachu@gmail.com>
 <1420521949-30483-17-git-send-email-mikachu@gmail.com>
In-reply-to: <1420521949-30483-17-git-send-email-mikachu@gmail.com>
Content-type: text/plain; charset=utf-8; format=flowed
Content-transfer-encoding: 7bit

On 01/05/2015 09:25 PM, Mikael Magnusson wrote:
> Found by Coverity (Issue 1255780).
This Coverity seems like quite something.  I've been poking around their 
website for half an hour, and tho it seems to be payware, I can't 
discover how much it costs--or is Mikael doing all this via the demo?