[PATCH] D125931: [clang][dataflow] Add support for correlated branches to optional model

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a comment.

Actually, I think in most cases we want to consistent how to merge bool values. So I wonder whether instead of reimplementing the merge operation in this check we should just call a function that does the work. And the same function should be used within the engine to merge states after `if` statements and so on.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D125931