int.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
static bool	pg_add_s16_overflow (int16 a, int16 b, int16 *result)
static bool	pg_sub_s16_overflow (int16 a, int16 b, int16 *result)
static bool	pg_mul_s16_overflow (int16 a, int16 b, int16 *result)
static bool	pg_add_s32_overflow (int32 a, int32 b, int32 *result)
static bool	pg_sub_s32_overflow (int32 a, int32 b, int32 *result)
static bool	pg_mul_s32_overflow (int32 a, int32 b, int32 *result)
static bool	pg_add_s64_overflow (int64 a, int64 b, int64 *result)
static bool	pg_sub_s64_overflow (int64 a, int64 b, int64 *result)
static bool	pg_mul_s64_overflow (int64 a, int64 b, int64 *result)
static bool	pg_add_u16_overflow (uint16 a, uint16 b, uint16 *result)
static bool	pg_sub_u16_overflow (uint16 a, uint16 b, uint16 *result)
static bool	pg_mul_u16_overflow (uint16 a, uint16 b, uint16 *result)
static bool	pg_add_u32_overflow (uint32 a, uint32 b, uint32 *result)
static bool	pg_sub_u32_overflow (uint32 a, uint32 b, uint32 *result)
static bool	pg_mul_u32_overflow (uint32 a, uint32 b, uint32 *result)
static bool	pg_add_u64_overflow (uint64 a, uint64 b, uint64 *result)
static bool	pg_sub_u64_overflow (uint64 a, uint64 b, uint64 *result)
static bool	pg_mul_u64_overflow (uint64 a, uint64 b, uint64 *result)

Function Documentation

pg_add_s16_overflow()

static bool pg_add_s16_overflow ( int16  a, int16  b, int16 *  result  )

inlinestatic

Definition at line 47 of file int.h.

References PG_INT16_MAX, and PG_INT16_MIN.

Referenced by int2pl().

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_add_overflow(a, b, result);
#else
    int32       res = (int32) a + (int32) b;

    if (res > PG_INT16_MAX || res < PG_INT16_MIN)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = (int16) res;
    return false;
#endif
}

pg_add_s32_overflow()

static bool pg_add_s32_overflow ( int32  a, int32  b, int32 *  result  )

inlinestatic

Definition at line 104 of file int.h.

References PG_INT32_MAX, and PG_INT32_MIN.

Referenced by array_append(), ArrayCheckBounds(), bit_overlay(), bitsubstring(), bytea_overlay(), bytea_substring(), detoast_attr_slice(), generate_series_step_int4(), in_range_int2_int4(), in_range_int4_int4(), int24pl(), int42pl(), int4inc(), int4pl(), repeat(), text_format_parse_digits(), text_overlay(), text_substring(), and width_bucket_float8().

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_add_overflow(a, b, result);
#else
    int64       res = (int64) a + (int64) b;

    if (res > PG_INT32_MAX || res < PG_INT32_MIN)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = (int32) res;
    return false;
#endif
}

pg_add_s64_overflow()

static bool pg_add_s64_overflow ( int64  a, int64  b, int64 *  result  )

inlinestatic

Definition at line 161 of file int.h.

References PG_INT64_MAX, and PG_INT64_MIN.

Referenced by evalStandardFunc(), generate_series_step_int8(), in_range_int4_int8(), in_range_int8_int8(), int28pl(), int48pl(), int82pl(), int84pl(), int8inc(), int8pl(), and interval_part_common().

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_add_overflow(a, b, result);
#elif defined(HAVE_INT128)
    int128      res = (int128) a + (int128) b;

    if (res > PG_INT64_MAX || res < PG_INT64_MIN)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = (int64) res;
    return false;
#else
    if ((a > 0 && b > 0 && a > PG_INT64_MAX - b) ||
        (a < 0 && b < 0 && a < PG_INT64_MIN - b))
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = a + b;
    return false;
#endif
}

pg_add_u16_overflow()

static bool pg_add_u16_overflow ( uint16  a, uint16  b, uint16 *  result  )

inlinestatic

Definition at line 266 of file int.h.

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_add_overflow(a, b, result);
#else
    uint16      res = a + b;

    if (res < a)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = res;
    return false;
