[PATCH] D136512: [AA] Allow for flow-sensitive analyses.

[David Goldblatt via Phabricator via llvm-commits]

davidtgoldblatt marked an inline comment as done.
davidtgoldblatt added a comment.

ping @nikic, would you mind taking another look? I think with the changes you suggested this ends up as a much cleaner stack (being able to avoid duplicating so much of the `assume` handling really cuts down). My followup plan is to expand this to handle the possibility of inline storage (e.g. the small string optimization), which is where we incur more of the costs, but I'd rather build on something stable before going much further.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D136512