otp.git/lib/dialyzer, branch KennethL-patch-1 Mirror of Erlang/OTP repository. dialyzer: Optimize handling of a lot of warnings 2018-01-22T14:27:30+00:00 Hans Bolinder hasse@erlang.org 2018-01-17T13:09:36+00:00 bd873955db32c470f082c3629627a10c84c9c208 If the number of warnings is huge the '--'/2 operator is slow. 
If the number of warnings is huge the '--'/2 operator is slow.
dialyzer: Fix bsl/2 bug 2018-01-12T14:49:35+00:00 Hans Bolinder hasse@erlang.org 2018-01-12T14:44:21+00:00 cecf41457d92a3bd21a7690b589f79c0a2901a93 Also modified erl_bif_types:infinity_bsl() when called with zero as first argument. As of writing this, erlang:'bsl'/2 is modified on the master branch to never fail if called with a huge second argument. 
Also modified erl_bif_types:infinity_bsl() when called with zero as
first argument. As of writing this, erlang:'bsl'/2 is modified on the
master branch to never fail if called with a huge second argument.
dialyzer: Add a test of erl_tar:table/1,2 2018-01-09T14:08:57+00:00 Hans Bolinder hasse@erlang.org 2018-01-09T14:03:36+00:00 50c99a1a07feed6f160a700c5f39becc10f04802 






dialyzer: Correct handling of erlang:abs/1
2018-01-08T11:45:55+00:00

Hans Bolinder
hasse@erlang.org

2018-01-08T11:43:15+00:00

e8a8d0a81be4ef1ffbb5c382705a27bd24ebefea

See also https://bugs.erlang.org/browse/ERL-551.





See also https://bugs.erlang.org/browse/ERL-551.







Update release notes
2017-12-08T09:57:50+00:00

Erlang/OTP
otp@erlang.org

2017-12-08T09:57:50+00:00

47198f179ab14cf8cfcdab0d976650cd1519b236












Update version numbers
2017-12-08T09:53:22+00:00

Erlang/OTP
otp@erlang.org

2017-12-08T09:53:22+00:00

f3a74a7dfb633b21b7d06e48bf430071cdc0f779












dialyzer: Extend the map implementation's handling of ?unit
2017-11-22T14:07:46+00:00

Hans Bolinder
hasse@erlang.org

2017-11-15T11:57:57+00:00

985f5a1fae38caed84cde8bc09f6f60e91710f20

The Maps implementation handles ?unit in more cases.

Exactly when t_is_none_or_unit() is to be called is not clear to me.
The added cases are about a map type being ?unit, but the key or the
value of an association can also be ?unit, but that is not always
checked.





The Maps implementation handles ?unit in more cases.

Exactly when t_is_none_or_unit() is to be called is not clear to me.
The added cases are about a map type being ?unit, but the key or the
value of an association can also be ?unit, but that is not always
checked.







dialyzer: Use string:find() instead of string:str()
2017-11-22T14:07:46+00:00

Hans Bolinder
hasse@erlang.org

2017-11-15T11:57:15+00:00

cf349b8dc02123c97ad8027594b9792d846fd6a2












dialyzer: Display error messages without call stack
2017-11-10T15:36:02+00:00

Hans Bolinder
hasse@erlang.org

2017-11-10T14:00:33+00:00

ffd24a6d63b94c8871dc718204bc2cf805ceba73

As of commit 12b379 many of the reasons displayed after
"Analysis failed with error:"
erroneously include a call stack. The bug is now corrected.

The bug was pointed out in
http://erlang.org/pipermail/erlang-questions/2017-October/093838.html.





As of commit 12b379 many of the reasons displayed after
"Analysis failed with error:"
erroneously include a call stack. The bug is now corrected.

The bug was pointed out in
http://erlang.org/pipermail/erlang-questions/2017-October/093838.html.







Merge branch 'lars/doc-cleanup/OTP-14475' into maint
2017-10-10T08:18:07+00:00

Lars Thorsen
lars@erlang.org

2017-10-10T08:18:07+00:00

23ed87829571316b4d026dd57bb69737921f7fcc

* lars/doc-cleanup/OTP-14475:
  [edoc] Remove unused module otpsgml_layout.erl
  Remove unused files from the documentation build





* lars/doc-cleanup/OTP-14475:
  [edoc] Remove unused module otpsgml_layout.erl
  Remove unused files from the documentation build