[erlang-bugs] Spec or Dialyzer regression

Tuncer Ayaz tuncer.ayaz@REDACTED
Mon Aug 6 19:43:36 CEST 2012


On Wed, May 16, 2012 at 4:54 PM, Tuncer Ayaz wrote:
> 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.

Any update on this bug?



More information about the erlang-bugs mailing list