github
diff --git a/‎cpp/cert/test/rules/CTR55-CPP/DoNotUseAnAdditiveOperatorOnAnIterator.expected
Copy file name to clipboardExpand all lines: cpp/cert/test/rules/CTR55-CPP/DoNotUseAnAdditiveOperatorOnAnIterator.expected
+1Lines changed: 1 addition & 0 deletions b/‎cpp/cert/test/rules/CTR55-CPP/DoNotUseAnAdditiveOperatorOnAnIterator.expected
Copy file name to clipboardExpand all lines: cpp/cert/test/rules/CTR55-CPP/DoNotUseAnAdditiveOperatorOnAnIterator.expected
+1Lines changed: 1 addition & 0 deletions
diff --git a/‎cpp/cert/test/rules/CTR55-CPP/test.cpp
Copy file name to clipboardExpand all lines: cpp/cert/test/rules/CTR55-CPP/test.cpp
+10Lines changed: 10 additions & 0 deletions b/‎cpp/cert/test/rules/CTR55-CPP/test.cpp
Copy file name to clipboardExpand all lines: cpp/cert/test/rules/CTR55-CPP/test.cpp
+10Lines changed: 10 additions & 0 deletions
@@ -5,3 +5,4 @@
 | test.cpp:28:31:28:31 | i | Increment of iterator may overflow since its bounds are not checked. |
 | test.cpp:41:5:41:8 | end2 | Increment of iterator may overflow since its bounds are not checked. |
 | test.cpp:53:42:53:42 | i | Increment of iterator may overflow since its bounds are not checked. |
+| test.cpp:64:15:64:15 | i | Increment of iterator may overflow since its bounds are not checked. |
@@ -53,4 +53,14 @@ void test(std::vector<int> &v, std::vector<int> &v2) {
     for (auto i = v.begin(); i != end; ++i) { // NON_COMPLIANT - wrong check
     }
   }
+}
+
+void test2(std::vector<int> &v) {
+  auto i = v.begin();
+  while (1) {
+    auto i2 = ((i != v.end()) != 0);
+    if (!i2)
+      break;
+    (void)((++i)); // COMPLIANT[FALSE_POSITIVE]
+  }
 }
Original file line number	Diff line number	Diff line change
`@@ -53,4 +53,14 @@ void test(std::vector<int> &v, std::vector<int> &v2) {`
`53`	`53`	`for (auto i = v.begin(); i != end; ++i) { // NON_COMPLIANT - wrong check`
`54`	`54`	`}`
`55`	`55`	`}`
	`56`	`+}`
	`57`	`+`
	`58`	`+void test2(std::vector<int> &v) {`
	`59`	`+ auto i = v.begin();`
	`60`	`+ while (1) {`
	`61`	`+ auto i2 = ((i != v.end()) != 0);`
	`62`	`+ if (!i2)`
	`63`	`+ break;`
	`64`	`+ (void)((++i)); // COMPLIANT[FALSE_POSITIVE]`
	`65`	`+ }`
`56`	`66`	`}`