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 aBugzilla 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.
`reportSafeError(fd, gag, loc, format, args)`	Report safety violation for function `fd`, or squirrel away error message in fd.safetyViolation if needed later. Call when `fd` was just inferred to be @system OR `fd` was @safe and an tried something unsafe.
`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`
`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

Authors

Walter Bright

License

Boost License 1.0