otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2016-06-08	Fix a bug in Dialyzer related to call-site analysis	Stavros Aronis
	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.