gribozavr2 added inline comments.
================ Comment at: clang/unittests/Analysis/FlowSensitive/ArenaTest.cpp:165-169 + auto &BX = A.create<AtomicBoolValue>(); + auto &BY = A.create<AtomicBoolValue>(); + auto &BAnd = A.makeAnd(BX, BY); + auto &BOr = A.makeOr(BY, BX); + auto &BEqual = A.makeEquals(BOr, BAnd); ---------------- ================ Comment at: clang/unittests/Analysis/FlowSensitive/ArenaTest.cpp:169 + auto &BOr = A.makeOr(BY, BX); + auto &BEqual = A.makeEquals(BOr, BAnd); + EXPECT_EQ(Expected, llvm::to_string(B.getFormula(BEqual))); ---------------- gribozavr2 wrote: > Shouldn't these lines use "A.make...()"? Sorry, I meant, shouldn't these lines use "B.make...()"? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D153476/new/ https://reviews.llvm.org/D153476 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
