View source code
Display the source code in dmd/safe.d from which this page was generated on github.
Report a bug
If you spot a problem with this page, click here to create a Bugzilla issue.
Improve this page
Quickly fork, edit online, and submit a pull request for this page. Requires a signed-in GitHub account. This works well for small changes. If you'd like to make larger changes you may want to consider using local clone.

Module dmd.safe

Checks whether member access or array casting is allowed in @safe code.

Specification

Function Safety

Documentation

https://dlang.org/phobos/dmd_safe.html

Coverage

https://codecov.io/gh/dlang/dmd/src/master/src/dmd/safe.d

Functions

NameDescription
checkUnsafeAccess(sc, e, readonly, printmsg) Check for unsafe access in @safe code: 1. read overlapped pointers 2. write misaligned pointers 3. write overlapped storage classes Print error if unsafe.
checkUnsafeDotExp(sc, e, id, flag) Check for unsafe use of .ptr or .funcptr
isSafeCast(e, tfrom, tto) Determine if it is @safe to cast e from tfrom to tto.

Authors

Walter Bright

License

Boost License 1.0