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