[clang] [clang][analyzer] Add StoreToImmutable checker (PR #150417)

[Donát Nagy via cfe-commits]

================
@@ -0,0 +1,21 @@
+const int global_const = 42;
+
+struct TestStruct {
+  const int x;
+  int y;
+};
+
+void immutable_violation_examples() {
+  *(int *)&global_const = 100; // warn: Trying to write to immutable memory
+
+  const int local_const = 42;
+  *(int *)&local_const = 43; // warn: Trying to write to immutable memory
+
+  // NOTE: The following works in C++, but not in C, as the analyzer treats
----------------
NagyDonat wrote:

Perhaps replace "works" with "is reported" because "works" can be misunderstood as "is standard-compliant".

https://github.com/llvm/llvm-project/pull/150417