Menu
Search

API Documentation

version 2.113.0

overview

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.

Function dmd.dfa.fast.report.DFAReporter.onAssertIsFalse

Reports an error if an assertion is statically provable to be false.

void onAssertIsFalse(
  ref dmd.dfa.fast.structure.DFALatticeRef lr,
  ref Loc loc
);

If the DFA determines that the condition x in assert(x) is definitively false (e.g., assert(null) or assert(0) after analysis), it reports this logic error.

Authors

Richard (Rikki) Andrew Cattermole

License

Boost License 1.0