View source code
Display the source code in dmd/escape.d from which this page was generated on github.
Report a bug
If you spot a problem with this page, click here to create a Bugzilla issue.
Improve this page
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.escape

Compiler implementation of the D programming language.

Documentation

https://dlang.org/phobos/dmd_escape.html

Coverage

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

Functions

NameDescription
checkArrayLiteralEscape(sc, ae, gag) Array literal is going to be allocated on the GC heap. Check its elements to see if any would escape by going on the heap.
checkAssignEscape(sc, e, gag) Given an AssignExp, determine if the lvalue will cause the contents of the rvalue to escape. Print error messages when these are detected. Infer 'scope' for the lvalue where possible, in order to eliminate the error.
checkAssocArrayLiteralEscape(sc, ae, gag) Associative array literal is going to be allocated on the GC heap. Check its elements to see if any would escape by going on the heap.
checkNewEscape(sc, e, gag) Detect cases where pointers to the stack can 'escape' the lifetime of the stack frame by being placed into a GC allocated object. Print error messages when these are detected.
checkParamArgumentEscape(sc, fdc, par, arg, gag) Function parameter par is being initialized to arg, and par may escape. Detect if scoped values can escape this way. Print error messages when these are detected.
checkReturnEscape(sc, e, gag) Detect cases where pointers to the stack can 'escape' the lifetime of the stack frame by returning 'e' by value. Print error messages when these are detected.
checkReturnEscapeRef(sc, e, gag) Detect cases where returning 'e' by ref can result in a reference to the stack being returned. Print error messages when these are detected.
checkThrowEscape(sc, e, gag) Detect cases where pointers to the stack can 'escape' the lifetime of the stack frame when throwing e. Print error messages when these are detected.
eliminateMaybeScopes(array) Have some variables that are maybescopes that were assigned values from other maybescope variables. Now that semantic analysis of the function is complete, we can finalize this by turning off maybescope for array elements that cannot be scope.
findAllOuterAccessedVariables(fd, vars) Find all variables accessed by this delegate that are in functions enclosing it.
notMaybeScope(v) Turn off STC.maybescope for variable v. This exists in order to find where STC.maybescope is getting turned off.

Authors

Walter Bright

License

Boost License 1.0