[PATCH] D116370: [clang][dataflow] Add multi-variable constant propagation example.

[Yitzhak Mandelbaum via Phabricator via cfe-commits]

ymandel added inline comments.


================
Comment at: clang/unittests/Analysis/FlowSensitive/MultiVarConstantPropagationTest.cpp:375-376
+                  Pair("p2", HoldsCPLattice(UnorderedElementsAre(
+                                 Pair(Var("target"), HasConstantVal(2)),
+                                 Pair(Var("other"), HasConstantVal(3)))))));
+}
----------------
sgatev wrote:
> This seems incorrect. The lattice elements for `target` and `other` should be `top` at `p2`.
Yes, great point. I've updated the tests and fixed handling of uninitialized variables.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D116370