Re: [kbuild] drivers/md/dm-raid.c:1388 parse_raid_params() warn: impossible condition '(value > max_schedule_timeout) => (s32min-s32max > s32max)'

On Sat, Feb 10, 2018 at 08:41:50PM +0800, kbuild test robot wrote: > CC: kbuild-...@01.org > TO: Bart Van Assche > > tree: git://internal_merge_and_test_tree devel-catchup-201802021118 > head: 40247acd00cd56ee0a42826d2f746a639a41d35a > commit: b4918c33cd32756662eb82b46ac1112518570116 dm-raid:

[kbuild] drivers/md/dm-raid.c:1388 parse_raid_params() warn: impossible condition '(value > max_schedule_timeout) => (s32min-s32max > s32max)'

Hi Bart, I always tell everyone that we shouldn't silence false positives but just ignore them. Obviously that's hard to do when it's GCC which generates the warning. I wish there were another way to silence this warning. The change you're proposing doesn't silence it in Smatch... regards, da

Re: [kbuild] drivers/md/dm-raid.c:1388 parse_raid_params() warn: impossible condition '(value > max_schedule_timeout) => (s32min-s32max > s32max)'

> On Mon, Feb 12, 2018 at 12:36:14PM +0300, Dan Carpenter wrote: > >On Sat, Feb 10, 2018 at 08:41:50PM +0800, kbuild test robot wrote: > >> CC: kbuild-...@01.org > >> TO: Bart Van Assche > >> > >> tree: git://internal_merge_and_test_tree devel-catchup-201802021118 > >> head: 40247acd00cd56ee0a