[clang][dataflow] Expose stringification functions for SAT solver enums
authorDmitri Gribenko <gribozavr@gmail.com>
Fri, 22 Jul 2022 23:18:03 +0000 (01:18 +0200)
committerDmitri Gribenko <gribozavr@gmail.com>
Fri, 22 Jul 2022 23:21:20 +0000 (01:21 +0200)
commitee6aba85aa48d03a931ba989ea2c1584b468588a
tree8608a3c1c2b3d66c01ddd9fb69f64ae8310dd12b
parentb4722cc4c96e03cdad3f23b0ba558907e82d95db
[clang][dataflow] Expose stringification functions for SAT solver enums

Reviewed By: ymandel

Differential Revision: https://reviews.llvm.org/D130399
clang/include/clang/Analysis/FlowSensitive/DebugSupport.h
clang/lib/Analysis/FlowSensitive/DebugSupport.cpp