[PATCH] D70411: [analyzer][WIP] CERT: StrChecker: 31.c

[Csaba Dabis via Phabricator via cfe-commits]

Charusso added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Checkers/cert/StrChecker.cpp:170
+    Report->addVisitor(
+        allocation_state::getMallocBRVisitor(DestV.getAsSymbol()));
+  } else {
----------------
We can do the opposite to see whether the destination array's type is an array, so that we do not need `getDynamicSizeExpr`, yay.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D70411/new/

https://reviews.llvm.org/D70411