[all-commits] [llvm/llvm-project] 3f78d6: [dataflow] Parse formulas from text (#66424)

[Sam McCall via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3f78d6ab146874d20144f9f5fcbb894931279c7d
      https://github.com/llvm/llvm-project/commit/3f78d6ab146874d20144f9f5fcbb894931279c7d
  Author: Sam McCall <sam.mccall at gmail.com>
  Date:   2023-09-22 (Fri, 22 Sep 2023)

  Changed paths:
    M clang/include/clang/Analysis/FlowSensitive/Arena.h
    M clang/include/clang/Analysis/FlowSensitive/Formula.h
    M clang/lib/Analysis/FlowSensitive/Arena.cpp
    M clang/lib/Analysis/FlowSensitive/Formula.cpp
    M clang/unittests/Analysis/FlowSensitive/ArenaTest.cpp
    M clang/unittests/Analysis/FlowSensitive/SolverTest.cpp

  Log Message:
  -----------
  [dataflow] Parse formulas from text (#66424)

My immediate use for this is not in checked-in code, but rather the
ability to plug printed flow conditions (from analysis logs) back into
sat solver unittests to reproduce slowness.

It does allow simplifying some of the existing solver tests, though.