summaryrefslogtreecommitdiff
path: root/lib/dialyzer/src/dialyzer_dataflow.erl
Commit message (Expand)AuthorAgeFilesLines
* dialyzer: Fix crash on weird segment sizesJohn Högberg2023-04-241-13/+10
* dialyzer_dataflow: Use the map syntax instead of the maps moduleBjörn Gustavsson2023-02-021-25/+27
* Merge branch 'maint'John Högberg2022-12-221-11/+11
|\
| * dialyzer: Rename t_is_none_or_unit/1 to t_is_impossible/1John Högberg2022-12-211-7/+7
| * dialyzer_dataflow: Fix bug in bind_checked_inf/4John Högberg2022-12-211-5/+5
* | Merge branch 'maint'Björn Gustavsson2022-11-071-3/+15
|\ \ | |/
| * Eliminate Dialyzer crash for ill-typed codeBjörn Gustavsson2022-11-041-3/+15
* | Merge branch 'maint'Björn Gustavsson2022-09-271-1/+7
|\ \ | |/
| * Dialyzer: Eliminate crash for code generated by ElixirBjörn Gustavsson2022-09-261-1/+7
* | dialyzer: Fix literal value being used instead of typeTom Davies2022-09-221-2/+3
|/
* dialyzer: Accept new primop nif_start emitted by -nifs([])Sverker Eriksson2022-03-251-0/+2
* dialyzer_dataflow: Avoid andalso/orelse in guardsBjörn Gustavsson2022-01-261-4/+4
* dialayzer_dataflow: Simplify is_opaque_type_test_problem/4Björn Gustavsson2022-01-261-9/+9
* dialyzer_dataflow: Introduce helper function guard_eval_inf/2Björn Gustavsson2022-01-261-21/+12
* dialyzer_dataflow: Simplify is_infix_op/1Björn Gustavsson2022-01-261-10/+4
* dialyzer_dataflow: Refactor handle_guard_call() and friendsBjörn Gustavsson2022-01-261-30/+33
* dialyzer_dataflow: Refactor bind_pat_vars()Björn Gustavsson2022-01-261-189/+155
* dialyzer_dataflow: Refactor handle_case() and handle_clauses()Björn Gustavsson2022-01-261-17/+19
* dialyzer_dataflow: Break out handling of clause warningsBjörn Gustavsson2022-01-261-129/+147
* dialyzer_dataflow: Break out handling of primopsBjörn Gustavsson2022-01-261-28/+34
* dialyzer_dataflow: Break out handling of unmatched return warningsBjörn Gustavsson2022-01-261-14/+22
* Remove handling of eliminated primop 'timeout'Björn Gustavsson2022-01-261-2/+0
* dialyzer: Eliminate the `race_conditions` optionBjörn Gustavsson2021-12-091-300/+54
* dialyzer_dataflow: Eliminate unreachable codeBjörn Gustavsson2021-09-201-86/+9
* Use map-based setsBjörn Gustavsson2021-09-201-2/+2
* dialyzer: Do not expose line number 0 in message locationsHans Bolinder2021-05-261-6/+1
* dialyzer: Improve column numbers in warningsHans Bolinder2021-01-261-12/+41
* dialyzer: Assign better start locations to messagesHans Bolinder2021-01-261-12/+5
* dialyzer: Use column numbers in messagesHans Bolinder2021-01-261-4/+14
* dialyzer: Make minimal adjustments for column numbersHans Bolinder2021-01-261-0/+1
* Eliminate dialyzer crashing when analyzing try/catchBjörn Gustavsson2021-01-121-21/+27
* remove duplicated t_inf_list/3 from includeMariano Guerra2020-10-171-1/+1
* Teach Dialyzer to handle the refactored Core Erlang representationBjörn Gustavsson2020-02-061-30/+46
* dialyzer: Fix dialyzer_dataflow:format_args_1()Hans Bolinder2019-04-291-7/+8
* dialyzer: Improve the warning tagged 'fun_app_args'Hans Bolinder2019-04-241-1/+6
* dialyzer: Do not emit warnings for unreachable funsHans Bolinder2018-05-131-10/+34
* Merge branch 'maint'Hans Bolinder2018-02-231-7/+7
|\
| * dialyzer: Correct a parameterized opaque types bugHans Bolinder2018-02-211-7/+7
* | Merge branch 'maint'Hans Bolinder2018-02-151-0/+7
|\ \ | |/
| * dialyzer: Fix a crashHans Bolinder2018-02-141-0/+7
* | dialyzer: Assign a type to the primop build_stacktraceHans Bolinder2018-02-061-1/+1
* | Merge branch 'maint'Hans Bolinder2018-01-231-1/+4
|\ \ | |/
| * dialyzer: Optimize handling of a lot of warningsHans Bolinder2018-01-221-1/+4
* | Add syntax in try/catch to retrieve the stacktrace directlyBjörn Gustavsson2017-11-301-0/+1
|/
* dialyzer: Minor optimizationsHans Bolinder2017-06-131-2/+4
* dialyzer: Improve handling of UnicodeHans Bolinder2017-06-091-37/+37
* Merge branch 'maint'Hans Bolinder2017-03-061-4/+12
|\
| * dialyzer: Fix an opaque bugHans Bolinder2017-02-281-5/+13
* | Fixed typos in lib/dialyzerAndrew Dryga2017-02-141-1/+1
* | Merge branch 'maint'Hans Bolinder2017-01-121-6/+16
|\ \ | |/
View Lorry Controller Status