[erlang-bugs] Spec or Dialyzer regression

[Tuncer Ayaz]

On Tue, May 15, 2012 at 10:24 PM, Kostis Sagonas wrote:
> On 05/15/2012 09:50 PM, Tuncer Ayaz wrote:
>>
>> There seems to be a spec or Dialyzer regression in otp master
>> revealed when dialyzing rebar.
>
> Since Tuncer did not submit all the info he has, let me add that the
> behavior reported in his mail exists in the *master* branch of OTP
> and *not* in the maint branch which works correctly in rebar's code
> base.

Forgot to test with maint, but will do. That's why it's not mentioned.

> It's unlikely that this is a dialyzer issue, as AFAIK dialyzer's
> code is the same in these two branches, but it's most likely either
> due to some erroneous spec that was introduced/changed in the master
> branch or a problem in rebar's code base.

Upon review of the rebar code which provokes the warnings, the
substantial changes to erl_bif_types seem like a good candidate for
further analysis (commits bd941f50 03715097 9d870a01). Maybe the
changes are not finished yet.

> IMO, Tuncer should have checked the latter before filling the
> report. It would be nice if he did that.

That's a good idea. I will git bisect rebar.