stage3/array_range_check.cc
changeset 621 e3616f6b6959
parent 620 aef32856eeb5
child 625 c0bda77b37a0
child 646 dd76ce4a7e22
equal deleted inserted replaced
620:aef32856eeb5 621:e3616f6b6959
    78  *    first has a greater value.
    78  *    first has a greater value.
    79  *  - A value less than zero indicates that numbers does not match and
    79  *  - A value less than zero indicates that numbers does not match and
    80  *    first has a lesser value.
    80  *    first has a lesser value.
    81  */
    81  */
    82 static inline int cmp_unsigned_signed(const uint64_t u, const int64_t s) {
    82 static inline int cmp_unsigned_signed(const uint64_t u, const int64_t s) {
    83   if (u <= INT64_MAX)
    83   const uint64_t INT64_MAX_uvar = INT64_MAX;
       
    84   if (u <= INT64_MAX_uvar)
    84     return ((int64_t)u - s);
    85     return ((int64_t)u - s);
    85   return -1;
    86   return -1;
    86 }
    87 }
    87 
    88 
    88 array_range_check_c::array_range_check_c(symbol_c *ignore) {
    89 array_range_check_c::array_range_check_c(symbol_c *ignore) {