False negative: pointer-to-integer conversion in compound assignment

[Rodri]

Hi, I found a false negative regarding the rule AssignmentAddressToInteger.

Cppcheck misses the pointer-to-integer conversion when it is written as a compound assignment.

int f(int *p) {
  int a = 0;
  a += p;
  return a + 4;
}

Actual result

Cppcheck does not report AssignmentAddressToInteger. Replacing a += p with a = a + p produces the warning.

Expected result

Cppcheck should also report the pointer-to-integer conversion in the compound assignment.

Verification

The issue was reproduced with:

cppcheck --output-format=xmlv2 --enable=all assignment_compound.c

Version: 2.21.0

[CHR]

Thanks for reporting, ticket is here: https://trac.cppcheck.net/ticket/15075