50 class BooleanLattice {  class
52   BooleanLattice() : Value(false) {}  in BooleanLattice()  function in __anoncaddd6d90111::BooleanLattice
53   explicit BooleanLattice(bool B) : Value(B) {}  in BooleanLattice()  function in __anoncaddd6d90111::BooleanLattice
55   static BooleanLattice bottom() { return BooleanLattice(false); }  in bottom()
57   static BooleanLattice top() { return BooleanLattice(true); }  in top()
59   LatticeJoinEffect join(BooleanLattice Other) {  in join()
66   friend bool operator==(BooleanLattice LHS, BooleanLattice RHS) {  in operator ==()
70   friend std::ostream &operator<<(std::ostream &Os, const BooleanLattice &B) {  in operator <<()
85            ::testing::DescribeMatcher<BooleanLattice>(m, negation))
92                      TransferState<BooleanLattice> &State) {  in TransferSetTrue()
93   State.Lattice = BooleanLattice(true);  in TransferSetTrue()
98                       TransferState<BooleanLattice> &State) {  in TransferSetFalse()
99   State.Lattice = BooleanLattice(false);  in TransferSetFalse()
102 class TestAnalysis : public DataflowAnalysis<TestAnalysis, BooleanLattice> {
103   MatchSwitch<TransferState<BooleanLattice>> TransferSwitch;
107       : DataflowAnalysis<TestAnalysis, BooleanLattice>(Context) {  in TestAnalysis()
110         MatchSwitchBuilder<TransferState<BooleanLattice>>()  in TestAnalysis()
118   static BooleanLattice initialElement() { return BooleanLattice::bottom(); }  in initialElement()
120   void transfer(const Stmt *S, BooleanLattice &L, Environment &Env) {  in transfer()
121     TransferState<BooleanLattice> State(L, Env);  in transfer()
150               UnorderedElementsAre(Pair("p", Holds(BooleanLattice(true)))));  in TEST()
162               UnorderedElementsAre(Pair("p", Holds(BooleanLattice(false)))));  in TEST()
176               UnorderedElementsAre(Pair("p", Holds(BooleanLattice(false)))));  in TEST()
190               UnorderedElementsAre(Pair("p", Holds(BooleanLattice(true)))));  in TEST()
202               UnorderedElementsAre(Pair("p", Holds(BooleanLattice(false)))));  in TEST()