michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix cpplint warning in util/safe_arith.cpp

Browse source
This commit is contained in:
Soonho Kong 2013-09-16 19:12:12 -07:00
parent 85a92e8888
commit 01339a93a3
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/safe_arith.cpp
View file

@ -9,7 +9,7 @@ Author: Leonardo de Moura
namespace lean { namespace lean {
void check_int_overflow(long long n) { void check_int_overflow(long long n) {
static_assert(sizeof(long long) > sizeof(int), static_assert(sizeof(n) > sizeof(int), // NOLINT
"sizeof(long long) is not bigger than sizeof(int)."); "sizeof(long long) is not bigger than sizeof(int).");
if (n < std::numeric_limits<int>::min()) if (n < std::numeric_limits<int>::min())
throw exception("integer underflow"); throw exception("integer underflow");