[erlang-bugs] Spec or Dialyzer regression

[Tuncer Ayaz]

On Wed, 16 May 2012 01:24:21 +0200, Tuncer Ayaz wrote:

> 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.

Checked, maint results are the same as R15B01.

> > 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.

Done, found no erroneous commit in rebar.