Charusso marked an inline comment as done. Charusso added a comment. I do not want to reverse engineer the `MallocChecker` to obtain the size on call basis. The current model without D68725 <https://reviews.llvm.org/D68725> makes it enough difficult to obtain the size even with this generic map, but it is working fine.
================ Comment at: clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp:1073 + + setDynamicSize(State, BR, *SizeNL, Size); ---------------- That dual assumption made changes in the test files, and there is no other dual assumption. Repository: rC Clang CHANGES SINCE LAST ACTION https://reviews.llvm.org/D69726/new/ https://reviews.llvm.org/D69726 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits