[clang][dataflow][NFC] Share code between Environment ctor and pushCallInternal().
authorMartin Braenne <mboehme@google.com>
Mon, 3 Apr 2023 07:02:48 +0000 (07:02 +0000)
committerMartin Braenne <mboehme@google.com>
Mon, 3 Apr 2023 08:25:10 +0000 (08:25 +0000)
commitce0ab9d11cec0a81c4e48645a23fa8eddea926ab
tree45a05b925dfb0488c15bc1bec88d10091bf9f145
parenteb1e03cfa9a89471f86811a99c1fb39a1a85b5e2
[clang][dataflow][NFC] Share code between Environment ctor and pushCallInternal().

The deduplicated code is moved into initVars().

As an added bonus, pushCallInternal() now also gets the "Add all fields
mentioned in default member initializers" behavior, which apparently had been
added to the Environment ctor but not pushCallInternal().

Reviewed By: xazax.hun, ymandel

Differential Revision: https://reviews.llvm.org/D147326
clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp