View source code
Display the source code in dmd/dfa/fast/expression.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.expression
Expression walker for the fast Data Flow Analysis engine.
This module tracks how values flow through expressions.
It is responsible for:
1. Tracking Assignments: Updating the state of variables when they are written to.
2. Inferring Facts: Learning about variables from conditions (e.g., if (ptr)).
3. Handling Function Calls: Managing side effects and return values.
4. Modeling Arithmetic: Tracking ranges of values (Point Analysis) to detect overflows.
Documentation
https://dlang.org/phobos/dmd_dfa_fast_expression.html
Coverage
https://codecov.io/gh/dlang/dmd/src/master/compiler/src/dmd/dfa/fast/expression.d
Structs
| Name | Description |
|---|---|
ExpressionWalker
|
Visits Expression nodes to track data flow. |
Authors
License
Copyright © 1999-2026 by the D Language Foundation | Page generated by ddox.