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

[martinboehme via All-commits]

  Branch: refs/heads/revert-77453-piper_export_cl_596889570
  Home:   https://github.com/llvm/llvm-project
  Commit: 038c85ca9733404a67c0f328f268ca0124cf5b17
      https://github.com/llvm/llvm-project/commit/038c85ca9733404a67c0f328f268ca0124cf5b17
  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()`. (#77453)"

This reverts commit 03a0bfa96a6eb09c4bbae344ac3aa062339aa730.