dialyzer: Eliminate the race_conditions option
#5502
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
The `race_conditions` option has not matured despite having been in Dialyzer since 2008. Quoting its documentation: > Notice that the analysis that finds data races performs intra-procedural data flow analysis and can sometimes explode in time. Enable it at your own risk. Removing the `race_conditions` option simplifies the Dialyzer code base; especially the `dialyzer_dataflow` module.
bjorng
added
team:VM
jhogberg
approved these changes
Dec 9, 2021
g-andrade
added a commit
to g-andrade/aequitas
that referenced
this pull request
Apr 9, 2022
g-andrade
added a commit
to g-andrade/deigma
that referenced
this pull request
Apr 9, 2022
g-andrade
added a commit
to g-andrade/erlffx
that referenced
this pull request
Apr 9, 2022
g-andrade
added a commit
to g-andrade/taskforce
that referenced
this pull request
Apr 9, 2022
g-andrade
added a commit
to g-andrade/yabko
that referenced
this pull request
Apr 9, 2022
g-andrade
added a commit
to g-andrade/fake_lager
that referenced
this pull request
Apr 9, 2022
g-andrade
added a commit
to g-andrade/locus
that referenced
this pull request
Apr 9, 2022
g-andrade
added a commit
to g-andrade/tls_certificate_check
that referenced
this pull request
Apr 9, 2022
gabrielpedepera
pushed a commit
to gabrielpedepera/dialyxir
that referenced
this pull request
Oct 24, 2022
|
why did we have it in the first place? |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
The
race_conditionsoption has not matured despite having been inDialyzer since 2008. Quoting its documentation:
Removing the
race_conditionsoption simplifies the Dialyzer code base;especially the
dialyzer_dataflowmodule.