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.
2011-10-14	Fix false warning about closure application	Stavros Aronis
	Whenever a variable that could hold one of two or more possible closures was used in a particular application, the application was assumed to fail if ONE of the closures would fail in this application. This has been corrected to infer failing application if ALL possible closures would fail in the particular application.