swiftlang/swift

Pull Requests Commits

Account for implicit unsafety in unsafe witness and override checks

DougGregor committed 281 days ago

4b3c18de

Diagnose the use of a typealias that involves unsafe types

DougGregor committed 281 days ago

ba23f36f

DeadObjectElimination: handle OSSA instructions when analyzing class destructors

eeckstein committed 281 days ago

41dd3dc4

AST: Make `HasSelfOrAssociatedTypeRequirementsRequest` evaluate to false on cycle

AnthonyLatsis committed 282 days ago

56e2e197

TypeCheckType: Mark misspelled optional existential as invalid

AnthonyLatsis committed 282 days ago

f1989607

Disable on wasm

aschwaighofer committed 282 days ago

e242d788

Enable silcombine to propagate concrete type of existentials in ossa

meg-gupta committed 282 days ago

5e1f9a37

[NFC] Print final ossa module when enabled

meg-gupta committed 282 days ago

57149828

[cxx-interop] NFC: Fix a warning

egorzhdan committed 282 days ago

67da2026

GenericSpecializer: fix an ownership verification failure when removing a partial_apply of a thunk

eeckstein committed 282 days ago

e6f161c9

Merge pull request #78345 from swiftlang/revert-78327-back-deployed-without-body

shahmishal committed 283 days ago

Verified 55189bae

Revert "Sema: Diagnose `@backDeployed` functions with missing bodies in swiftinterfaces"

DougGregor committed 283 days ago

Verified aab36f63

Optimizer: re-implement the `pointer_to_address` SILCombine peephole optimizations in swift

eeckstein committed 284 days ago

9aff288b

SIL Verifier: check that an instruction with a guaranteed result is either a BeginBorrowValue or a ForwardingInstruction

eeckstein committed 284 days ago

51c6a60d

BorrowUtils: make `unchecked_ownership_conversion` to guaranteed ownership a BeginBorrowValue

eeckstein committed 284 days ago

c5b14c2b

SIL: add the IndexingInstruction protocol

eeckstein committed 284 days ago

43b6fd4e

SIL: add the `Builtin.name` getter and `Builtin.arguments`

eeckstein committed 284 days ago

969a788e

SIL: add APIs to set and get the alignment of a `pointer_to_address` instruction.

eeckstein committed 284 days ago

1856d4e9

SIL: add some Builder-create functions

eeckstein committed 284 days ago

2d10da00

Don't diagnose uses of `@unchecked Sendable` conformances

DougGregor committed 284 days ago

419c4775

Mark SerialExecutor.asUnownedSerialExecutor unsafe so conformances don't need to be @unsafe

DougGregor committed 284 days ago

3ab5456e

Generalize protocol conformance options spelled via attribute and incorporate @unsafe

DougGregor committed 284 days ago

5b90b885

Only emit @unsafe warning when strict safety mode is enabled

DougGregor committed 284 days ago

b6e995e7

Remove WarnUnsafe from the standard library build until we're ready to deal with the warnings

DougGregor committed 284 days ago

47f21592

Allow `@safe(unchecked)` on import decls

DougGregor committed 284 days ago

75be0d68

Diagnose the combination of -Ounchecked with strict memory safety

DougGregor committed 284 days ago

ba3e1978

Diagnose @preconcurrency imports as a strict safety issue

DougGregor committed 284 days ago

1230045c

Diagnose uses of `@unchecked Sendable` conformances, not declarations

DougGregor committed 284 days ago

55b186c9

Migrate "@unchecked Sendable" strict safety diagnostic to become a note associated with its type

DougGregor committed 284 days ago

a86d942e

Merge pull request #78331 from cachemeifyoucan/eng/PR-141843125

cachemeifyoucan committed 284 days ago

Verified 192bb334

Newer Older