import new upstream nautilus stable release 14.2.8

[ceph.git] / ceph / src / boost / libs / contract / example / features / loop.cpp

diff --git a/ceph/src/boost/libs/contract/example/features/loop.cpp b/ceph/src/boost/libs/contract/example/features/loop.cpp
index 1fa2dd906298f281a9f79800ef8156ba899500eb..1d8acdd71cfdeac05ab740ffd1844e983b631998 100644 (file)
--- a/ceph/src/boost/libs/contract/example/features/loop.cpp
+++ b/ceph/src/boost/libs/contract/example/features/loop.cpp
@@ -23,7 +23,7 @@ int main() {
         boost::contract::check c = boost::contract::function()
             .precondition([&] {
                 BOOST_CONTRACT_ASSERT(
-                        total + *i <= std::numeric_limits<int>::max());
+                        total < std::numeric_limits<int>::max() - *i);
             })
             .postcondition([&] {
                 BOOST_CONTRACT_ASSERT(total == *old_total + *i);