[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.

In D125931#3527584 <https://reviews.llvm.org/D125931#3527584>, @ymandel wrote:

> 1. In this patch, we go with a widening operation, but put the relevant logic in the core, so it can be reused for booleans in general.

Depending on how much simplicity are we willing to sacrifice, doing a merge here might be OK. We only need widening to ensure the convergence of loops. Some frameworks are doing the regular merge operator for joins in the CFG and only use the widening operator along the back edges. This way they can be a bit more precise while preserving convergence.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D125931