INT32-C: Add tests for ++,--

Author: lcartey

c/cert/test/rules/INT32-C/SignedIntegerOverflow.expected

@@ -20,3 +20,5 @@
 | test.c:146:5:146:11 | ... % ... | Operation % of type int may overflow or underflow. |
 | test.c:147:5:147:12 | ... %= ... | Operation %= of type signed int may overflow or underflow. |
 | test.c:161:3:161:5 | - ... | Operation - of type signed int may overflow or underflow. |
+| test.c:173:3:173:6 | ... ++ | Operation ++ of type signed int may overflow or underflow. |
+| test.c:189:3:189:6 | ... -- | Operation -- of type signed int may overflow or underflow. |

c/cert/test/rules/INT32-C/test.c

@@ -167,4 +167,36 @@ void test_negate_precheck(signed int i1) {
   } else {
     -i1; // COMPLIANT
   }
+}
+
+void test_inc(signed int i1) {
+  i1++; // NON_COMPLIANT
+}
+
+void test_inc_guard(signed int i1) {
+  if (i1 < INT_MAX) {
+    i1++; // COMPLIANT
+  }
+}
+
+void test_inc_loop_guard() {
+  for (signed int i1 = 0; i1 < 10; i1++) { // COMPLIANT
+    // ...
+  }
+}
+
+void test_dec(signed int i1) {
+  i1--; // NON_COMPLIANT
+}
+
+void test_dec_guard(signed int i1) {
+  if (i1 > INT_MIN) {
+    i1--; // COMPLIANT
+  }
+}
+
+void test_dec_loop_guard() {
+  for (signed int i1 = 10; i1 > 0; i1--) { // COMPLIANT
+    // ...
+  }
 }