[PATCH] D153485: [dataflow] use true/false literals in formulas, rather than variables

[Dmitri Gribenko via Phabricator via cfe-commits]

gribozavr2 accepted this revision.
gribozavr2 added inline comments.


================
Comment at: clang/include/clang/Analysis/FlowSensitive/Formula.h:71
 
+  bool literal() const {
+    assert(kind() == Literal);
----------------
castAsLiteral() ?


================
Comment at: clang/unittests/Analysis/FlowSensitive/TestingSupport.h:421
 
+  // Creates a reference to a literal boolean value.
+  const Formula *literal(bool B) {
----------------



Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D153485