[PATCH] D69726: [analyzer] DynamicSize: Store the dynamic size

[Csaba Dabis via Phabricator via cfe-commits]

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