[erlang-bugs] UBsan int overflows

[Tuncer Ayaz]

On Tue, Feb 3, 2015 at 11:25 PM, Tuncer Ayaz <tuncer.ayaz@REDACTED> wrote:
> On Wed, Nov 26, 2014 at 3:14 PM, Lukas Larsson <lukas@REDACTED> wrote:
>>
>> On 26/11/14 12:29, Tuncer Ayaz wrote:
>>>
>>> On Tue, Sep 23, 2014 at 11:05 AM, Tuncer Ayaz wrote:
>>>>
>>>> On Mon, Sep 22, 2014 at 12:02 PM, Lukas Larsson wrote:
>>>>>
>>>>> On 17/09/14 19:23, Tuncer Ayaz wrote:
>>>>>>
>>>>>> On Wed, Sep 17, 2014 at 2:33 PM, Tuncer Ayaz wrote:
>>>>>>>
>>>>>>> Building OTP-17.3 with --enable-sanitizers=undefined, you can see
>>>>>>> the following during the build of lib/wx/examples/demo:
>>>>>>>    ERLC   ex_aui.beam
>>>>>>> beam/bif.c:2828:5: runtime error: signed integer overflow:
>>>>>>> 426141286 * 10 cannot be represented in type 'int'
>>>>>>>
>>>>>>> I thought this was also fixed.
>>>>>
>>>>> As did I. I wonder where that fix went... I've created a new fix
>>>>> for it.
>>>>>
>>>>>> More during dialyzer --build_plt:
>>>>>> beam/erl_process.c:9024:2: runtime error: signed integer overflow:
>>>>>> 2147482509 + 2001 cannot be represented in type 'int'
>>>>>> beam/erl_process.c:4908:35: runtime error: signed integer overflow:
>>>>>> 3984 * 625175 cannot be represented in type 'int'
>>>>>>
>>>>> I've noticed these as well and a couple of other ones in
>>>>> erl_process.c. I've added them to our backlog to fix.
>>>>
>>>> Thanks, and please keep us posted.
>>>
>>> What's the status?
>>
>>
>> bif.c has been fixed, erl_process.c has not been fixed yet.
>
> Any status update?

Still present in 18.0-rc1.