Direct binding gets incorrectly overwritten

[isuckatcs]

int main() {
  int x = 1024;
  *((char *)&x) = 0;

  if (!x) {
    clang_analyzer_warnIfReached();
  }

  return 0;
}

warning: REACHABLE [debug.ExprInspection]
    clang_analyzer_warnIfReached();
    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

The statement *((char *)&x) = 0 assigns 0 to the last byte of x (on a little endian system), but the analyzer incorrectly models it as overwriting the value of x with 0. In reality the value of x remains 1024.

See the example on Godbolt.

[llvmbot]

@llvm/issue-subscribers-clang-static-analyzer