sort by:
Revision Author Date Message Commit Date
1e5ae16 [test] Camouflage "XFAIL:" output checks so lit doesn't interpret them. 09 January 2016, 11:27:56 UTC
e5bd44a [test] Fix two tests that were missing runAllTests(). 09 January 2016, 11:27:56 UTC
302632b Merge pull request #919 from practicalswift/swiftc-28195-swift-constraints-constraintsystem-resolveoverload [swiftc] Add test case for crash triggered in swift::constraints::ConstraintSystem::resolveOverload(…) 09 January 2016, 10:40:46 UTC
b97cb48 [AST] Fix inconsistent handling of generic args & params during BoundGenericType::getSubstitutions A decl’s full GenericSignature is set during validateGenericTypeSignature(). Then during ConstraintSystem::openTypes(), in ReplaceDependentTypes, the GenericArgs list is built from the generic signature (via getGenericParamTypes()) and passed into a new BoundGenericType. In BoundGenericType::getSubstitutions(), the GenericArgs are assumed to match getGenericParamsOfContext()->getParams(). However, in reality, the GenericArgs include all levels of generic args, whereas getGenericParamsOfContext() are the params of the innermost context only, so the params array is accessed past its end. This commit changes NominalTypeDecl::getGenericParamTypes() to return the innermost params, in order to match the output of BoundGenericType::getGenericArgs(). For clarity and to hopefully prevent future confusion, we also rename getGenericParamTypes() to getInnermostGenericParamTypes(). 09 January 2016, 10:19:28 UTC
7acc6ea [stdlib] Fix a backwards NDEBUG check. This was inadvertently broken in d15c24e2. 09 January 2016, 09:00:31 UTC
8ee8adb [stdlib] Move protocol conformance checking and caching into its own file. 09 January 2016, 09:00:31 UTC
675ca03 fix a compiler crasher that practicalswift recently found. 09 January 2016, 07:03:18 UTC
e21b71a This test has been fixed. 09 January 2016, 06:49:03 UTC
ce2f5d6 [Sema] Skip ErrorTypes in potential bindings during constraint solving 09 January 2016, 06:45:52 UTC
5fe5fa4 Handle indirect conformance when devirtualizing existentials. While I'm in this code, generalize it to propagate the original type information in more cases, including when the original type is still dependent, and teach it to handle existential metatypes. rdar://24114020 09 January 2016, 06:33:45 UTC
824c1c0 [Sema] Fix crash in addCurriedSelfType isGenericContext() returning true doesn’t necessarily imply that getGenericSignature() returns non-null. getGenericSignatureOfContext() performs a traversal equivalent to isGenericContext(), so we use it instead. 09 January 2016, 06:08:46 UTC
451ce37 [stdlib] Change C-style for loop to Swift-style for-in loop 09 January 2016, 04:57:55 UTC
33ed1e0 IRGen: Add ResilienceExpansion parameter to TypeInfo::isKnownEmpty(), NFC In a few places, we have to be careful about the distinction between "empty in this resilience domain" versus "empty in all resilience domains". Make callers think about this by adding a parameter instead of relying on them to check isFixedSize() as necessary first. While making this change I noticed that the code for checking if types are empty when computing extra inhabitants of structs and enums might be slightly wrong in the face of resilience; I will revisit this later. 09 January 2016, 03:56:01 UTC
627c906 SILGen: Emit alloc_global when initializing global variables It is still not clear to me when we access global variables from other modules directly, versus using accessors; it seems to be controlled by the -sil-serialize-all flag, rather than any language feature. Until/if we add a @_fixed_layout equivalent for globals, I can't really test direct access of globals from other modules; when we figure out the story here I'll be able to add more tests and also tighten up some isResilient() checks in the global code, but what's in there now seems to work. 09 January 2016, 03:56:00 UTC
85a3e5c Merge pull request #921 from practicalswift/sil_witness_archetype_not_found Remove unused diagnostic: sil_witness_archetype_not_found 09 January 2016, 03:39:35 UTC
a7bbdd0 Remove nullptr access. NewBr here is always nullptr. Found with clang static analyzer. 09 January 2016, 03:28:43 UTC
24bd1e3 Remove variable that is written to but never read. Found by the clang static analyzer. 09 January 2016, 03:28:43 UTC
8344bec Another potential nullptr access found by the clang static analyzer! 09 January 2016, 03:28:43 UTC
88929f8 Fix implicit assumption that RetainArray is not nullptr. The code in question was the following: auto *RetainArray = dyn_cast_or_null<StrongRetainInst>(getInstBefore(Call)); if (!RetainArray && MayHaveBridgedObjectElementType) return false; auto *ReleaseArray = dyn_cast_or_null<StrongReleaseInst>(getInstAfter(Call)); if (!ReleaseArray && MayHaveBridgedObjectElementType) return false; if (ReleaseArray && ReleaseArray->getOperand() != RetainArray->getOperand()) return false; There is no check in the last if if RetainArray is not nullptr even though it is possible for it to be so. Found by clang static analyzer. 09 January 2016, 03:28:42 UTC
ca1fcd9 Eliminate two never-read variables. Found by the clang static analyzer. 09 January 2016, 03:28:42 UTC
b45cec0 Runtime: Fix a warning 09 January 2016, 03:21:23 UTC
250b605 sil.vim: /* */ and // are valid comments in SIL, too 09 January 2016, 01:39:23 UTC
bf969a3 Merge pull request #894 from nonsensery/fix-inc-if-signed-logic [stdlib] Remove confusing `incIfSigned` control flow 09 January 2016, 01:27:13 UTC
4f09c4c [Compression] Accelerate the decompression of mangled strings. This commit accelerates the phase in the decompression that encodes strings as long numbers. This is optimization is similar to the code that we have in the compressor where we perform as much arithmetic as possible on local 64-bit values before we push them to the APInt. This change accelerates the compression by about 2x. 09 January 2016, 01:24:49 UTC
1e80c4a [Compression] Refactor the code that computes the number of characters that we fit in a 64bit number. We are going to use this code in one other place. 09 January 2016, 01:24:49 UTC
4b7acc7 [Compression] Use 64bit variables for the bit manipulation of characters. We need all 64bit here, and size_t is 32bits on 32bit systems. 09 January 2016, 01:24:49 UTC
9cb4910 Rewrite some assert(false)s as llvm_unreashable()s. 09 January 2016, 01:24:48 UTC
1ea38dd De-indent the switch cases (that Jordan noticed) 09 January 2016, 01:24:48 UTC
7686e3b Remove unused diagnostic: sil_witness_archetype_not_found 09 January 2016, 01:20:42 UTC
42002a8 [swiftc] Add test case for crash triggered in swift::constraints::ConstraintSystem::resolveOverload(swift::constraints::ConstraintLocator*, swift::Type, swift::constraints::OverloadChoice) Stack trace: ``` swift: /path/to/swift/lib/Sema/ConstraintSystem.cpp:1399: void swift::constraints::ConstraintSystem::resolveOverload(swift::constraints::ConstraintLocator *, swift::Type, swift::constraints::OverloadChoice): Assertion `!refType->hasTypeParameter() && "Cannot have a dependent type here"' failed. 8 swift 0x0000000000e8a1da swift::constraints::ConstraintSystem::resolveOverload(swift::constraints::ConstraintLocator*, swift::Type, swift::constraints::OverloadChoice) + 4058 9 swift 0x0000000000ee45c1 swift::constraints::ConstraintSystem::simplifyConstraint(swift::constraints::Constraint const&) + 897 10 swift 0x0000000000eeda26 swift::constraints::ConstraintSystem::solveSimplified(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::FreeTypeVariableBinding) + 3142 11 swift 0x0000000000eeb4c9 swift::constraints::ConstraintSystem::solveRec(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::FreeTypeVariableBinding) + 313 12 swift 0x0000000000eeb289 swift::constraints::ConstraintSystem::solve(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::FreeTypeVariableBinding) + 73 13 swift 0x0000000000dfe2a6 swift::TypeChecker::solveForExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::FreeTypeVariableBinding, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem&, llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>) + 614 14 swift 0x0000000000e04669 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 569 15 swift 0x0000000000e057e0 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 112 16 swift 0x0000000000e05989 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 265 18 swift 0x0000000000e1a904 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 3876 19 swift 0x00000000010097dc swift::DeclContext::lookupQualified(swift::Type, swift::DeclName, unsigned int, swift::LazyResolver*, llvm::SmallVectorImpl<swift::ValueDecl*>&) const + 2908 20 swift 0x00000000010081ed swift::UnqualifiedLookup::UnqualifiedLookup(swift::DeclName, swift::DeclContext*, swift::LazyResolver*, bool, swift::SourceLoc, bool, bool) + 2269 21 swift 0x0000000000e40aeb swift::TypeChecker::lookupUnqualified(swift::DeclContext*, swift::DeclName, swift::SourceLoc, swift::OptionSet<swift::NameLookupFlags, unsigned int>) + 187 24 swift 0x0000000000e6a36e swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158 26 swift 0x0000000000e6b274 swift::TypeChecker::resolveType(swift::TypeRepr*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 164 27 swift 0x0000000000e6a27a swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 42 28 swift 0x0000000000e3ce7f swift::TypeChecker::checkGenericParamList(swift::ArchetypeBuilder*, swift::GenericParamList*, swift::DeclContext*, bool, swift::GenericTypeResolver*) + 607 29 swift 0x0000000000e3e5ff swift::TypeChecker::validateGenericSignature(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, std::function<bool (swift::ArchetypeBuilder&)>, bool&) + 143 30 swift 0x0000000000e3e9b4 swift::TypeChecker::validateGenericTypeSignature(swift::NominalTypeDecl*) + 116 31 swift 0x0000000000e19b42 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 354 35 swift 0x0000000000e1f2c6 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 150 36 swift 0x0000000000deb4e2 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474 37 swift 0x0000000000ca2572 swift::CompilerInstance::performSema() + 2946 39 swift 0x0000000000764552 frontend_main(llvm::ArrayRef<char const*>, char const*, void*) + 2482 40 swift 0x000000000075f131 main + 2705 Stack dump: 0. Program arguments: /path/to/build/Ninja-ReleaseAssert/swift-linux-x86_64/bin/swift -frontend -c -primary-file validation-test/compiler_crashers/28195-swift-constraints-constraintsystem-resolveoverload.swift -target x86_64-unknown-linux-gnu -disable-objc-interop -module-name main -o /tmp/28195-swift-constraints-constraintsystem-resolveoverload-3b9977.o 1. While type-checking 'a' at validation-test/compiler_crashers/28195-swift-constraints-constraintsystem-resolveoverload.swift:8:1 2. While resolving type h at [validation-test/compiler_crashers/28195-swift-constraints-constraintsystem-resolveoverload.swift:11:16 - line:11:16] RangeText="h" 3. While type-checking expression at [validation-test/compiler_crashers/28195-swift-constraints-constraintsystem-resolveoverload.swift:10:7 - line:10:7] RangeText="b" <unknown>:0: error: unable to execute command: Aborted <unknown>:0: error: compile command failed due to signal (use -v to see invocation) ``` 09 January 2016, 00:41:08 UTC
73b63c8 Conform to standard spacing around operators, etc. 09 January 2016, 00:39:22 UTC
57d4f2d Remove redundant backslashes. 09 January 2016, 00:39:22 UTC
bf90a10 Avoid multiple imports on same line. 09 January 2016, 00:39:22 UTC
21c3d93 Remove unused imports. 09 January 2016, 00:39:22 UTC
3022401 [SR-392][Runtime] Avoid overrelease when failing cast to protocol Fixes a regression introduced in e09027ca which causes us to release the wrong value when a cast fails. 09 January 2016, 00:02:37 UTC
e76dbd5 Remove confusing `incIfSigned` control flow This function was named exactly backwards (it incremented only when *not* signed). Investigating this naming error revealed that the call site was also unclear: `incIfSigned` was called from a block where `signed` was known to be False). So, I inlined the logic in the one place where it was actually used, and removed the function. 08 January 2016, 23:35:15 UTC
5112864 Remove the archetype from Substitution. This eliminates some minor overheads, but mostly it eliminates a lot of conceptual complexity due to the overhead basically appearing outside of its context. 08 January 2016, 23:27:13 UTC
9c25ce1 tests: add a few more import statements to workaround linker errors 08 January 2016, 23:08:56 UTC
626efa6 Merge pull request #890 from practicalswift/unused-import [Python] Remove unused import (recently introduced PEP8 regression) 08 January 2016, 22:37:34 UTC
8991424 Merge pull request #909 from dcci/environfbsd [Glibc] Define 'extern char **environment' correctly on FreeBSD. 08 January 2016, 22:36:34 UTC
408f7fa Merge pull request #915 from practicalswift/swiftc-28194-swift-abstractstoragedecl-isgettermutating [swiftc] Add test case for crash triggered in swift::AbstractStorageDecl::isGetterMutating() 08 January 2016, 22:35:37 UTC
f9daf91 Merge pull request #918 from dcci/library [CMake] Pass -lpthread on FreeBSD. 08 January 2016, 22:35:18 UTC
432018b Merge pull request #786 from ezephir/sr-247 [SIL]Record conformances when parsing init_existential_metatype 08 January 2016, 22:30:46 UTC
c3292db [CMake] Pass -lpthread on FreeBSD. At the time this code was originally written, Swift standard library hasn't been ported to FreeBSD, so we didn't need any additional library. This is not true anymore, so fix it. 08 January 2016, 22:26:47 UTC
4ef0ac1 [docs] Library Evolution: note that operator decls are not ABI. 08 January 2016, 22:25:47 UTC
51736f1 [Glibc] Define 'extern char **environment' correctly on FreeBSD. 08 January 2016, 21:52:14 UTC
9cf84c2 Fix a leak when interpolating optional references. The runtime support for casting optionals introduced in 35cb1afa resulted in a redundant retain. Fixes SR-459: Weakened optionals don't zero... rdar://24057977. 08 January 2016, 21:51:02 UTC
0948c71 Merge pull request #917 from practicalswift/fix-ide-tests-again [tests] Fix IDE test suite: Update with expected exit code (0) 08 January 2016, 21:48:45 UTC
0f256b7 Fix IDE test suite: Update with expected exit code (0). 08 January 2016, 21:44:10 UTC
a48898e Merge pull request #916 from practicalswift/mark-ide-crashers-as-fixed [tests] Mark three IDE crashers as fixed 08 January 2016, 21:33:15 UTC
db9fa33 Move to IDE/crashers_fixed/ Fixed thanks to @nkcsgexi:s commit f5f796b648ea01dda4b4d825f1aa486343c09310 :-) 08 January 2016, 21:30:26 UTC
7382b46 Update RUN line to reflect current non-crash status. 08 January 2016, 21:28:29 UTC
01a0444 SIL.rst: Document new alloc_global instruction 08 January 2016, 21:24:03 UTC
6a2fc3a [swiftc] Add test case for crash triggered in swift::AbstractStorageDecl::isGetterMutating() const Stack trace: ``` swift: /path/to/swift/lib/AST/Decl.cpp:2663: bool swift::AbstractStorageDecl::isGetterMutating() const: Assertion `getGetter()' failed. 8 swift 0x0000000000fcd29a swift::AbstractStorageDecl::isGetterMutating() const + 154 13 swift 0x0000000000f72a35 swift::Expr::walk(swift::ASTWalker&) + 69 14 swift 0x0000000000e91d46 swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::Expr*, swift::Type, bool, bool, bool) + 502 15 swift 0x0000000000e046db swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 683 19 swift 0x0000000000eacf58 swift::constraints::ConstraintSystem::diagnoseFailureForExpr(swift::Expr*) + 104 20 swift 0x0000000000eb180e swift::constraints::ConstraintSystem::salvage(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::Expr*) + 4046 21 swift 0x0000000000dfe2d5 swift::TypeChecker::solveForExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::FreeTypeVariableBinding, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem&, llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>) + 661 22 swift 0x0000000000e04669 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 569 25 swift 0x0000000000e64a2a swift::TypeChecker::typeCheckFunctionBodyUntil(swift::FuncDecl*, swift::SourceLoc) + 362 26 swift 0x0000000000e6487e swift::TypeChecker::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 46 27 swift 0x0000000000e65448 swift::TypeChecker::typeCheckAbstractFunctionBody(swift::AbstractFunctionDecl*) + 136 29 swift 0x0000000000deb60b swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1771 30 swift 0x0000000000ca2572 swift::CompilerInstance::performSema() + 2946 32 swift 0x0000000000764552 frontend_main(llvm::ArrayRef<char const*>, char const*, void*) + 2482 33 swift 0x000000000075f131 main + 2705 Stack dump: 0. Program arguments: /path/to/build/Ninja-ReleaseAssert/swift-linux-x86_64/bin/swift -frontend -c -primary-file validation-test/compiler_crashers/28194-swift-abstractstoragedecl-isgettermutating.swift -target x86_64-unknown-linux-gnu -disable-objc-interop -module-name main -o /tmp/28194-swift-abstractstoragedecl-isgettermutating-e7cbe7.o 1. While type-checking setter for a at validation-test/compiler_crashers/28194-swift-abstractstoragedecl-isgettermutating.swift:9:20 2. While type-checking expression at [validation-test/compiler_crashers/28194-swift-abstractstoragedecl-isgettermutating.swift:9:24 - line:9:25] RangeText="a{" 3. While type-checking expression at [validation-test/compiler_crashers/28194-swift-abstractstoragedecl-isgettermutating.swift:9:24 - line:9:24] RangeText="a" <unknown>:0: error: unable to execute command: Aborted <unknown>:0: error: compile command failed due to signal (use -v to see invocation) ``` 08 January 2016, 21:06:25 UTC
d4a19cb [test] Add missing run lines. 08 January 2016, 21:02:32 UTC
62e3d58 Merge pull request #913 from kovpas/xctest_autoclosure_message [XCTest] Add @autoclosure to message parameter, so it's constructed only if it's needed 08 January 2016, 21:02:06 UTC
f5f796b [CodeCompletion] Add code completion for generic parameters' inherited types. rdar://20699515 08 January 2016, 20:51:58 UTC
a121db8 Merge pull request #898 from practicalswift/swiftc-28193-swift-typechecker-lookupmembertype [swiftc] Add test case for crash triggered in swift::TypeChecker::lookupMemberType(…) 08 January 2016, 20:39:17 UTC
ea1d9df Merge pull request #914 from ezephir/linux-test-runtime [StdLib] Re-add runAllTests call to Runtime tests 08 January 2016, 20:37:14 UTC
1b88571 Merge pull request #912 from practicalswift/asan-output [crash triaging] Add AddressSanitizer (ASan) output to crash cases 08 January 2016, 20:36:59 UTC
55aa681 [StdLib] Re-add runAllTests call to Runtime tests 08 January 2016, 20:12:26 UTC
e0c6ac1 Add @autoclosure to message parameter, so it's constructed only if it's needed. 08 January 2016, 19:49:48 UTC
2da07db Merge pull request #905 from ezephir/linux-test-reflection-hashing [StdLib] Extend ReflectionHashing test to pass on Linux 08 January 2016, 19:43:49 UTC
0c808b0 Add the AnyObject special case to the SIL parser's conformance logic. 08 January 2016, 19:11:03 UTC
4ea2138 Add AddressSanitizer (ASan) output to crash cases. 08 January 2016, 19:04:15 UTC
bac0bad Merge pull request #911 from practicalswift/typo-fixes-20160108 [gardening] Fix recently introduced typos 08 January 2016, 18:53:58 UTC
f76c616 [build system] Renamed the preset for LLDB_Embedded and added more comments. This should make it less confusing to figure out what this preset is for, and what configuration it requires. 08 January 2016, 18:23:05 UTC
5dce00a [Build system] Add presets for Swift inside the LLDB tree. This is useful when building LLDB configurations from Xcode that require the Swift sources to be inside the LLDB tree. While we still recommend checking out LLDB as a peer of llvm, clang, and swift, and using build-script to automate the overall build, this allows LLDB to be built from Xcode in the same way that it is in llvm.org. 08 January 2016, 18:22:51 UTC
881539e Merge pull request #830 from RLovelett/lit-python-3 [lit] The cmp() function should be treated as gone in Python 3 08 January 2016, 18:22:28 UTC
c37697d Add the stand-alone generic specializer pass back to the pipeline. On the whole it looks like this currently benefits performance. As with the devirtualization pass, once the updated inliner is committed, the position of this pass in the pipeline will change. 08 January 2016, 16:21:00 UTC
b9db679 [IRGen] Convert existential metatypes test to SIL Convert a test in order to test the SIL parser and avoid the front end. The updated test verifies that conformances for the init_existential_metatype instruction are calculated correctly. The matching functionality was added in commit 2df68806. 08 January 2016, 11:15:17 UTC
f91dd6f Merge pull request #857 from jder/fix-existential-cast-leak [SR-426][Runtime] Use _fail to ensure src is deallocated in cast 08 January 2016, 09:44:35 UTC
57abe19 Add the stand-alone devirtualizer pass back to the pipeline. It looks like this has minimal performance impact either way. Once the changes to make the inliner a function pass are committed, the position of this in the pipeline will change. 08 January 2016, 08:40:03 UTC
59db088 Silence unused variable warning in release build. 08 January 2016, 08:40:02 UTC
7cf882c Fix recently introduced typos. 08 January 2016, 08:35:35 UTC
8cc8c5c [Sema] Improve handling of invalid protocols during conformance checking 08 January 2016, 08:27:24 UTC
2df6880 Introduce ProtocolConformanceRef. NFC. The main idea here is that we really, really want to be able to recover the protocol requirement of a conformance reference even if it's abstract due to the conforming type being abstract (e.g. an archetype). I've made the conversion from ProtocolConformance* explicit to discourage casual contamination of the Ref with a null value. As part of this change, always make conformance arrays in Substitutions fully parallel to the requirements, as opposed to occasionally being empty when the conformances are abstract. As another part of this, I've tried to proactively fix prospective bugs with partially-concrete conformances, which I believe can happen with concretely-bound archetypes. In addition to just giving us stronger invariants, this is progress towards the removal of the archetype from Substitution. 08 January 2016, 08:19:59 UTC
3771e9d IRGen: Fix global_resilience.sil test for 32-bit (sigh...) 08 January 2016, 07:34:23 UTC
8bbc7fd Merge pull request #852 from ezephir/linux-test-set-traps [StdLib] Refactor ObjC dependencies in SetTraps test 08 January 2016, 07:30:01 UTC
8b9d017 Merge pull request #855 from ezephir/linux-test-array-traps [StdLib] Refactor ObjC dependencies in ArrayTraps test 08 January 2016, 07:29:09 UTC
6e0d832 Merge pull request #862 from ezephir/linux-test-runtime [StdLib] Refactor ObjC dependencies in Runtime tests 08 January 2016, 07:28:14 UTC
a0872d8 Merge pull request #897 from practicalswift/sil-024-swift-expr-walk [SIL] Add test case for crash triggered in swift::Expr::walk(…): UNREACHABLE executed at /path/to/swift/lib/Sema/CSApply.cpp:4913 08 January 2016, 07:21:54 UTC
4ac0faf [stdlib/prototype] Disable test Integers.swift.gyb on all but OS X. The test is running forever on iOS arm64. 08 January 2016, 07:18:23 UTC
9bf6ef7 IRGen: Lowering of alloc_global and global_addr for non-fixed-size types Allocate and project the buffer, respectively, adding the necessary indirection required to handle the size not being known until runtime. For now we don't emit alloc_global instructions anywhere; an upcoming change will add that at the SIL level. Also I suspect debug info needs some work to handle the extra indirection, I'll look into this soon. 08 January 2016, 07:00:43 UTC
7b17deb Revert "[loop-region] Add in an assert that we should always have a block result for getRegionForNonLocalSuccessors. NFC." This reverts commit 81e7bdfe1b7e3158d4d98247b5a70bbf06b146f2. This is not true in non-loop canonicalized SIL. It is true in loop-canonicalized SIL though. So I need to fix the test to avoid the assert. 08 January 2016, 04:46:12 UTC
81e7bdf [loop-region] Add in an assert that we should always have a block result for getRegionForNonLocalSuccessors. NFC. 08 January 2016, 04:32:05 UTC
385c4a5 [passmanager] When visiting functions in runFunctionPasses, make sure to check continueTransforming. While debugging some code I noticed that we were not checking continueTransforming everywhere that we needed to. This commit adds the missing check. 08 January 2016, 03:22:47 UTC
25a9990 [arc-loop-hoisting] Add motiviation/proofs of correctness of ARCLoopHoisting to ARCOptimization.rst. 08 January 2016, 03:21:19 UTC
8c317db Merge pull request #908 from dcci/casesensitive [CMake] Spell freebsd correctly. 08 January 2016, 02:01:55 UTC
0001c9e [CMake] Spell freebsd correctly. Case sensitiveness matters in this case. 08 January 2016, 02:00:25 UTC
fcb26ae [docs] Address some of Slava's feedback on LibraryEvolution.rst. (but not all of it) - Add a note about throwing functions becoming non-throwing. - Clarify that let-properties may not be turned into read-only vars. - Permit new static stored properties on fixed_layout structs. - Drop note about "fixed_layout-since-first-available". - Add note disparaging the utility of @fixed. - Add note about adding defaulted associated types to protcols. - Clarify which members can and cannot be added to a class. - Add some class-specific permitted changes. - Note that adding/removing 'dynamic' is /not/ permitted. - Split up protocol and non-protocol extensions. - Explain why the 'no_payload' performance assertion isn't needed. Saving the rest of the feedback for the next major content addition. 08 January 2016, 01:26:34 UTC
d1f124e [lit] The cmp() function should be treated as gone in Python 3 As noted in the "What's New in Python 3.0" [1] documentation the Python 2 `cmp` function no longer exists in Python 3. The document goes on to say that if you really need the `cmp` function you should define your own. Since the function appears to only be used once in the script I defined a local function rather than shadow the Python 2 function. The local function, `_cmp`, implements the recommended expression from the "What's New in Python 3.0" document. The behavior is now defined on both Python 2 and 3. [1] https://docs.python.org/3.0/whatsnew/3.0.html#ordering-comparisons 08 January 2016, 01:14:06 UTC
d30df98 Merge pull request #888 from briancroom/use_StaticString Use StaticString for `file` parameters in the XCTest overlay 08 January 2016, 00:03:10 UTC
1eb1a85 IRGen: StorageType doesn't need to be public, we already have an accessor for it, NFC 07 January 2016, 22:33:15 UTC
941e57c SILGen: Revert accidental edit from alloc_global patch Today is a really bad day as far as me not breaking the build goes. Sorry folks! 07 January 2016, 22:32:46 UTC
046606a SIL: Add a new alloc_global instruction If a global variable in a module we are compiling has a type containing a resilient value type from a different module, we don't know the size at compile time, so we cannot allocate storage for the global statically. Instead, we will use a buffer, just like alloc_stack does for archetypes and resilient value types. This adds a new SIL instruction but does not yet make use of it. 07 January 2016, 21:40:48 UTC
66e6b2a Merge pull request #902 from dcci/unittest [stdlib] Port StdlibUnittest to FreeBSD. 07 January 2016, 21:31:59 UTC
2d8a9b0 Merge pull request #903 from zachpanz88/patch-1 Fix exit bugs of some python scripts 07 January 2016, 21:26:33 UTC
3e002b7 Use IsTriviallyCopyable instead of std::is_trivially_copyable to work around issues on Linux. 07 January 2016, 21:16:59 UTC
3b2b431 [ptrintenum] Use PointerLikeTypeTraits to convert PointerTy <-> (void *). This will enable PointerIntEnum to be used with PointerLikeTypes that are not pointers (for instance SILValue). 07 January 2016, 21:14:34 UTC
back to top