Compiler implementation of the D programming language.
Check for unsafe access in @safe code: 1. read overlapped pointers 2. write misaligned pointers 3. write overlapped storage classes Print error if unsafe.
Scope* sc
| scope |
Expression e
| expression to check |
bool readonly
| if access is read-only |
bool printmsg
| print error message if true |
Determine if it is @safe to cast e from tfrom to tto.
Expression e
| expression to be cast |
Type tfrom
| type of e |
Type tto
| type to cast e to |
© 1999–2019 The D Language Foundation
Licensed under the Boost License 1.0.
https://dlang.org/phobos/dmd_safe.html