Code

Merge main 2020-10-20#2037

Code

Merged

MaxDesiatov merged 65 commits intoswiftwasmswiftwasm/swift:swiftwasmfrom katei/merge-main-2020-10-20swiftwasm/swift:katei/merge-main-2020-10-20Copy head branch name to clipboardOct 20, 2020

+5,190-873

Commits

Commits on Sep 25, 2020

• [linux] remove absolute rpath of /usr/lib/swift/linux added to many shared libraries

  Show description for 69d04aa
  finagolfin

  committed
  69d04aa

Commits on Oct 9, 2020

• SIL: Verify invariants of async_continuation instructions.

  Show description for 3364c51
  jckarter

  committed
  3364c51

Commits on Oct 15, 2020

• [CSBindings] Record all of the protocol requirements (not just literal)

  xedin

  committed
  17f7ad8

• [CSBindings] Record constraint associated with a subtype relationship

  Show description for 0c51159
  xedin

  committed
  0c51159

• [CSBindings] Shrink binding "sources" to supertype and equivalence only

  Show description for a9cce60
  xedin

  committed
  a9cce60

• [CSBindings] Implement transtive protocol requirement inference

  Show description for d011bf3
  xedin

  committed
  d011bf3

• [ConstraintSystem] NFC: Make SemaTest a friend of ConstraintSystem

  Show description for 5dc9919
  xedin

  committed
  5dc9919

• [unittest/Sema] Add a helper method to infer bindings for a given type variable

  Show description for 1aecea1
  xedin

  committed
  1aecea1

• [unittest/Sema] Add a test-case for a single hop protocol requirement inference

  Show description for a243831
  xedin

  committed
  a243831

• [CSBindings] Improve equivalence class handling in transitive protocol inference

  Show description for 8024b7b
  xedin

  committed
  8024b7b

• [unittest/Sema] NFC: Add a way to create a protocol with a given name and parent type

  xedin

  committed
  a3c3981

• [unittest/Sema] Cover transitive protocol inference with unit tests

  xedin

  committed
  9598f19

Commits on Oct 16, 2020

• Add indexTrieRoot to the SILModule to share across Analyses.

  Show description for 85ff15a
  atrick

  committed
  85ff15a

• Change IndexTrie to allow signed indices

  atrick

  committed
  7774f06

• Change Projection to support signed indices.

  Show description for 2767b51
  atrick

  committed
  2767b51

• Fix a pointer addition bug in SwiftReflectionTest.

  atrick

  committed
  7554a6a

• Fix ValueTracking isUniquelyIdentified to use AccessedStorage.

  Show description for 92a1816
  atrick

  committed
  92a1816

• Add an AccessPath abstraction and formalize memory access

  Show description for cc0aa2f
  atrick

  committed
  cc0aa2f

• Update LoadCopyToLoadBorrow for MemAccessUtils API.

  atrick

  committed
  1e9c4d1

• Add AccessPath support to the AccessedStorageDumper pass.

  Show description for 7e435fa
  atrick

  committed
  7e435fa

• Add AccessPathVerification pass and run it in the pipeline.

  atrick

  committed
  b2d1ac1

• accessed_storage.sil tests

  atrick

  committed
  800c061

• accesspath_uses.sil tests

  atrick

  committed
  b8f3f9c

• alias-analysis test

  atrick

  committed
  0f428c2

• RLE tests for boundary Projection indices.

  atrick

  committed
  391b06d

• AccessedStorage and AccessPath documentation.

  atrick

  committed
  712e1ab

• MemAccessUtils comment

  atrick

  committed
  9c69d02

• Add AccessUseVisitor and cleanup related APIs.

  Show description for 6f2cda1
  atrick

  committed
  6f2cda1

• Cache 'isLet' within AccessedStorage.

  Show description for b272dc5
  atrick

  committed
  b272dc5

• Add AccessedStorageWithBase to conviently recover the base's VarDecl

  atrick

  committed
  f6b32ae

• Temporarily disable the load-borrow checker.

  Show description for 53eebdd
  atrick

  committed
  53eebdd

• The verifier should only output to llvm::errs()

  atrick

  committed
  5e0c8f9

Commits on Oct 17, 2020

• Add check for Xcode version compatibility

  Show description for 3ce7899
  keith

  committed
  3ce7899

