[PATCH] D41796: [analyzer] Fix extent modeling for casted operator new values.

2018-01-09 Thread Artem Dergachev via Phabricator via cfe-commits
NoQ abandoned this revision. NoQ added a comment. > is not quite intended (but not addressed yet) https://reviews.llvm.org/D41250#971888 addresses the issue. > However, if the operator is inlined It isn't. Because if it is inlined, `MallocChecker` bails out immediately and doesn't try to model

[PATCH] D41796: [analyzer] Fix extent modeling for casted operator new values.

2018-01-05 Thread Artem Dergachev via Phabricator via cfe-commits
NoQ created this revision. NoQ added reviewers: dcoughlin, xazax.hun, a.sidorin, george.karpenkov. Herald added subscribers: cfe-commits, rnkovacs, szepet. This continues the series of fine-tuning of how everything behaves in `-analyzer-config c++-allocator-inlining=true` mode with respects to ca