#endif
}

pg_add_u32_overflow()

static bool pg_add_u32_overflow ( uint32  a, uint32  b, uint32 *  result  )

inlinestatic

Definition at line 321 of file int.h.

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_add_overflow(a, b, result);
#else
    uint32      res = a + b;

    if (res < a)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = res;
    return false;
#endif
}

pg_add_u64_overflow()

static bool pg_add_u64_overflow ( uint64  a, uint64  b, uint64 *  result  )

inlinestatic

Definition at line 376 of file int.h.

Referenced by numericvar_to_uint64().

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_add_overflow(a, b, result);
#else
    uint64      res = a + b;

    if (res < a)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = res;
    return false;
#endif
}

pg_mul_s16_overflow()

static bool pg_mul_s16_overflow ( int16  a, int16  b, int16 *  result  )

inlinestatic

Definition at line 83 of file int.h.

References PG_INT16_MAX, and PG_INT16_MIN.

Referenced by int2mul(), and pg_strtoint16().

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_mul_overflow(a, b, result);
#else
    int32       res = (int32) a * (int32) b;

    if (res > PG_INT16_MAX || res < PG_INT16_MIN)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = (int16) res;
    return false;
#endif
}

pg_mul_s32_overflow()

static bool pg_mul_s32_overflow ( int32  a, int32  b, int32 *  result  )

inlinestatic

Definition at line 140 of file int.h.

References PG_INT32_MAX, and PG_INT32_MIN.

Referenced by int24mul(), int42mul(), int4lcm(), int4mul(), pg_strtoint32(), repeat(), text_format_parse_digits(), and text_substring().

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_mul_overflow(a, b, result);
#else
    int64       res = (int64) a * (int64) b;

    if (res > PG_INT32_MAX || res < PG_INT32_MIN)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = (int32) res;
    return false;
#endif
}

pg_mul_s64_overflow()

static bool pg_mul_s64_overflow ( int64  a, int64  b, int64 *  result  )

inlinestatic

Definition at line 215 of file int.h.

References PG_INT32_MAX, PG_INT32_MIN, PG_INT64_MAX, and PG_INT64_MIN.

Referenced by cash_in(), evalStandardFunc(), int28mul(), int48mul(), int64_div_fast_to_numeric(), int82mul(), int84mul(), int8lcm(), int8mul(), interval_part_common(), numericvar_to_int64(), scanint8(), and strtoint64().

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_mul_overflow(a, b, result);
#elif defined(HAVE_INT128)
    int128      res = (int128) a * (int128) b;

    if (res > PG_INT64_MAX || res < PG_INT64_MIN)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = (int64) res;
    return false;
#else
    /*
     * Overflow can only happen if at least one value is outside the range
     * sqrt(min)..sqrt(max) so check that first as the division can be quite a
     * bit more expensive than the multiplication.
     *
     * Multiplying by 0 or 1 can't overflow of course and checking for 0
     * separately avoids any risk of dividing by 0.  Be careful about dividing
     * INT_MIN by -1 also, note reversing the a and b to ensure we're always
     * dividing it by a positive value.
     *
     */
    if ((a > PG_INT32_MAX || a < PG_INT32_MIN ||
         b > PG_INT32_MAX || b < PG_INT32_MIN) &&
        a != 0 && a != 1 && b != 0 && b != 1 &&
        ((a > 0 && b > 0 && a > PG_INT64_MAX / b) ||
         (a > 0 && b < 0 && b < PG_INT64_MIN / a) ||
         (a < 0 && b > 0 && a < PG_INT64_MIN / b) ||
         (a < 0 && b < 0 && a < PG_INT64_MAX / b)))
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = a * b;
    return false;
#endif
}

pg_mul_u16_overflow()

static bool pg_mul_u16_overflow ( uint16  a, uint16  b, uint16 *  result  )

inlinestatic

Definition at line 300 of file int.h.

References PG_UINT16_MAX.

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_mul_overflow(a, b, result);
#else
    uint32      res = (uint32) a * (uint32) b;

    if (res > PG_UINT16_MAX)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = (uint16) res;
    return false;
#endif
}

