Display the source code in dmd/safe.d from which this page was generated on github.

If you spot a problem with this page, click here to create a Bugzilla issue.

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

Name	Description
`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