sub_pos() [2/2]

int32_t safe::sub_pos ( int32_t x, int32_t y, const char * msg )

inlinestatic

Definition at line 172 of file overflow.hpp.

{
  if (x <= y) return 0;
  int32_t z = (uint32_t)x - (uint32_t)y;
  if
    expect_false(z < 0) ov(msg);
  return z;
}

References expect_false, ov(), and x.

Referenced by ExponentVector< int, true >::quotient(), and sub_pos().