pg_mul_u32_overflow()

static bool pg_mul_u32_overflow ( uint32  a, uint32  b, uint32 *  result  )

inlinestatic

Definition at line 355 of file int.h.

References PG_UINT32_MAX.

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_mul_overflow(a, b, result);
#else
    uint64      res = (uint64) a * (uint64) b;

    if (res > PG_UINT32_MAX)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = (uint32) res;
    return false;
#endif
}

pg_mul_u64_overflow()

static bool pg_mul_u64_overflow ( uint64  a, uint64  b, uint64 *  result  )

inlinestatic

Definition at line 410 of file int.h.

References PG_UINT64_MAX.

Referenced by numericvar_to_uint64().

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_mul_overflow(a, b, result);
#elif defined(HAVE_INT128)
    uint128     res = (uint128) a * (uint128) b;

    if (res > PG_UINT64_MAX)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = (uint64) res;
    return false;
#else
    uint64      res = a * b;

    if (a != 0 && b != res / a)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = res;
    return false;
#endif
}

pg_sub_s16_overflow()

static bool pg_sub_s16_overflow ( int16  a, int16  b, int16 *  result  )

inlinestatic

Definition at line 65 of file int.h.

References PG_INT16_MAX, and PG_INT16_MIN.

Referenced by int2_dist(), int2mi(), and pg_strtoint16().

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_sub_overflow(a, b, result);
#else
    int32       res = (int32) a - (int32) b;

    if (res > PG_INT16_MAX || res < PG_INT16_MIN)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = (int16) res;
    return false;
#endif
}

pg_sub_s32_overflow()

static bool pg_sub_s32_overflow ( int32  a, int32  b, int32 *  result  )

inlinestatic

Definition at line 122 of file int.h.

References PG_INT32_MAX, and PG_INT32_MIN.

Referenced by array_prepend(), int24mi(), int42mi(), int4_dist(), int4mi(), and pg_strtoint32().

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_sub_overflow(a, b, result);
#else
    int64       res = (int64) a - (int64) b;

    if (res > PG_INT32_MAX || res < PG_INT32_MIN)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = (int32) res;
    return false;
#endif
}

pg_sub_s64_overflow()

static bool pg_sub_s64_overflow ( int64  a, int64  b, int64 *  result  )

inlinestatic

Definition at line 188 of file int.h.

References PG_INT64_MAX, and PG_INT64_MIN.

Referenced by cash_dist(), cash_in(), evalStandardFunc(), int28mi(), int48mi(), int82mi(), int84mi(), int8_dist(), int8dec(), int8mi(), numericvar_to_int64(), scanint8(), and strtoint64().

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_sub_overflow(a, b, result);
#elif defined(HAVE_INT128)
    int128      res = (int128) a - (int128) b;

    if (res > PG_INT64_MAX || res < PG_INT64_MIN)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = (int64) res;
    return false;
#else
    if ((a < 0 && b > 0 && a < PG_INT64_MIN + b) ||
        (a > 0 && b < 0 && a > PG_INT64_MAX + b))
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = a - b;
    return false;
#endif
}

pg_sub_u16_overflow()

static bool pg_sub_u16_overflow ( uint16  a, uint16  b, uint16 *  result  )

inlinestatic

Definition at line 284 of file int.h.

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_sub_overflow(a, b, result);
#else
    if (b > a)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = a - b;
    return false;
#endif
}

pg_sub_u32_overflow()

static bool pg_sub_u32_overflow ( uint32  a, uint32  b, uint32 *  result  )

inlinestatic

Definition at line 339 of file int.h.

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_sub_overflow(a, b, result);
#else
    if (b > a)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = a - b;
    return false;
#endif
}

pg_sub_u64_overflow()

static bool pg_sub_u64_overflow ( uint64  a, uint64  b, uint64 *  result  )

inlinestatic

Definition at line 394 of file int.h.

{
#if defined(HAVE__BUILTIN_OP_OVERFLOW)
    return __builtin_sub_overflow(a, b, result);
#else
    if (b > a)
    {
        *result = 0x5EED;       /* to avoid spurious warnings */
        return true;
    }
    *result = a - b;
    return false;
#endif
}