minus() [2/2]

int32_t safe::minus ( int32_t x, const char * msg )

inlinestatic

Definition at line 185 of file overflow.hpp.

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

References expect_false, ov(), and x.

Referenced by main(), minus(), monomialOrderDecodeToActualExponents(), and monomialOrderEncodeFromActualExponents().