[PATCH] D125365: [NFC][analyzer] Pass down a State and a Pred ExplodedNode in the MallocChecker

[Balázs Benics via Phabricator via cfe-commits]

steakhal added a comment.

Also mention in the summary that we are doing this because we want to do multiple transitions with different NoteTags at different handlers there.
For E.g. we want to put NoteTags when we do a taint propagation.

That being said, now we model the extent of the allocated region by simply binding the size argument of the allocation call to the extent map.
We won't need to propagate taint to the extent if the size expression was already tainted. Thus, I'm not even sure we actually need this change anymore.
Could you please check it?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D125365