[Xapian-tickets] [Xapian] #415: get_document() on an empty database raises floating point exception

[Xapian]

#415: get_document() on an empty database raises floating point exception
-------------------------+--------------------------------------------------
 Reporter:  richard      |       Owner:  olly     
     Type:  defect       |      Status:  new      
 Priority:  normal       |   Milestone:  1.1.4    
Component:  Library API  |     Version:  SVN trunk
 Severity:  normal       |    Keywords:           
Blockedby:               |    Platform:  All      
 Blocking:               |  
-------------------------+--------------------------------------------------
Changes (by olly):

  * component:  Other => Library API
  * milestone:  => 1.1.4


Comment:

 This is because we don't check internal.size() and then proceed to divide
 and modulus by 0.

 In fact many methods of Xapian::Database currently fail to check this...

 We should fix this before 1.1.4 - it's not showstopper bug, but it's easy
 to fix and low risk.

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