[clang] [analyzer] Untangle subcheckers of CStringChecker (PR #186802)

[Endre Fülöp via cfe-commits]

================
@@ -188,6 +229,10 @@ void memset1_new_array() {
   int *array = new int[10];
   memset(array, 0, 10 * sizeof(int));
   clang_analyzer_eval(array[2] == 0); // expected-warning{{TRUE}}
+  // FIXME: The analyzer should stop analysis after memset. Maybe the intent of
+  // this test was to test for this as a desired behaviour, but it shouldn't be,
+  // going out-of-bounds with memset is a fatal error, even if we decide not to
+  // report it.
----------------
gamesh411 wrote:

I  have detailed this according to my own understanding a bit.

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