dmd.safe

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

Specification: Function Safety

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

  • checkUnsafeAccess

    Declaration

    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

    Return Value

    true if error

  • isSafeCast

    Declaration

    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

    Return Value

    true if @safe