| 170 | } |
| 171 | |
| 172 | static |
| 173 | inline |
| 174 | int64 |
| 175 | int64_div(int64 num, int64 denom){ |
| 176 | if (denom == 0) { |
| 177 | ereport(ERROR, (errcode(ERRCODE_DIVISION_BY_ZERO), |
| 178 | errmsg("division by zero is not allowed"), |
| 179 | errdetail("Arrays with element 0 can not be use in the denominator"))); |
| 180 | } |
| 181 | return num / denom; |
| 182 | } |
| 183 | |
| 184 | static |
| 185 | inline |