• Improve messaging

  keith

  committed
  6111319

• Add comment

  keith

  committed
  58924f0

• Update to 12.2b3

  keith

  committed
  15937f4

• [Index] Don't report extensions with nothing to index in system modules

  Show description for 40ef504
  xymus

  committed
  40ef504

• [Index] Update test related to reporting extensions in system modules

  xymus

  committed
  b87fd12

Commits on Oct 18, 2020

• [Index] Test records of extensions in sources and modules

  xymus

  committed
  f6931c8

Commits on Oct 19, 2020

• Merge pull request swiftlang#34338 from xymus/indexing-empty-extensions

  Show description for 68b790f
  xymus

  authored
  68b790f

• Fix python lint

  keith

  committed
  3c4ffcf

• Merge pull request swiftlang#34126 from atrick/add-accesspath

  Show description for fd8f723
  atrick

  authored
  fd8f723

• [docs] Fix a typo in CppInteroperabilityManifesto.md (swiftlang#34345)

  Show description for f2f7cc6
  TheHarcker

  authored
  f2f7cc6

• Merge pull request swiftlang#34227 from keith/ks/add-check-for-xcode-version-compatibility

  swift-ci

  authored
  c4a615e

• Merge pull request swiftlang#34023 from buttaface/rpath

  Show description for 86b7bac
  gottesmm

  authored
  86b7bac

• [CodeCompletion][Sema] Allow missing args when solving if the completion location indicates the user may intend to write them later.

  Show description for 15f5222
  

  Nathan Hawes

  committed
  15f5222

• Switch To target-swiftc_driver

  Show description for 6fc78d5
  CodaFi

  committed
  6fc78d5

• Sema: Allow duplicate internal parameter names on protocol requirements

  Show description for 6a5684a
  slavapestov

  committed
  6a5684a

• Add regression test for https://bugs.swift.org/browse/SR-8456

  slavapestov

  committed
  c39bb89

• Correct path in Windows build guide

  texasmichelle

  committed
  a5034bc

• Merge pull request swiftlang#34278 from xedin/transitive-protocol-inference

  Show description for 59e8043
  xedin

  authored
  59e8043

• [ConstraintSystem] Record trailing choice match choice when arguments/result are equivalent to applied function

  xedin

  committed
  340d1e8

• [Gardening] Drop Trailing Commas

  CodaFi

  committed
  27b152c

• Use Relative Path to Test Inputs

  Show description for bcd0cb6
  CodaFi

  committed
  bcd0cb6

• Merge pull request swiftlang#34210 from jckarter/async-await-sil-verifier

  Show description for aef8f50
  jckarter

  authored
  aef8f50

• Merge pull request swiftlang#34337 from nathawes/allow-missing-args-when-type-checking-for-completion

  swift-ci

  authored
  b654008

• Merge pull request swiftlang#34356 from xedin/record-trailing-even-if-types-are-equal

  Show description for a0a37d2
  xedin

  authored
  a0a37d2

Commits on Oct 20, 2020

• Merge pull request swiftlang#34352 from slavapestov/local-redeclaration-check-source-compat

  Show description for c4e5233
  slavapestov

  authored
  c4e5233

• Merge pull request swiftlang#34353 from slavapestov/regression-test-sr-8456

  Show description for 50e6ae0
  slavapestov

  authored
  50e6ae0

• Merge remote-tracking branch 'apple/main' into katei/merge-main-2020-10-20

  kateinoigakukun

  committed
  c80fc84

• [WASM] Update Xcode version and disable version check due to GHA limit

  kateinoigakukun

  committed
  e93e56f

• Merge pull request swiftlang#34355 from texasmichelle/windows_typo

  Show description for bce6620
  compnerd

  authored
  bce6620

• Merge pull request swiftlang#34284 from CodaFi/testable-hypotheses

  Show description for cfb4a0f
  CodaFi

  authored
  cfb4a0f

• Merge branch 'main' of github.com:swiftwasm/swift into katei/merge-main-2020-10-20

  MaxDesiatov

  committed
  9bc7e22

• Merge branch 'swiftwasm' of github.com:swiftwasm/swift into katei/merge-main-2020-10-20

  MaxDesiatov

  committed
  a245772