From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!not-for-mail
From: Dan Nicolaescu <dann@ics.uci.edu>
Newsgroups: gmane.emacs.devel
Subject: Re: Problem report #13 FALSE
Date: Wed, 10 May 2006 19:46:05 -0700
Message-ID: <200605110246.k4B2k5kv011189@amrm2.ics.uci.edu>
References: <200604111549.k3BFnQ2N015126@scanner2.ics.uci.edu>
	<E1Fe0lY-0002QP-00@etlken>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: sea.gmane.org 1147315587 852 80.91.229.2 (11 May 2006 02:46:27 GMT)
X-Complaints-To: usenet@sea.gmane.org
NNTP-Posting-Date: Thu, 11 May 2006 02:46:27 +0000 (UTC)
Cc: emacs-devel@gnu.org
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu May 11 04:46:25 2006
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
Envelope-to: ged-emacs-devel@m.gmane.org
Original-Received: from lists.gnu.org ([199.232.76.165])
	by ciao.gmane.org with esmtp (Exim 4.43)
	id 1Fe1C5-00026v-CW
	for ged-emacs-devel@m.gmane.org; Thu, 11 May 2006 04:46:25 +0200
Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43)
	id 1Fe1C4-0006a7-UO
	for ged-emacs-devel@m.gmane.org; Wed, 10 May 2006 22:46:24 -0400
Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1Fe1Bp-0006Wv-Dy
	for emacs-devel@gnu.org; Wed, 10 May 2006 22:46:09 -0400
Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1Fe1Bo-0006Vr-Oz
	for emacs-devel@gnu.org; Wed, 10 May 2006 22:46:09 -0400
Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1Fe1Bo-0006Vc-Ft
	for emacs-devel@gnu.org; Wed, 10 May 2006 22:46:08 -0400
Original-Received: from [128.195.11.178] (helo=amrm2.ics.uci.edu)
	by monty-python.gnu.org with esmtps
	(TLS-1.0:DHE_RSA_AES_256_CBC_SHA:32) (Exim 4.52) id 1Fe1DE-0004t0-5Y
	for emacs-devel@gnu.org; Wed, 10 May 2006 22:47:36 -0400
Original-Received: from amrm2.ics.uci.edu (amrm2.ics.uci.edu [127.0.0.1])
	by amrm2.ics.uci.edu (8.13.6/8.13.6) with ESMTP id k4B2k5tY011190;
	Wed, 10 May 2006 19:46:05 -0700
Original-Received: (from dann@localhost)
	by amrm2.ics.uci.edu (8.13.6/8.13.6/Submit) id k4B2k5kv011189;
	Wed, 10 May 2006 19:46:05 -0700
Original-To: Kenichi Handa <handa@m17n.org>
In-Reply-To: <E1Fe0lY-0002QP-00@etlken> (Kenichi Handa's message of "Thu, 11
	May 2006 11:19:00 +0900")
Original-Lines: 15
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <http://lists.gnu.org/mailman/listinfo/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/pipermail/emacs-devel>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <http://lists.gnu.org/mailman/listinfo/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=subscribe>
Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org
Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org
Xref: news.gmane.org gmane.emacs.devel:54221
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/54221>

Kenichi Handa <handa@m17n.org> writes:

  > > Event var_compare_op: Added "(coding)->cmp_data" due to comparison "(coding)->cmp_data == 0"
  > > Also see events: [var_deref_model]
  > > At conditional (1): "(coding)->cmp_data == 0" taking true path
  >
  > > 6435 	  if (coding->type != coding_type_ccl
  > > 6436 	      && (! coding->cmp_data || coding->cmp_data->used == 0))
  > > 6437 	    {
  >
  > Does the checker require it to be writen as below?
  >
  > > 6436 	      && (coding->cmp_data ? coding->cmp_data->used == 0 : 1))

I don't know...