otp.git/lib/dialyzer/test/user_SUITE_data/src, branch maint Mirror of Erlang/OTP repository. Fix a bug in Dialyzer related to call-site analysis 2016-06-08T11:13:04+00:00 Stavros Aronis aronisstav@gmail.com 2016-06-08T11:13:04+00:00 b13412d2e4331fa426a6722a04310cbcbf1731d6 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'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.
Handle nowarn_unused_function like the compiler does 2011-12-22T12:01:52+00:00 Hans Bolinder hasse@erlang.org 2011-12-19T15:04:27+00:00 477fd95a1f404175c133f30a9e10e7a27ce400b8 






Rename suite data directories
2011-05-04T13:06:15+00:00

Stavros Aronis
aronisstav@gmail.com

2011-04-02T15:57:42+00:00

ca4633fd683527097451ca1398c90c87bb5c14fc