[PATCH] D141716: [clang][dataflow] Add (initial) debug printing for `Value` and `Environment`.

Yitzhak Mandelbaum via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Jan 19 06:33:53 PST 2023


This revision was landed with ongoing or failed builds.
This revision was automatically updated to reflect the committed changes.
ymandel marked an inline comment as done.
Closed by commit rGc441f65f9183: [clang][dataflow] Add (initial) debug printing for `Value` and `Environment`. (authored by ymandel).

Changed prior to commit:
  https://reviews.llvm.org/D141716?vs=490470&id=490496#toc

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D141716/new/

https://reviews.llvm.org/D141716

Files:
  clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h
  clang/include/clang/Analysis/FlowSensitive/Value.h
  clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
  clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp
  clang/lib/Analysis/FlowSensitive/Value.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D141716.490496.patch
Type: text/x-patch
Size: 4887 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20230119/4c287d6a/attachment.bin>


More information about the cfe-commits mailing list