swift
6c24bc57 - [AST][SILGen] model ABI-safe casts of LValues

Commit
3 years ago
[AST][SILGen] model ABI-safe casts of LValues We needed a way to describe an ABI-safe cast of an address representing an LValue to implement `@preconcurrency` and its injection of casts during accesses of members. This new AST node, `ABISafeConversionExpr` models what is essentially an `unchecked_addr_cast` in SIL when accessing the LVAlue. As of now I simply implemented it and the verification of the node for the concurrency needs to ensure that it's not misused by accident. If it finds use outside of that, feel free to update the verifier.
Author
Committer
Parents
Loading