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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
