Possible division by zero

[Bbulatov]

Hello!
During the static analysis was found possible mistake in code:

1. In oracle_fdw/oracle_gis.c:789 the condition may not be satisfied and then the function will return 0/1000 = 0 in oracle_fdw/oracle_gis.c:791. This value is then used, for example, in oracle_gis.c:969, which can lead to division by 0. Please clarify whether 0 is reached and whether this requires any changes?
   

[laurenz]

That looks questionable, less.
But I don't know that code; it was contributed by @vmora more than a decade ago.
So far, I have not had any error reports about division by zero there, so it might be safe.