From: Sergey Shtylyov > Sent: 17 February 2022 09:20 ... > >> Found by Linux Verification Center (linuxtesting.org) with the SVACE static > >> analysis tool. > > > > Which clearly doesn't understand the implications of its reports. > > The reports are most probably correct (SVACE actually complains about assigning > an *int* variable to 'size_t' field), it's my interpretation which might be > at fault here... :-) Which is absolutely fine provided the domain of the value fits in both types. There is diddly-squit point reporting errors on assignments unless the domains of the values can be tracked. David - Registered Address Lakeside, Bramley Road, Mount Farm, Milton Keynes, MK1 1PT, UK Registration No: 1397386 (Wales)
