Display the source code in dmd/safe.d from which thispage was generated on github.

If you spot a problem with this page, click here to create aGitHub 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 usinglocal clone.

Module `dmd.safe`

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

Specification

Function Safety

Documentation

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

Coverage

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

Functions

Name	Description
`checkUnsafeAccess(sc, e, readonly, 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.
`checkUnsafeDotExp(sc, e, id, flag)`	Check for unsafe use of `.ptr` or `.funcptr`
`isSafeCast(e, tfrom, tto, msg)`	Determine if it is @safe to cast e from tfrom to tto.
`isSaferD(fd)`	Safer D adds safety checks to functions with the default trust setting.
`setFunctionToUnsafe(fd)`	Function is doing something unsafe. If inference is in process, commit the function to be @system.
`setUnsafe(sc, gag, loc, format, args)`	A statement / expression in this scope is not `@safe`, so mark the enclosing function as `@system`
`setUnsafe(sc, gag, loc, scopeVar, format, args)`	Overload that also stores the variable whose scope status caused the violation
`setUnsafeCall(fd, f)`	The function is calling `@system` function `f`, so mark it as unsafe.
`setUnsafePreview(sc, fs, gag, loc, format, args)`	Like `setUnsafe`, but for safety errors still behind preview switches
`setUnsafePreview(sc, fs, gag, loc, scopeVar, format, args)`	Overload for scope violations that also stores the variable whose scope status caused the issue

Authors

Walter Bright

License

Boost License 1.0