[erlang-bugs] UBsan int overflows

Lukas Larsson lukas@REDACTED
Mon Sep 22 12:02:29 CEST 2014


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.

Lukas



More information about the erlang-bugs mailing list