Re: [swift-dev] Proposal: SIL Ownership Model + Verifier

2016-12-07 Thread John McCall via swift-dev
> On Dec 7, 2016, at 2:13 PM, Michael Gottesman via swift-dev > wrote: > > This is a proposal for a new SIL Ownership Model and verifier. An online HTML > version of the document is available here: > > https://gottesmm.github.io/proposals/sil-ownership-model.html >

Re: [swift-dev] proposed change for master-next merges

2016-12-07 Thread Ted Kremenek via swift-dev
This approach seems good to me. It strikes a good pragmatic balance. > On Dec 7, 2016, at 7:30 PM, Bob Wilson via swift-dev > wrote: > > I would like to make a change in the way we handle the master-next branch. > > Summary: I’d like to switch to a model where we continuously test against the

Re: [swift-dev] [Swift CI] Build Failure: 0. OSS - Swift Incremental RA - Ubuntu 16.10 (master) #844

2016-12-07 Thread Jordan Rose via swift-dev
Not sure how this change to an unrelated file that only affects Windows would have caused this test to fail. Guessing it was a one-time flutter. > On Dec 7, 2016, at 19:27, no-re...@swift.org wrote: > > [FAILURE] oss-swift-incremental-RA-linux-ubuntu-16_10 [#844] > > Build URL: > https://ci

[swift-dev] proposed change for master-next merges

2016-12-07 Thread Bob Wilson via swift-dev
I would like to make a change in the way we handle the master-next branch. Summary: I’d like to switch to a model where we continuously test against the latest upstream LLVM changes. The goal is to simplify the process and make it easier to collaborate on maintaining master-next. Background: We

Re: [swift-dev] [Swift CI] Build Failure: 0. OSS - Swift Incremental RA - OS X (master) #7480

2016-12-07 Thread Greg Parker via swift-dev
I wonder if running compiler_crashers with guard malloc set would make most of the indeterminisms go away. > On Dec 7, 2016, at 4:53 PM, Xi Ge via swift-dev wrote: > > I’ll disable it for now. > > >> On Dec 7, 2016, at 4:50 PM, Douglas Gregor > > wrote: >> >> this

Re: [swift-dev] [Swift CI] Build Failure: 0. OSS - Swift Incremental RA - OS X (master) #7480

2016-12-07 Thread Xi Ge via swift-dev
I’ll disable it for now. > On Dec 7, 2016, at 4:50 PM, Douglas Gregor wrote: > > this test is behaving nondeterministically. Can somewhat slap a “REQUIRES: > deterministic-behavior” on it? > > - Doug > >> On Dec 7, 2016, at 4:48 PM, no-re...@swift.org >> wr

Re: [swift-dev] [Swift CI] Build Failure: 0. OSS - Swift Incremental RA - OS X (master) #7480

2016-12-07 Thread Douglas Gregor via swift-dev
this test is behaving nondeterministically. Can somewhat slap a “REQUIRES: deterministic-behavior” on it? - Doug > On Dec 7, 2016, at 4:48 PM, no-re...@swift.org wrote: > > [FAILURE] oss-swift-incremental-RA-osx [#7480] > > Build URL:https://ci.swift.org/job/oss-swift-incremental-R

Re: [swift-dev] Proposal: SILValue SSA Instructions

2016-12-07 Thread John McCall via swift-dev
> On Dec 7, 2016, at 3:20 PM, Andrew Trick wrote: >> On Dec 7, 2016, at 3:16 PM, Michael Gottesman > > wrote: >>> On Dec 7, 2016, at 2:52 PM, Andrew Trick via swift-dev >> > wrote: >>> >>> On Dec 6, 2016, at 2:23 PM, John McCall via s

Re: [swift-dev] Proposal: SILValue SSA Instructions

2016-12-07 Thread Andrew Trick via swift-dev
> On Dec 7, 2016, at 3:16 PM, Michael Gottesman wrote: > >> >> On Dec 7, 2016, at 2:52 PM, Andrew Trick via swift-dev > > wrote: >> >> >>> On Dec 6, 2016, at 2:23 PM, John McCall via swift-dev >> > wrote: >>> On Dec 6, 2016, at 11:

Re: [swift-dev] Proposal: SILValue SSA Instructions

2016-12-07 Thread Michael Gottesman via swift-dev
> On Dec 7, 2016, at 2:52 PM, Andrew Trick via swift-dev > wrote: > > >> On Dec 6, 2016, at 2:23 PM, John McCall via swift-dev > > wrote: >> >>> On Dec 6, 2016, at 11:35 AM, Joe Groff >> > wrote: On Dec 6, 2016, at 11:29 AM, John McCal

Re: [swift-dev] Proposal: SILValue SSA Instructions

2016-12-07 Thread Andrew Trick via swift-dev
> On Dec 6, 2016, at 2:23 PM, John McCall via swift-dev > wrote: > >> On Dec 6, 2016, at 11:35 AM, Joe Groff > > wrote: >>> On Dec 6, 2016, at 11:29 AM, John McCall >> > wrote: >>> On Dec 6, 2016, at 10:17 AM, Joe Groff via swift-dev >>>

[swift-dev] Proposal: SIL Ownership Model + Verifier

2016-12-07 Thread Michael Gottesman via swift-dev
This is a proposal for a new SIL Ownership Model and verifier. An online HTML version of the document is available here: https://gottesmm.github.io/proposals/sil-ownership-model.html and inline below. Michael # Summary Thi

Re: [swift-dev] [Pitch] Remove "Default will never be executed" Warning?

2016-12-07 Thread Alexis via swift-dev
> On Nov 30, 2016, at 5:02 PM, Jordan Rose via swift-dev > wrote: > >> >> On Nov 27, 2016, at 16:32, David Sweeris via swift-dev > > wrote: >> >>> >>> On Nov 26, 2016, at 5:25 PM, Robert Widmann via swift-dev >>> mailto:swift-dev@swift.org>> wrote: >>> >>> Hello