View source code
Display the source code in dmd/dfa/fast/report.d from which thispage was generated on github.
Report a bug
If you spot a problem with this page, click here to create aGitHub 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 usinglocal clone.
Module dmd.dfa.fast.report
Reporting mechanism for the fast Data Flow Analysis engine.
This module translates the abstract state of the DFA into concrete compiler errors.
It is responsible for:
1. Null Checks: Reporting errors when null pointers are dereferenced.
2. Contract Validation: Ensuring functions fulfill their out contracts (e.g., returning non-null).
3. Logic Errors: Detecting assertions that are provably false at compile time.
Documentation
https://dlang.org/phobos/dmd_dfa_fast_report.html
Coverage
https://codecov.io/gh/dlang/dmd/src/master/compiler/src/dmd/dfa/fast/report.d
Structs
| Name | Description |
|---|---|
DFAReporter
|
The interface for reporting DFA errors and warnings. |
Authors
License
Copyright © 1999-2026 by the D Language Foundation | Page generated by ddox.