tree 716a703bb21289812f7f802b0d861c0a18f3c656
parent 2baecc8f0f3156140de1ac9947a3476d54b5b0df
author Sam McCall <sam.mccall@gmail.com> 1681756520 +0200
committer Copybara-Service <copybara-worker@google.com> 1681907788 -0700

[dataflow] Extract arena for Value/StorageLocation out of DataflowAnalysisContext

DataflowAnalysisContext has a few too many responsibilities, this narrows them.

It also allows the Arena to be shared with analysis steps, which need to create
Values, without exposing the whole DACtx API (flow conditions etc).
This means Environment no longer needs to proxy all these methods.
(For now it still does, because there are many callsites to update, and maybe
if we separate bool formulas from values we can avoid churning them twice)

In future, if we untangle the concepts of Values from boolean formulas/atoms,
Arena would also be responsible for creating formulas and managing atom IDs.

Differential Revision: https://reviews.llvm.org/D148554

GitOrigin-RevId: bf47c1ed855605324efcca4af92517026c7e53e5