[erlang-bugs] UBsan int overflows

[Tuncer Ayaz]

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.

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'