[Xapian-tickets] [Xapian] #475: Multi XOR can return inconsistent results

[Xapian]

#475: Multi XOR can return inconsistent results
---------------------+------------------------------------------------------
 Reporter:  richard  |       Owner:  olly     
     Type:  defect   |      Status:  new      
 Priority:  normal   |   Milestone:  1.2.1    
Component:  Matcher  |     Version:  SVN trunk
 Severity:  normal   |    Keywords:           
Blockedby:           |    Platform:  All      
 Blocking:           |  
---------------------+------------------------------------------------------

Comment(by olly):

 From discussion on IRC, it seems the problem is probably that XOR should
 pass min_weight of 0 to child posting lists, since it wants to know if
 either child matches since that match invalidates a match in the other
 child.  Decay to AND_NOT should be safe still (the actual issue with the
 example being with the left XOR, not the decaying right one).

 Richard: Are you working on this?  Do you have a reduced test case
 already, or just the description of one?

-- 
Ticket URL: <http://trac.xapian.org/ticket/475#comment:3>
Xapian <http://xapian.org/>
Xapian