[erlang-bugs] UBsan int overflows

[Tuncer Ayaz]

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?