[PATCH] D48831: alpha.unix.cstring.OutOfBounds checker enable/disable fix

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Jul 2 16:38:28 PDT 2018

NoQ added a comment.

Uhm, so we had an alpha checker enabled all along? Thanks for patching this up!

Comment at: lib/StaticAnalyzer/Checkers/CStringChecker.cpp:308
     // These checks are either enabled by the CString out-of-bounds checker
-    // explicitly or the "basic" CStringNullArg checker support that Malloc
-    // checker enables.
-    assert(Filter.CheckCStringOutOfBounds || Filter.CheckCStringNullArg);
+    // explicitly or implicitly by the  Malloc checker.
+    // In the latter case we only do modeling but do not emit warning.
Accidental double space.

Comment at: lib/StaticAnalyzer/Checkers/CStringChecker.cpp:311
+    if (!Filter.CheckCStringOutOfBounds)
+      return StOutBound;
Could we preserve the other portion of the assertion on this branch? I.e., `assert(Filter.CheckCStringNullArg)`.

Additionally, do you really want to continue analysis on this path? Maybe `return nullptr` to sink?

  rC Clang


More information about the cfe-commits mailing list