[clang][dataflow] Add `buildAndSubstituteFlowCondition` to `DataflowEnvironment`
authorWei Yi Tee <wyt@google.com>
Mon, 27 Jun 2022 19:05:36 +0000 (21:05 +0200)
committerDmitri Gribenko <gribozavr@gmail.com>
Mon, 27 Jun 2022 19:09:05 +0000 (21:09 +0200)
commitae90bc8467589cbc2079b93fae2b6ceec0821e27
tree343192df5777a775dfd5e3550c4d75bfe5a45a17
parentfa34210fa69f64a96dc64983b3de00ddd21e55e1
[clang][dataflow] Add `buildAndSubstituteFlowCondition` to `DataflowEnvironment`

Depends On D128658

Reviewed By: gribozavr2, xazax.hun

Differential Revision: https://reviews.llvm.org/D128659
clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h