[PATCH] D129548: [clang][dataflow] Generate readable form of input and output of satisfiability checking for debugging purposes.
Gábor Horváth via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Jul 12 11:54:31 PDT 2022
xazax.hun accepted this revision.
xazax.hun added inline comments.
================
Comment at: clang/unittests/Analysis/FlowSensitive/DebugSupportTest.cpp:230
+------------
+Unsatisfiable.
+
----------------
wyt wrote:
> @xazax.hun
> > I don't see a test case for `Unsatisfiable` constraints.
> Here.
Whoops, indeed. Sorry :)
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D129548/new/
https://reviews.llvm.org/D129548
More information about the cfe-commits
mailing list