Skip to content

Commit

Permalink
dialyzer: Fix slow Dialyzer run on Elixir source code
Browse files Browse the repository at this point in the history
Fix #9135. Dialyzer was slow
because in `dialyzer_dataflow:handle_guard_call/5`, previous way of
handling opaque warnings required one extra round of binding for guards.
In Elixir source code, guards in the format of `when digit in ?0..?9`
can be expanded to more than 10 guards during Dialyzer's analysis, which
made the inefficiency more obvious.
  • Loading branch information
lucioleKi committed Dec 9, 2024
1 parent c838c6c commit 41f7002
Showing 1 changed file with 105 additions and 86 deletions.
Loading

0 comments on commit 41f7002

Please sign in to comment.