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

Sam McCall via All-commits all-commits at lists.llvm.org
Fri Sep 22 02:24:38 PDT 2023

  Branch: refs/heads/main
  Home:   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.

More information about the All-commits mailing list