Commit Graph

4 Commits

Author SHA1 Message Date
Terrell Russell
2f32b134fe whitespace 2015-12-03 12:48:28 -05:00
Devin Coughlin
d1e244c7e0 [Sema] Rename version range lattice operations. NFC.
Following Jordan's advice, replace "join" with "union" and "meet" with
"intersect" in VersionRange to make it clear which direction these operations
go in the lattice of ranges.

Swift SVN r31640
2015-09-02 21:52:01 +00:00
Devin Coughlin
fff17e65cb [Sema] Add join operation to availability version range lattice.
Add a join (least upper bound) operation to the availability version range
lattice. A later commit will use this to reason about the disjunctive
else-branch flow for conditions with multiple conjunctive statement conditions.
This is part of rdar://problem/22307360.

Swift SVN r31610
2015-09-01 20:16:14 +00:00
Devin Coughlin
070987d365 Add unit tests for VersionRange lattice operations.
Swift SVN r22151
2014-09-20 00:57:59 +00:00