Re: UBSAN: Undefined behaviour in drivers/pps/pps.c

2019-01-11 Thread Dmitry Torokhov
On Wed, Jan 09, 2019 at 10:20:50AM +0100, Rodolfo Giometti wrote: > On 08/01/2019 21:24, Kyungtae Kim wrote: > > We report a bug in linux-4.20: "UBSAN: Undefined behaviour in > > drivers/pps/pps.c" > > > > kernel config: https://kt0755.github.io/etc/config_v

Re: UBSAN: Undefined behaviour in drivers/pps/pps.c

2019-01-10 Thread Kyungtae Kim
21:24, Kyungtae Kim wrote: > > We report a bug in linux-4.20: "UBSAN: Undefined behaviour in > > drivers/pps/pps.c" > > > > kernel config: https://kt0755.github.io/etc/config_v4.20_stable > > repro: https://kt0755.github.io/etc/repro.a6372.c > >

Re: UBSAN: Undefined behaviour in drivers/pps/pps.c

2019-01-09 Thread Rodolfo Giometti
On 08/01/2019 21:24, Kyungtae Kim wrote: We report a bug in linux-4.20: "UBSAN: Undefined behaviour in drivers/pps/pps.c" kernel config: https://kt0755.github.io/etc/config_v4.20_stable repro: https://kt0755.github.io/etc/repro.a6372.c pps_cdev_pps_fetch() lacks the bound

UBSAN: Undefined behaviour in drivers/pps/pps.c

2019-01-08 Thread Kyungtae Kim
We report a bug in linux-4.20: "UBSAN: Undefined behaviour in drivers/pps/pps.c" kernel config: https://kt0755.github.io/etc/config_v4.20_stable repro: https://kt0755.github.io/etc/repro.a6372.c pps_cdev_pps_fetch() lacks the bounds checking for computing fdata->timeout.sec * HZ