Overflow in parsing mintervals

[Dimitar Misev]

"SELECT count_cells(colD1S10Gb[0:536870911] >= 0) + count_cells(colD1S10Gb[1700091222:2236962133] >= 0) FROM colD1S10Gb"
----------------------------------------
rasdaman error 389: Execution error 389 in line 1, column 85, near token :: No interval (in case of fixed bounds, the upper one can not be smaller than the lower one).

2236962133 is bigger than 2^31 (2147483648), probably an int is used somewhere in the parser and the upper bound overflows in this case.

[Dimitar Misev]

The type sizes are a bit outdated and need a major review and update for rasdaman 10 I'd say.

[Dimitar Misev]

Patch attached, should be checked if it's backwards compatible.

[Dimitar Misev]

Here's an updated patch and a script to test it attachment:ticket_888.tar.gz​

[Dimitar Misev]

Note that this patch needs further work and careful evaluation. For example, with the patch:

$ rasql -q 'select avg_cells(c) from mr as c' --out string
Query result collection has 1 element(s):
  Result element 1: 2.60476e+09
rasql done.

Proper output expected:

$ rasql -q 'select avg_cells(c) from mr as c' --out string
Query result collection has 1 element(s):
  Result element 1: 39.8363
rasql done.

[apercov]

What exactly is expected result of the query presented in the description. I took a look, and the problem is not caused by integer type. This is received warning:

[DEBUG] - 2019-08-06 20:14:36,543, raslib/sinterval.cc:758: Cannot calculate intersection of intervals 0:536870911 and 7654604800:7654604804.
specified domain [0:536870911] does not intersect with the MDD spatial domain [7654604800:7654604804], returning empty result. 

[Dimitar Misev]

This ticket is a duplicate of #1935, it cannot be fixed without type support for 64-bit integers.