Use Policy to check for overflow in integer::operator-

foonathan · foonathan · commit 40a4897f99f0 · 2020-05-29T18:41:17.000+02:00
Also fixes an issue raised in #113.
diff --git a/include/type_safe/integer.hpp b/include/type_safe/integer.hpp
@@ -194,7 +194,7 @@ class integer
     {
         static_assert(std::is_signed<integer_type>::value,
                       "cannot call unary minus on unsigned integer");
-        return -value_;
+        return integer(Policy::template do_multiplication(value_, integer_type(-1)));
     }
 
     /// \effects Increments the integer by one.

Original file line number	Diff line number	Diff line change
`@@ -194,7 +194,7 @@ class integer`
`194`	`194`	`{`
`195`	`195`	`static_assert(std::is_signed<integer_type>::value,`
`196`	`196`	`"cannot call unary minus on unsigned integer");`
`197`		`- return -value_;`
	`197`	`+ return integer(Policy::template do_multiplication(value_, integer_type(-1)));`
`198`	`198`	`}`
`199`	`199`
`200`	`200`	`/// \effects Increments the integer by one.`