Commits on May 3, 2023

1. mango: improve handling of unsatisfiable ranges in selectors …

   Certain configurations of unsatisfiable field ranges could cause
   HTTP 500 because they are not handled, for example:
   
       {"$and": [{"field": {"$eq": N}}, {"field": {"$gt": N}}]}
   
   This makes `mango_idx_view:end_key/1` fail because there is no
   clause to cover `[{'$gt',35,'$eq',35}]`, the value that the
   selector becomes mapped to.
   
   Similar field ranges are somewhat already handled by being mapped
   to `empty` so this seems to be an oversight in the original
   implementation.  Consider the following case, which will not
   crash on the contrary:
   
       {"$and": [{"field": {"$gt": N}}, {"field": {"$eq": N}}]}
   
   Add the missing function clauses to fix this problem.
   
   Found by:	random query generation

   

   pgj committed May 3, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for fff3463
   • Browse repository at this point

   Copy the full SHA

   fff3463 View commit details

   Browse the repository at this point in the history