From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <olly@survex.com>
Received: from localhost (localhost [127.0.0.1])
 by arlo.cworth.org (Postfix) with ESMTP id B20CA6DE01EC
 for <notmuch@notmuchmail.org>; Sun, 30 Sep 2018 02:20:42 -0700 (PDT)
X-Virus-Scanned: Debian amavisd-new at cworth.org
X-Spam-Flag: NO
X-Spam-Score: -0.319
X-Spam-Level: 
X-Spam-Status: No, score=-0.319 tagged_above=-999 required=5
 tests=[AWL=-0.317, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_PASS=-0.001,
 SPF_PASS=-0.001] autolearn=disabled
Received: from arlo.cworth.org ([127.0.0.1])
 by localhost (arlo.cworth.org [127.0.0.1]) (amavisd-new, port 10024)
 with ESMTP id zAwy8Q0PWmnK for <notmuch@notmuchmail.org>;
 Sun, 30 Sep 2018 02:20:41 -0700 (PDT)
Received: from thyestes.tartarus.org (thyestes.tartarus.org [5.196.91.86])
 by arlo.cworth.org (Postfix) with ESMTPS id B1CE56DE0151
 for <notmuch@notmuchmail.org>; Sun, 30 Sep 2018 02:20:41 -0700 (PDT)
Received: from olly by thyestes.tartarus.org with local (Exim 4.89)
 (envelope-from <olly@survex.com>)
 id 1g6Xu3-00046o-VO; Sun, 30 Sep 2018 10:20:39 +0100
Date: Sun, 30 Sep 2018 10:20:39 +0100
From: Olly Betts <olly@survex.com>
To: James Aylett <james@tartarus.org>
Cc: David Bremner <david@tethera.net>, notmuch@notmuchmail.org,
 xapian-discuss@lists.xapian.org
Subject: Re: xapian parser bug?
Message-ID: <20180930092039.7imrsrjyctpel2sp@survex.com>
Reply-To: Xapian Discussion <xapian-discuss@lists.xapian.org>
Mail-Followup-To: James Aylett <james@tartarus.org>,
 David Bremner <david@tethera.net>, notmuch@notmuchmail.org,
 xapian-discuss@lists.xapian.org
References: <87a7o02bya.fsf@tethera.net>
 <C78DADF9-5F94-47BE-99ED-19924FD9CABB@tartarus.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <C78DADF9-5F94-47BE-99ED-19924FD9CABB@tartarus.org>
User-Agent: NeoMutt/20170113 (1.7.2)
X-BeenThere: notmuch@notmuchmail.org
X-Mailman-Version: 2.1.26
Precedence: list
List-Id: "Use and development of the notmuch mail system."
 <notmuch.notmuchmail.org>
List-Unsubscribe: <https://notmuchmail.org/mailman/options/notmuch>,
 <mailto:notmuch-request@notmuchmail.org?subject=unsubscribe>
List-Archive: <http://notmuchmail.org/pipermail/notmuch/>
List-Post: <mailto:notmuch@notmuchmail.org>
List-Help: <mailto:notmuch-request@notmuchmail.org?subject=help>
List-Subscribe: <https://notmuchmail.org/mailman/listinfo/notmuch>,
 <mailto:notmuch-request@notmuchmail.org?subject=subscribe>
X-List-Received-Date: Sun, 30 Sep 2018 09:20:42 -0000

On Sun, Sep 30, 2018 at 09:50:30AM +0100, James Aylett wrote:
> Note that I'm using 1.4.7, and from your output I believe you're not
> (the * in the query description I believe doesn't happen in those
> situations any more).

1.4.4 and later eliminate redundant 0 scaling factors, but this one
isn't actually redundant:

> > Query(((Tmail AND 0 * XSUBJECTnot@1) AND_NOT (((Kspam OR Kdeleted) OR Kmuted) OR Kbad-address)))

If it was on the right-hand side of AND_NOT it would be eliminated
(because the right-hand side doesn't contribute any weight anyway).

FWIW, I also couldn't reproduce this (I tried with quest and 1.4.7):

$ quest -psubject:S -fdefault,boolean_any_case 'subject:"and"'
Parsed Query: Query(Sand@1)

Cheers,
    Olly