Nate Chandler 648cede13b [Diagnostics] Allow multiple non-custom _effects. ...

Adjust `SILFunctionBuilder` to allow distinct non-custom effects and to
interpret such "conflicting" guarantees to provide the strongest
guarantee. For example, annotating a function both `@_effects(readnone)`
and `@_effects(releasenone)` is equivalent to only annotating it
`@_effects(readnone)`.

First step to reapplying https://github.com/apple/swift/pull/68285 .

rdar://118216287

2023-11-09 21:39:43 -08:00

2.4 KiB

Raw Permalink Blame History

View Raw