[all-commits] [llvm/llvm-project] 7ce010: Revert "[clang][dataflow] Add an early-out to `flo...

[martinboehme via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7ce010f2fb01341ab253547324e126d81d47f794
      https://github.com/llvm/llvm-project/commit/7ce010f2fb01341ab253547324e126d81d47f794
  Author: martinboehme <mboehme at google.com>
  Date:   2024-01-10 (Wed, 10 Jan 2024)

  Changed paths:
    M clang/include/clang/Analysis/FlowSensitive/Formula.h
    M clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp

  Log Message:
  -----------
  Revert "[clang][dataflow] Add an early-out to `flowConditionImplies()` / `flowConditionAllows()`." (#77570)

Reverts llvm/llvm-project#77453