Home
last modified time | relevance | path

Searched refs:BooleanLattice (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DMapLatticeTest.cpp13 class BooleanLattice { class
15 BooleanLattice() : Value(false) {} in BooleanLattice() function in __anon6990bf7e0111::BooleanLattice
16 explicit BooleanLattice(bool B) : Value(B) {} in BooleanLattice() function in __anon6990bf7e0111::BooleanLattice
18 static BooleanLattice bottom() { return BooleanLattice(false); } in bottom()
20 static BooleanLattice top() { return BooleanLattice(true); } in top()
29 friend bool operator==(BooleanLattice LHS, BooleanLattice RHS) { in operator ==()
33 friend bool operator!=(BooleanLattice LHS, BooleanLattice RHS) { in operator !=()
58 MapLattice<int, BooleanLattice> Lattice; in TEST()
71 MapLattice<int, BooleanLattice> Lattice1; in TEST()
82 MapLattice<int, BooleanLattice> Lattice1; in TEST()
[all …]
H A DMatchSwitchTest.cpp50 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 ==()
93 State.Lattice = BooleanLattice(true); in TransferSetTrue()
99 State.Lattice = BooleanLattice(false); in TransferSetFalse()
118 static BooleanLattice initialElement() { return BooleanLattice::bottom(); } in initialElement()
[all …]