Add primitives for overflow-checked arithmetic operations.

We need to do arithmetic on untrusted values sometimes, so this patch
adds the following primitives as macros that wrap the compiler builtins.

  bool checked_add(TYPE addend0, TYPE addend1, TYPE *sum)
  bool checked_sub(TYPE minuend, TYPE subtrahend, TYPE *difference)
  bool checked_mul(TYPE factor0, TYPE factor1, TYPE *product)

And also the following primitive which returns True if divisor is 0 and
False otherwise:

  bool checked_div(TYPE dividend, TYPE divisor, TYPE *quotient)

Signed-off-by: Peter Jones <pjones@redhat.com>

0 files changed, 0 insertions, 0 deletions