dmd.statementsem

Does semantic analysis for statements.

Specification: Statements

Authors

Walter Bright

License

Boost License 1.0

Source: statementsem.d

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

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

  • throwSemantic

    Declaration

    bool throwSemantic(const ref Loc loc, ref Expression exp, Scope* sc);

    Run semantic on throw <exp>.

    Parameters

    Loc loc

    location of the throw

    Expression exp

    value to be thrown

    Scope* sc

    enclosing scope

    Return Value

    true if the throw is valid, or false if an error was found

  • scopeCode

    Declaration

    Statement scopeCode(Statement statement, Scope* sc, out Statement sentry, out Statement sexception, out Statement sfinally);

    If statement has code that needs to run in a finally clause at the end of the current scope, return that code in the form of a Statement.

    Parameters

    Statement statement

    the statement

    Scope* sc

    context

    Statement sentry

    set to code executed upon entry to the scope

    Statement sexception

    set to code executed upon exit from the scope via exception

    Statement sfinally

    set to code executed in finally block

    Return Value

    code to be run in the finally clause

  • makeTupleForeach

    Declaration

    auto makeTupleForeach(Scope* sc, bool isStatic, bool isDecl, ForeachStatement fs, Dsymbols* dbody, bool needExpansion);

    Type check and unroll foreach over an expression tuple as well as static foreach statements and static foreach declarations. For static foreach statements and `static foreach` declarations, the visitor interface is used (and the result is written into the result field.) For `static foreach` declarations, the resulting Dsymbols* are returned directly.

    Discussion

    The unrolled body is wrapped into a

    • UnrolledLoopStatement, for foreach over an expression tuple.
    • ForwardingStatement, for static foreach statements.
    • ForwardingAttribDeclaration, for static foreach declarations.
    static foreach variables are declared as STC.local, such that they are inserted into the local symbol tables of the forwarding constructs instead of forwarded. For `static foreach` with multiple foreach loop variables whose aggregate has been lowered into a sequence of tuples, this function expands the tuples into multiple STC.local static foreach variables.

  • pragmaMsgSemantic

    Declaration

    bool pragmaMsgSemantic(Loc loc, Scope* sc, Expressions* args);

    Evaluate and print a pragma(msg, args)

    Parameters

    Loc loc

    location for error messages

    Scope* sc

    scope for argument interpretation

    Expressions* args

    expressions to print

    Return Value

    true on success

  • pragmaStartAddressSemantic

    Declaration

    bool pragmaStartAddressSemantic(Loc loc, Scope* sc, Expressions* args);

    Evaluate pragma(startAddress, func) and store the resolved symbol in args

    Parameters

    Loc loc

    location for error messages

    Scope* sc

    scope for argument interpretation

    Expressions* args

    pragma arguments

    Return Value

    true on success

  • checkLabel

    Declaration

    bool checkLabel(GotoStatement gs);

    Check for skipped variable declarations.

    Parameters

    GotoStatement gs

    statement to check

    Return Value

    true for error