C++: Add barrier to InvalidPointerToDerefConfig in cpp/invalid-pointer-deref

[jketema]

No description provided.

[jketema]

DCA alert changes from the first DCA experiment are as expected, removing FP alerts that we expect this PR to remove.

[MathiasVP]

This FP also disappeared, right?:

void test26(unsigned size) {
  char *xs = new char[size];
  char *p = xs;
  char *end = p + size;
  if (p + 4 <= end) {
    p += 4;
  }
  if (p < end) {
    int val = *p; // GOOD [FALSE POSITIVE]
  }
}

[jketema]

This FP also disappeared, right?:

Yes. I apparently forgot to completely update the test file. Thanks for spotting that.

[MathiasVP]

LGTM once DCA is happy! (and the annotation has been fixed)

[jketema]

This FP also disappeared, right?:

Yes. I apparently forgot to completely update the test file. Thanks for spotting that.

Fixed in #13604