[all-commits] [llvm/llvm-project] 3ecfc0: [clang][dataflow] Add support for serialization an...

[Yitzhak Mandelbaum via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3ecfc0330d93a6c3a3f3d3e427390b01cb52a88d
      https://github.com/llvm/llvm-project/commit/3ecfc0330d93a6c3a3f3d3e427390b01cb52a88d
  Author: Yitzhak Mandelbaum <ymand at users.noreply.github.com>
  Date:   2025-08-18 (Mon, 18 Aug 2025)

  Changed paths:
    M clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h
    M clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h
    M clang/include/clang/Analysis/FlowSensitive/Formula.h
    A clang/include/clang/Analysis/FlowSensitive/FormulaSerialization.h
    M clang/lib/Analysis/FlowSensitive/CMakeLists.txt
    M clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp
    A clang/lib/Analysis/FlowSensitive/FormulaSerialization.cpp
    M clang/unittests/Analysis/FlowSensitive/CMakeLists.txt
    M clang/unittests/Analysis/FlowSensitive/DataflowAnalysisContextTest.cpp
    A clang/unittests/Analysis/FlowSensitive/FormulaTest.cpp

  Log Message:
  -----------
  [clang][dataflow] Add support for serialization and deserialization. (#152487)

Adds support for compact serialization of Formulas, and a corresponding
parse function. Extends Environment and AnalysisContext with necessary
functions for serializing and deserializing all formula-related parts of
the environment.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications