summaryrefslogtreecommitdiff
path: root/lib/dialyzer
Commit message (Collapse)AuthorAgeFilesLines
* remove duplicated t_inf_list/3 from includeMariano Guerra2020-10-171-1/+1
|
* Merge branch 'maint'Henrik Nord2020-09-232-1/+16
|\ | | | | | | | | | | | | | | | | * maint: Updated OTP version Prepare release # Conflicts: # OTP_VERSION
| * Prepare releaseErlang/OTP2020-09-232-1/+16
| |
* | dialyzer: Move code in hipe that is used by dialyzer to dialyzerLukas Larsson2020-09-2117-13/+12912
|/ | | | | | | HiPE may no longer always be compiled when dialyzer is needed so we move the files in hipe to dialyzer. Co-authored-by: John Högberg <john@erlang.org>
* Fix: ERL-1307 - dialyzer handling of letrec nested in valuesJane Olszewska2020-07-292-5/+31
| | | | | | | | | | | | Fixed dialyzer plt build breaking on code that compiles to letrec nested within a multi-value values node. In the attached example (see test case): 1. letrec node would (incorrectly) inherit num_rvals from values 2. then apply would incorrectly duplicate output 3. then let would call bind_list on two lists of differing length 4. resulting in function_clause error for bind_list1
* Prepare releaseErlang/OTP2020-05-112-1/+15
|
* Revert "Prepare release"Henrik Nord2020-04-222-15/+1
| | | | This reverts commit eee1f3aba92b5a741eabfa1cb6eca0632562777a.
* Prepare releaseErlang/OTP2020-04-222-1/+15
|
* otp: Convert all <seealso> to more specific variantsLukas Larsson2020-03-274-19/+19
| | | | | | | | | | | | We add `seemfa`, `seeerl`, `seetype`, `seeapp`, `seecom`, `seecref` , `seefile` and `seeguide` in order to make it easier to reason about what each link points to without examining the target. This information will then be embedded in the EEP-48 chunks for usage by other tools. The tool used can be found here: https://gist.github.com/garazdawi/68527d92ae5b37c8f129bfbdfffdfa68
* Revert "Prepare release"Henrik Nord2020-03-252-15/+1
| | | | This reverts commit 63638d668efbeb4539ba301328cabbc2636fb154.
* Prepare releaseErlang/OTP2020-03-242-1/+15
|
* v3_core: Eliminate crash when clauses can't matchBjörn Gustavsson2020-03-051-2/+2
| | | | | | | | | | | | | | | | | | | | The compiler could crash if clauses that couldn't possibly match were removed because of variables no longer being bound. Here is an example: foobar() -> [receive a = <<V0>> -> any end], V0. An attempt to fix this problem for receive was made in 051ecbc1b3b7, but the fix was not general enough. This commit avoids the problem by never removing clauses that can't match. Instead, the pattern is rewritten so that it binds the same variables and the guard is changed to `false`.
* Revert "Prepare release"Henrik Nord2020-02-272-15/+1
| | | | This reverts commit 50e614e7d5fee9e3bfe8a58e7f390c6ea6caf271.
* Prepare releaseErlang/OTP2020-02-262-1/+15
|
* doc: Move typer cli app to REF1 sectionLukas Larsson2020-02-243-10/+11
|
* otp: Refactor doc make system and introduce EEP-48Lukas Larsson2020-02-241-69/+1
|
* kernel: Add erts to code:lib_dir lookupLukas Larsson2020-02-241-6/+10
|
* Don't keep stacktraces foreverBjörn Gustavsson2020-02-212-10/+6
| | | | | | | | | | | | | | | | | The `erlang:get_stacktrace/0` BIF retrieves the stacktrace from the previous error in the process. The problem is that the very existence of `erlang:get_stacktrace/0` means that the stacktrace and potentially function arguments must be kept indefinitely. Therefore, in OTP 21, the `erlang:get_stacktrace/0` BIF was deprecated and the syntax of try/catch extended to allow matching out the stacktrace directly. This commit changes `erlang:get_stacktrace/0` for OTP 23 to always return an empty list (`[]`) and eliminates the need to keep the stacktrace forever. `erlang:get_stacktrace/0` is scheduled for removal in OTP 24.
* dialyzer: Rephrase a confusing error messageJohn Högberg2020-02-101-1/+1
| | | | ENOENT != "not a regular file"
* Teach Dialyzer to handle the refactored Core Erlang representationBjörn Gustavsson2020-02-067-84/+348
| | | | | Add support to Dialyzer to handle the primops and the new way of using letrecs.
* Revert "Revert "Revert "dialyzer: Remove native code compilation"""John Högberg2020-02-031-0/+107
| | | | This reverts commit 646d72540b0d61ee2b010f5c510a6eeef2dd2ee8.
* Merge branch 'maint'Björn Gustavsson2020-01-311-107/+0
|\ | | | | | | | | * maint: Revert "Revert "dialyzer: Remove native code compilation""
| * Revert "Revert "dialyzer: Remove native code compilation""Björn Gustavsson2020-01-311-107/+0
| | | | | | | | | | | | | | This reverts commit 56a51ef2fd107c27692efd25f62b92fe4a1f85a5. In the master branch, HiPE miscompiles dialyzer for (probably) other reasons than catch.
* | Merge branch 'maint'Björn Gustavsson2020-01-311-0/+107
|\ \ | |/ | | | | | | | | | | | | * maint: Revert "dialyzer: Remove native code compilation" HiPE: Don't allow shared catch instructions Again allow catch in native code beam_jump: Don't share catch and try/catch blocks
| * Revert "dialyzer: Remove native code compilation"Björn Gustavsson2020-01-301-0/+107
| | | | | | | | | | | | This reverts commit 28e6c67f1f099fc9a7f959c1489c2ceb51e3439b. HiPE can now handle catches.
* | Merge branch 'maint'Lukas Larsson2020-01-151-1/+1
|\ \ | |/
| * fixed a typoShamis Shukoor2020-01-091-1/+1
| |
* | Merge branch 'maint'Henrik Nord2019-12-102-1/+28
|\ \ | |/ | | | | | | | | | | | | | | * maint: Updated OTP version Prepare release # Conflicts: # OTP_VERSION
| * Prepare releaseErlang/OTP2019-12-062-1/+28
| |
* | Merge branch 'maint'Hans Bolinder2019-11-263-16/+63
|\ \ | |/ | | | | | | | | * maint: dialyzer: Correct range type of erlang:is_record/3 dialyzer: Fix an overloaded contract warning
| * dialyzer: Fix an overloaded contract warningHans Bolinder2019-11-133-16/+63
| | | | | | | | | | | | | | | | | | | | When creating the missing_range warning, the supremum of all function type ranges is considered, not the range of one function type at a time. Notice that more extra_range messages than before can be emitted (the check for extra_range was not always performed if a missing_range was found).
* | Merge branch 'maint'Hans Bolinder2019-10-0913-10347/+0
|\ \ | |/ | | | | | | * maint: dialyzer: Remove some tests
| * dialyzer: Remove some testsHans Bolinder2019-10-0713-10347/+0
| | | | | | | | | | The tests with GNU license have been removed to simplify administration.
* | Merge branch 'hasse/dialyzer/maps_remove/OTP-16055/ERL-1002'Hans Bolinder2019-09-302-0/+27
|\ \ | | | | | | | | | | | | * hasse/dialyzer/maps_remove/OTP-16055/ERL-1002: dialyzer: Handle maps:remove/2 better
| * | dialyzer: Handle maps:remove/2 betterHans Bolinder2019-09-172-0/+27
| | | | | | | | | | | | See also ERL-1002.
* | | Merge branch 'maint'Henrik Nord2019-09-172-1/+18
|\ \ \ | |/ / |/| / | |/ | | | | | | | | | | * maint: Updated OTP version Prepare release # Conflicts: # OTP_VERSION
| * Prepare releaseErlang/OTP2019-09-172-1/+18
| |
* | Merge branch 'lukas/otp/add-dialyzer-make-target/OTP-15915'Lukas Larsson2019-08-061-0/+2
|\ \ | | | | | | | | | | | | | | | * lukas/otp/add-dialyzer-make-target/OTP-15915: otp: Add make dialyzer and make xmllint documentation Add 'make dialyzer' target to top and apps
| * | Add 'make dialyzer' target to top and appsLukas Larsson2019-06-261-0/+2
| | |
* | | Merge branch 'maint'John Högberg2019-07-102-1/+21
|\ \ \ | | |/ | |/| | | | | | | | | | | | | | | | | | | | | | * maint: Updated OTP version Prepare release # Conflicts: # OTP_VERSION # make/otp_version_tickets_in_merge
| * | Merge branch 'maint-22' into maintJohn Högberg2019-07-102-1/+21
| |\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * maint-22: Updated OTP version Prepare release # Conflicts: # make/otp_version_tickets
| | * | Prepare releaseErlang/OTP2019-07-092-1/+21
| | | |
| | * | Merge branch 'john/hipe/catch-miscompilation/OTP-15949' into maint-22Erlang/OTP2019-07-091-107/+0
| | |\ \ | | | | | | | | | | | | | | | | | | | | | | | | | * john/hipe/catch-miscompilation/OTP-15949: dialyzer: Remove native code compilation hipe: Disable compilation on encountering try/catch
* | | \ \ Merge branch 'maint'John Högberg2019-07-081-116/+0
|\ \ \ \ \ | |/ / / / | | | | | | | | | | | | | | | | | | | | * maint: dialyzer: Remove native code compilation hipe: Disable compilation on encountering try/catch
| * | | | Merge branch 'john/hipe/catch-miscompilation/OTP-15949' into maintJohn Högberg2019-07-081-116/+0
| |\ \ \ \ | | | |/ / | | |/| | | | | | | | | | | | | | | | | * john/hipe/catch-miscompilation/OTP-15949: dialyzer: Remove native code compilation hipe: Disable compilation on encountering try/catch
| | * | | dialyzer: Remove native code compilationJohn Högberg2019-07-051-107/+0
| | | | |
* | | | | Merge branch 'maint'John Högberg2019-07-032-1/+17
|\ \ \ \ \ | |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * maint: Updated OTP version Prepare release # Conflicts: # OTP_VERSION
| * | | | Merge branch 'maint-22' into maintJohn Högberg2019-07-032-1/+17
| |\ \ \ \ | | | |/ / | | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * maint-22: Updated OTP version Prepare release # Conflicts: # make/otp_version_tickets
| | * | | Prepare releaseErlang/OTP2019-07-022-1/+17
| | | | |
* | | | | Merge branch 'maint'Hans Bolinder2019-06-271-27/+21
|\ \ \ \ \ | |/ / / / | | | | / | |_|_|/ |/| | | * maint: Always fallback to source when we can't parse AST
View Lorry Controller Status