fix polyspace +N range overflow in inline suppressions

Author: Nussu06

lib/suppressions.cpp

@@ -33,6 +33,7 @@
 #include <cstring>
 #include <exception>
 #include <functional> // std::bind, std::placeholders
+#include <limits>
 #include <sstream>
 #include <stdexcept>
 #include <utility>
@@ -850,7 +851,7 @@ std::list<SuppressionList::Suppression> polyspace::Parser::parse(const std::stri
             if (rangeValue > 0) {
                 suppr.type = SuppressionList::Type::block;
                 suppr.lineBegin = line;
-                suppr.lineEnd = line + rangeValue;
+                suppr.lineEnd = (rangeValue > std::numeric_limits<int>::max() - line) ? std::numeric_limits<int>::max() : (line + rangeValue);
             }
             else if (polyspaceKind == polyspace::CommentKind::Regular)
                 suppr.type = SuppressionList::Type::unique;
@@ -886,7 +887,8 @@ int polyspace::Parser::parseRange(const std::string& comment, std::string::size_
         int ret = std::stoi(range);
         pos = endpos;
         return ret;
-    } catch (const std::invalid_argument &) {}
+    } catch (const std::invalid_argument &) {
+    } catch (const std::out_of_range &) {}
     return 0;
 }
 

test/testsuppressions.cpp

@@ -34,6 +34,7 @@
 
 #include <cstring>
 #include <initializer_list>
+#include <limits>
 #include <list>
 #include <map>
 #include <memory>
@@ -2175,6 +2176,10 @@ class TestSuppressions : public TestFixture {
         pos = 0;
         ASSERT_EQUALS(0, polyspace::Parser::parseRange(" +A ",pos));
         ASSERT_EQUALS(1U, pos);
+
+        pos = 0;
+        ASSERT_EQUALS(0, polyspace::Parser::parseRange(" +99999999999 ",pos));
+        ASSERT_EQUALS(1U, pos);
     }
 
     void polyspaceParseIds() const {
@@ -2365,6 +2370,12 @@ class TestSuppressions : public TestFixture {
             { "/* polyspace +3 MISRA2012 : 2.7 */", 1 },
             { { "premium-misra-c-2012-2.7", 1, "", SuppressionList::Type::block, 1, 4 } }
             );
+
+        testPolyspaceSuppression(
+            "", "--misra-c-2012",
+            { "/* polyspace +2147483647 MISRA2012 : 2.7 */", 2 },
+            { { "premium-misra-c-2012-2.7", 2, "", SuppressionList::Type::block, 2, std::numeric_limits<int>::max() } }
+            );
     }
 
     void polyspaceBlock() const {