otp.git/lib/dialyzer/test, branch KennethL-patch-1

dialyzer: Fix bsl/2 bug

2018-01-12T14:49:35+00:00

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

dialyzer: Correct handling of erlang:abs/1

2018-01-08T11:45:55+00:00

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

dialyzer: Extend the map implementation's handling of ?unit

2017-11-22T14:07:46+00:00

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

dialyzer: Display error messages without call stack

2017-11-10T15:36:02+00:00

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 'hasse/dialyzer/map_fixes/OTP-14572' into maint

2017-09-18T06:29:50+00:00

* hasse/dialyzer/map_fixes/OTP-14572:
  dialyzer: Adjust a test case
  dialyzer: Modify handling of singleton map key types
  Dialyzer: Rewrite one map type invariant
  Dialyzer: Rewrite some of the docs of map types

dialyzer: Improve check of unknown types

2017-09-15T06:17:49+00:00

The implementation of OTP-14218 (commit 6d3b38a) has a weakness: only
a very limited part of the type form is checked. This is now fixed:
types not used by specs are checked equally well as types used by
specs.

The new function erl_types:t_from_form_check_remote() checks usage of
remote types. It does not expand used local types, and has (almost) no
limits on depth and size.

dialyzer: Adjust a test case

2017-09-12T11:32:30+00:00

Huge maps are truncated differently by the pretty printer. The reason
is that erl_types:is_singleton_type/1 no longer recognizes complex
singleton types, which results in a less precise representation of map
types.

dialyzer: Modify handling of singleton map key types

2017-09-12T11:32:29+00:00

The test case loop.erl shows that there is a problem with certain
singleton key types. Here the internal representation toggles between
 #{a | b => ...} and #{a => ..., b => ...}

The choice is to turn #{a | b => ...} into #{a => ..., b => ...} early
(t_from_form()). The aim is to keep as much info as possible (in
pairs). However, including complex singleton keys (tuples, maps) in
this scheme is potentially too costly, and a bit complicated. So one
more choice is made: let atoms and number (and nothing else) be
singleton types, and let complex keys go into the default key.