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

Fix a bug in Dialyzer related to call-site analysis

2016-06-08T11:13:04+00:00

Dialyzer's "dataflow" module is using information from the callgraph to
determine which functions may be called at a particular call-site. Unfortunately
this information can include functions that are certainly not among the possible
choices. We don't want to emit warnings in such cases, so a "reasonable"
compromise is to stay silent if there are many possible funs and at least one of
them can succeed.

Bug reported by Dan Gudmundsson, test shrunk down by Magnus Lång.

dialyzer: Print constraints using the '::' syntax

2015-12-15T07:55:07+00:00

dialyzer: Add new option 'unknown'

2015-04-27T06:30:45+00:00

Replace the undocumented option 'no_unknown' with the documented
option 'unknown'.

Introduce a new warning option, 'no_unknown'

2014-03-20T15:05:23+00:00

Not (yet) documented.

Correct docs, comments and dialyzer tests

2012-02-07T15:01:51+00:00

Update preloaded erlang.beam
Removed stray error in dialyzer test suite - different error message
with the new specs.

Handle nowarn_unused_function like the compiler does

2011-12-22T12:01:52+00:00

Rename suite data directories

2011-05-04T13:06:15+00:00