Macaulay2 Engine
Loading...
Searching...
No Matches

◆ add_to() [2/2]

int32_t safe::add_to ( int32_t & x,
int32_t y,
const char * msg )
inlinestatic

Definition at line 130 of file overflow.hpp.

131{
132 int32_t z = (uint32_t)x + (uint32_t)y;
133 if
134 expect_false((int32_t)((uint32_t)x ^ (uint32_t)z) < 0 &&
135 (int32_t)((uint32_t)x ^ (uint32_t)y) >= 0) ov(msg);
136 return x = z;
137}
return(void *) result
void ov(const char *msg)
Definition overflow.cpp:5
volatile int x
#define expect_false(x)
Definition overflow.hpp:66

References expect_false, ov(), and x.

Referenced by add_to().