[all-commits] [llvm/llvm-project] 01db10: [clang][dataflow] Add support for correlation of b...

[Yitzhak Mandelbaum via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 01db10365e935ccca9dc2ed449b23319e170eea0
      https://github.com/llvm/llvm-project/commit/01db10365e935ccca9dc2ed449b23319e170eea0
  Author: Yitzhak Mandelbaum <yitzhakm at google.com>
  Date:   2022-04-01 (Fri, 01 Apr 2022)

  Changed paths:
    M clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h
    M clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
    M clang/unittests/Analysis/FlowSensitive/TransferTest.cpp

  Log Message:
  -----------
  [clang][dataflow] Add support for correlation of boolean (tracked) values

This patch extends the join logic for environments to explicitly handle
boolean values. It creates the disjunction of both source values, guarded by the
respective flow conditions from each input environment. This change allows the
framework to reason about boolean correlations across multiple branches (and
subsequent joins).

Differential Revision: https://reviews.llvm.org/D122838