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 a local clone.

dmd.safe

Compiler implementation of the D programming language.

Authors:

Walter Bright

License:

Boost License 1.0

Source safe.d

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

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

bool checkUnsafeAccess(Scope* sc, Expression e, bool readonly, bool 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.

Parameters:

Scope* `sc`	scope
Expression `e`	expression to check
bool `readonly`	if access is read-only
bool `printmsg`	print error message if true

Returns:

true if error

bool isSafeCast(Expression e, Type tfrom, Type tto);

Determine if it is @safe to cast e from tfrom to tto.

Parameters:

Expression `e`	expression to be cast
Type `tfrom`	type of e
Type `tto`	type to cast e to

Returns:

true if @safe

Library Reference

dmd.safe