Rule 8.13: Support crement operatios.

Author: lcartey

c/misra/test/rules/RULE-8-13/test.c

@@ -105,4 +105,8 @@ void test_struct_2(struct S *s) { // NON_COMPLIANT - could be const
 }
 
 void test_no_body(int *p); // COMPLIANT - no body, so cannot evaluate whether it
-                           // should be const
+                           // should be const
+
+void increment(int *p) { // COMPLIANT
+  *p++ = 1;
+}

cpp/common/src/codingstandards/cpp/SideEffect.qll

@@ -190,6 +190,8 @@ Expr getAnEffect(Expr base) {
   or
   exists(PointerDereferenceExpr e | e.getOperand() = base | result = getAnEffect(e))
   or
+  exists(CrementOperation c | c.getOperand() = base | result = getAnEffect(c))
+  or
   // local alias analysis, assume alias when data flows to derived type (pointer/reference)
   // auto ptr = &base;
   exists(VariableAccess va, AddressOfExpr addressOf |