diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure b/configure index 58eafd31c58..22ca4230fce 100755 --- a/configure +++ b/configure @@ -14488,8 +14488,10 @@ else int main () { +PG_INT64_TYPE a = 1; +PG_INT64_TYPE b = 1; PG_INT64_TYPE result; -__builtin_mul_overflow((PG_INT64_TYPE) 1, (PG_INT64_TYPE) 2, &result); +__builtin_mul_overflow(*(volatile PG_INT64_TYPE *) a, *(volatile PG_INT64_TYPE *) b, &result); ; return 0; |