[erlang-bugs] Spec or Dialyzer regression
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