* [PATCH 0/2] Fixes to cppcheck errors in v4l2-ioctl.c @ 2019-06-05 21:53 Shuah Khan 2019-06-05 21:53 ` [PATCH 1/2] media: v4l2-core: Shifting signed 32-bit value by 31 bits error Shuah Khan 2019-06-05 21:53 ` [PATCH 2/2] media: v4l2-core: fix uninitialized variable error Shuah Khan 0 siblings, 2 replies; 10+ messages in thread From: Shuah Khan @ 2019-06-05 21:53 UTC (permalink / raw) To: mchehab, hverkuil-cisco, sakari.ailus, niklas.soderlund+renesas, ezequiel, paul.kocialkowski Cc: Shuah Khan, linux-media, linux-kernel cppcheck runs on the kernel found a couple of cppcheck errors in v4l2-ioctl.c. These two patches fix them. Shuah Khan (2): media: v4l2-core: Shifting signed 32-bit value by 31 bits error media: v4l2-core: fix uninitialized variable error drivers/media/v4l2-core/v4l2-ioctl.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) -- 2.17.1 ^ permalink raw reply [flat|nested] 10+ messages in thread
* [PATCH 1/2] media: v4l2-core: Shifting signed 32-bit value by 31 bits error 2019-06-05 21:53 [PATCH 0/2] Fixes to cppcheck errors in v4l2-ioctl.c Shuah Khan @ 2019-06-05 21:53 ` Shuah Khan 2019-06-06 3:22 ` Randy Dunlap 2019-06-05 21:53 ` [PATCH 2/2] media: v4l2-core: fix uninitialized variable error Shuah Khan 1 sibling, 1 reply; 10+ messages in thread From: Shuah Khan @ 2019-06-05 21:53 UTC (permalink / raw) To: mchehab, hverkuil-cisco, sakari.ailus, niklas.soderlund+renesas, ezequiel, paul.kocialkowski Cc: Shuah Khan, linux-media, linux-kernel Fix the following cppcheck error: Checking drivers/media/v4l2-core/v4l2-ioctl.c ... [drivers/media/v4l2-core/v4l2-ioctl.c:1370]: (error) Shifting signed 32-bit value by 31 bits is undefined behaviour Signed-off-by: Shuah Khan <skhan@linuxfoundation.org> --- drivers/media/v4l2-core/v4l2-ioctl.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/drivers/media/v4l2-core/v4l2-ioctl.c b/drivers/media/v4l2-core/v4l2-ioctl.c index 6859bdac86fe..333e387bafeb 100644 --- a/drivers/media/v4l2-core/v4l2-ioctl.c +++ b/drivers/media/v4l2-core/v4l2-ioctl.c @@ -1364,7 +1364,7 @@ static void v4l_fill_fmtdesc(struct v4l2_fmtdesc *fmt) (char)((fmt->pixelformat >> 8) & 0x7f), (char)((fmt->pixelformat >> 16) & 0x7f), (char)((fmt->pixelformat >> 24) & 0x7f), - (fmt->pixelformat & (1 << 31)) ? "-BE" : ""); + (fmt->pixelformat & BIT(31)) ? "-BE" : ""); break; } } -- 2.17.1 ^ permalink raw reply related [flat|nested] 10+ messages in thread
* Re: [PATCH 1/2] media: v4l2-core: Shifting signed 32-bit value by 31 bits error 2019-06-05 21:53 ` [PATCH 1/2] media: v4l2-core: Shifting signed 32-bit value by 31 bits error Shuah Khan @ 2019-06-06 3:22 ` Randy Dunlap 2019-06-06 6:33 ` Hans Verkuil 0 siblings, 1 reply; 10+ messages in thread From: Randy Dunlap @ 2019-06-06 3:22 UTC (permalink / raw) To: Shuah Khan, mchehab, hverkuil-cisco, sakari.ailus, niklas.soderlund+renesas, ezequiel, paul.kocialkowski Cc: linux-media, linux-kernel On 6/5/19 2:53 PM, Shuah Khan wrote: > Fix the following cppcheck error: > > Checking drivers/media/v4l2-core/v4l2-ioctl.c ... > [drivers/media/v4l2-core/v4l2-ioctl.c:1370]: (error) Shifting signed 32-bit value by 31 bits is undefined behaviour > > Signed-off-by: Shuah Khan <skhan@linuxfoundation.org> > --- > drivers/media/v4l2-core/v4l2-ioctl.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/drivers/media/v4l2-core/v4l2-ioctl.c b/drivers/media/v4l2-core/v4l2-ioctl.c > index 6859bdac86fe..333e387bafeb 100644 > --- a/drivers/media/v4l2-core/v4l2-ioctl.c > +++ b/drivers/media/v4l2-core/v4l2-ioctl.c > @@ -1364,7 +1364,7 @@ static void v4l_fill_fmtdesc(struct v4l2_fmtdesc *fmt) > (char)((fmt->pixelformat >> 8) & 0x7f), > (char)((fmt->pixelformat >> 16) & 0x7f), > (char)((fmt->pixelformat >> 24) & 0x7f), > - (fmt->pixelformat & (1 << 31)) ? "-BE" : ""); > + (fmt->pixelformat & BIT(31)) ? "-BE" : ""); > break; > } > } > If this builds, I guess #define BIT(x) got pulled in indirectly since bits.h nor bitops.h is currently #included in that source file. Documentation/process/submit-checklist.rst rule #1 says: 1) If you use a facility then #include the file that defines/declares that facility. Don't depend on other header files pulling in ones that you use. Please add #include <linux/bits or bitops.h> -- ~Randy ^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [PATCH 1/2] media: v4l2-core: Shifting signed 32-bit value by 31 bits error 2019-06-06 3:22 ` Randy Dunlap @ 2019-06-06 6:33 ` Hans Verkuil 2019-06-11 19:42 ` Shuah Khan 0 siblings, 1 reply; 10+ messages in thread From: Hans Verkuil @ 2019-06-06 6:33 UTC (permalink / raw) To: Shuah Khan, mchehab, sakari.ailus, niklas.soderlund+renesas, ezequiel, paul.kocialkowski Cc: Randy Dunlap, linux-media, linux-kernel On 6/6/19 5:22 AM, Randy Dunlap wrote: > On 6/5/19 2:53 PM, Shuah Khan wrote: >> Fix the following cppcheck error: >> >> Checking drivers/media/v4l2-core/v4l2-ioctl.c ... >> [drivers/media/v4l2-core/v4l2-ioctl.c:1370]: (error) Shifting signed 32-bit value by 31 bits is undefined behaviour >> >> Signed-off-by: Shuah Khan <skhan@linuxfoundation.org> >> --- >> drivers/media/v4l2-core/v4l2-ioctl.c | 2 +- >> 1 file changed, 1 insertion(+), 1 deletion(-) >> >> diff --git a/drivers/media/v4l2-core/v4l2-ioctl.c b/drivers/media/v4l2-core/v4l2-ioctl.c >> index 6859bdac86fe..333e387bafeb 100644 >> --- a/drivers/media/v4l2-core/v4l2-ioctl.c >> +++ b/drivers/media/v4l2-core/v4l2-ioctl.c >> @@ -1364,7 +1364,7 @@ static void v4l_fill_fmtdesc(struct v4l2_fmtdesc *fmt) >> (char)((fmt->pixelformat >> 8) & 0x7f), >> (char)((fmt->pixelformat >> 16) & 0x7f), >> (char)((fmt->pixelformat >> 24) & 0x7f), >> - (fmt->pixelformat & (1 << 31)) ? "-BE" : ""); >> + (fmt->pixelformat & BIT(31)) ? "-BE" : ""); >> break; >> } >> } >> > > If this builds, I guess #define BIT(x) got pulled in indirectly > since bits.h nor bitops.h is currently #included in that source file. > > Documentation/process/submit-checklist.rst rule #1 says: > 1) If you use a facility then #include the file that defines/declares > that facility. Don't depend on other header files pulling in ones > that you use. > > Please add #include <linux/bits or bitops.h> > I'm not sure about this patch. '1 << 31' is used all over in the kernel, including in public headers (e.g. media.h, videodev2.h). It seems arbitrary to change it only here, but not anywhere else. In this particular example for the fourcc handling I would prefer to just use '1U << 31', both in v4l2-ioctl.c and videodev2.h. A separate patch doing the same for MEDIA_ENT_ID_FLAG_NEXT in media.h would probably be a good idea either: that way the public API at least will do the right thing. Regards, Hans ^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [PATCH 1/2] media: v4l2-core: Shifting signed 32-bit value by 31 bits error 2019-06-06 6:33 ` Hans Verkuil @ 2019-06-11 19:42 ` Shuah Khan 2019-06-11 20:50 ` Hans Verkuil 0 siblings, 1 reply; 10+ messages in thread From: Shuah Khan @ 2019-06-11 19:42 UTC (permalink / raw) To: Hans Verkuil, mchehab, sakari.ailus, niklas.soderlund+renesas, ezequiel, paul.kocialkowski Cc: Randy Dunlap, linux-media, linux-kernel, Shuah Khan On 6/6/19 12:33 AM, Hans Verkuil wrote: > On 6/6/19 5:22 AM, Randy Dunlap wrote: >> On 6/5/19 2:53 PM, Shuah Khan wrote: >>> Fix the following cppcheck error: >>> >>> Checking drivers/media/v4l2-core/v4l2-ioctl.c ... >>> [drivers/media/v4l2-core/v4l2-ioctl.c:1370]: (error) Shifting signed 32-bit value by 31 bits is undefined behaviour >>> >>> Signed-off-by: Shuah Khan <skhan@linuxfoundation.org> >>> --- >>> drivers/media/v4l2-core/v4l2-ioctl.c | 2 +- >>> 1 file changed, 1 insertion(+), 1 deletion(-) >>> >>> diff --git a/drivers/media/v4l2-core/v4l2-ioctl.c b/drivers/media/v4l2-core/v4l2-ioctl.c >>> index 6859bdac86fe..333e387bafeb 100644 >>> --- a/drivers/media/v4l2-core/v4l2-ioctl.c >>> +++ b/drivers/media/v4l2-core/v4l2-ioctl.c >>> @@ -1364,7 +1364,7 @@ static void v4l_fill_fmtdesc(struct v4l2_fmtdesc *fmt) >>> (char)((fmt->pixelformat >> 8) & 0x7f), >>> (char)((fmt->pixelformat >> 16) & 0x7f), >>> (char)((fmt->pixelformat >> 24) & 0x7f), >>> - (fmt->pixelformat & (1 << 31)) ? "-BE" : ""); >>> + (fmt->pixelformat & BIT(31)) ? "-BE" : ""); >>> break; >>> } >>> } >>> >> >> If this builds, I guess #define BIT(x) got pulled in indirectly >> since bits.h nor bitops.h is currently #included in that source file. >> It does build. You are right that I should have included bitops.h >> Documentation/process/submit-checklist.rst rule #1 says: >> 1) If you use a facility then #include the file that defines/declares >> that facility. Don't depend on other header files pulling in ones >> that you use. >> >> Please add #include <linux/bits or bitops.h> >> > > I'm not sure about this patch. '1 << 31' is used all over in the kernel, > including in public headers (e.g. media.h, videodev2.h). > > It seems arbitrary to change it only here, but not anywhere else. > Right. We have several places in the kernel that do that. > In this particular example for the fourcc handling I would prefer to just > use '1U << 31', both in v4l2-ioctl.c and videodev2.h. > If you would like to take the patch, I can send v2 fixing it using 1U << 31 - This is simpler since it doesn't nee additional includes. > A separate patch doing the same for MEDIA_ENT_ID_FLAG_NEXT in media.h would > probably be a good idea either: that way the public API at least will do > the right thing. > I should have explained it better. I wanted to start with one or two places first to see if it is worth our time to fix these: The full kernel cppcheck log for "Shifting signed 32-bit value by 31 bits is undefined behaviour" can be found at: https://drive.google.com/file/d/19Xu7UqBGJ7BpzxEp92ZQYb6F8UPrk3z3/view thanks, -- Shuah ^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [PATCH 1/2] media: v4l2-core: Shifting signed 32-bit value by 31 bits error 2019-06-11 19:42 ` Shuah Khan @ 2019-06-11 20:50 ` Hans Verkuil 2019-06-11 22:27 ` Shuah Khan 0 siblings, 1 reply; 10+ messages in thread From: Hans Verkuil @ 2019-06-11 20:50 UTC (permalink / raw) To: Shuah Khan, mchehab, sakari.ailus, niklas.soderlund+renesas, ezequiel, paul.kocialkowski Cc: Randy Dunlap, linux-media, linux-kernel On 6/11/19 9:42 PM, Shuah Khan wrote: > On 6/6/19 12:33 AM, Hans Verkuil wrote: >> On 6/6/19 5:22 AM, Randy Dunlap wrote: >>> On 6/5/19 2:53 PM, Shuah Khan wrote: >>>> Fix the following cppcheck error: >>>> >>>> Checking drivers/media/v4l2-core/v4l2-ioctl.c ... >>>> [drivers/media/v4l2-core/v4l2-ioctl.c:1370]: (error) Shifting signed 32-bit value by 31 bits is undefined behaviour >>>> >>>> Signed-off-by: Shuah Khan <skhan@linuxfoundation.org> >>>> --- >>>> drivers/media/v4l2-core/v4l2-ioctl.c | 2 +- >>>> 1 file changed, 1 insertion(+), 1 deletion(-) >>>> >>>> diff --git a/drivers/media/v4l2-core/v4l2-ioctl.c b/drivers/media/v4l2-core/v4l2-ioctl.c >>>> index 6859bdac86fe..333e387bafeb 100644 >>>> --- a/drivers/media/v4l2-core/v4l2-ioctl.c >>>> +++ b/drivers/media/v4l2-core/v4l2-ioctl.c >>>> @@ -1364,7 +1364,7 @@ static void v4l_fill_fmtdesc(struct v4l2_fmtdesc *fmt) >>>> (char)((fmt->pixelformat >> 8) & 0x7f), >>>> (char)((fmt->pixelformat >> 16) & 0x7f), >>>> (char)((fmt->pixelformat >> 24) & 0x7f), >>>> - (fmt->pixelformat & (1 << 31)) ? "-BE" : ""); >>>> + (fmt->pixelformat & BIT(31)) ? "-BE" : ""); >>>> break; >>>> } >>>> } >>>> >>> >>> If this builds, I guess #define BIT(x) got pulled in indirectly >>> since bits.h nor bitops.h is currently #included in that source file. >>> > > It does build. You are right that I should have included bitops.h > >>> Documentation/process/submit-checklist.rst rule #1 says: >>> 1) If you use a facility then #include the file that defines/declares >>> that facility. Don't depend on other header files pulling in ones >>> that you use. >>> >>> Please add #include <linux/bits or bitops.h> >>> >> >> I'm not sure about this patch. '1 << 31' is used all over in the kernel, >> including in public headers (e.g. media.h, videodev2.h). >> >> It seems arbitrary to change it only here, but not anywhere else. >> > > Right. We have several places in the kernel that do that. > >> In this particular example for the fourcc handling I would prefer to just >> use '1U << 31', both in v4l2-ioctl.c and videodev2.h. >> > > If you would like to take the patch, I can send v2 fixing it using > 1U << 31 - This is simpler since it doesn't nee additional includes. I would like to have this cleaned up in the public media APIs. Those can be used by other compilers as well and it makes sense to me not to have undefined behavior in those headers. > >> A separate patch doing the same for MEDIA_ENT_ID_FLAG_NEXT in media.h would >> probably be a good idea either: that way the public API at least will do >> the right thing. >> > > I should have explained it better. I wanted to start with one or two > places first to see if it is worth our time to fix these: > > The full kernel cppcheck log for "Shifting signed 32-bit value by 31 > bits is undefined behaviour" can be found at: > > https://drive.google.com/file/d/19Xu7UqBGJ7BpzxEp92ZQYb6F8UPrk3z3/view I don't think it makes sense to fix this for drivers. If gcc would do this wrong, we'd have noticed it ages ago. But I think it makes sense to fix this in public headers. Regards, Hans ^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [PATCH 1/2] media: v4l2-core: Shifting signed 32-bit value by 31 bits error 2019-06-11 20:50 ` Hans Verkuil @ 2019-06-11 22:27 ` Shuah Khan 2019-06-12 23:04 ` Shuah Khan 0 siblings, 1 reply; 10+ messages in thread From: Shuah Khan @ 2019-06-11 22:27 UTC (permalink / raw) To: Hans Verkuil, mchehab, sakari.ailus, niklas.soderlund+renesas, ezequiel, paul.kocialkowski Cc: Randy Dunlap, linux-media, linux-kernel, Shuah Khan On 6/11/19 2:50 PM, Hans Verkuil wrote: > On 6/11/19 9:42 PM, Shuah Khan wrote: >> On 6/6/19 12:33 AM, Hans Verkuil wrote: >>> On 6/6/19 5:22 AM, Randy Dunlap wrote: >>>> On 6/5/19 2:53 PM, Shuah Khan wrote: >>>>> Fix the following cppcheck error: >>>>> >>>>> Checking drivers/media/v4l2-core/v4l2-ioctl.c ... >>>>> [drivers/media/v4l2-core/v4l2-ioctl.c:1370]: (error) Shifting signed 32-bit value by 31 bits is undefined behaviour >>>>> >>>>> Signed-off-by: Shuah Khan <skhan@linuxfoundation.org> >>>>> --- >>>>> drivers/media/v4l2-core/v4l2-ioctl.c | 2 +- >>>>> 1 file changed, 1 insertion(+), 1 deletion(-) >>>>> >>>>> diff --git a/drivers/media/v4l2-core/v4l2-ioctl.c b/drivers/media/v4l2-core/v4l2-ioctl.c >>>>> index 6859bdac86fe..333e387bafeb 100644 >>>>> --- a/drivers/media/v4l2-core/v4l2-ioctl.c >>>>> +++ b/drivers/media/v4l2-core/v4l2-ioctl.c >>>>> @@ -1364,7 +1364,7 @@ static void v4l_fill_fmtdesc(struct v4l2_fmtdesc *fmt) >>>>> (char)((fmt->pixelformat >> 8) & 0x7f), >>>>> (char)((fmt->pixelformat >> 16) & 0x7f), >>>>> (char)((fmt->pixelformat >> 24) & 0x7f), >>>>> - (fmt->pixelformat & (1 << 31)) ? "-BE" : ""); >>>>> + (fmt->pixelformat & BIT(31)) ? "-BE" : ""); >>>>> break; >>>>> } >>>>> } >>>>> >>>> >>>> If this builds, I guess #define BIT(x) got pulled in indirectly >>>> since bits.h nor bitops.h is currently #included in that source file. >>>> >> >> It does build. You are right that I should have included bitops.h >> >>>> Documentation/process/submit-checklist.rst rule #1 says: >>>> 1) If you use a facility then #include the file that defines/declares >>>> that facility. Don't depend on other header files pulling in ones >>>> that you use. >>>> >>>> Please add #include <linux/bits or bitops.h> >>>> >>> >>> I'm not sure about this patch. '1 << 31' is used all over in the kernel, >>> including in public headers (e.g. media.h, videodev2.h). >>> >>> It seems arbitrary to change it only here, but not anywhere else. >>> >> >> Right. We have several places in the kernel that do that. >> >>> In this particular example for the fourcc handling I would prefer to just >>> use '1U << 31', both in v4l2-ioctl.c and videodev2.h. >>> >> >> If you would like to take the patch, I can send v2 fixing it using >> 1U << 31 - This is simpler since it doesn't nee additional includes. > > I would like to have this cleaned up in the public media APIs. Those can be > used by other compilers as well and it makes sense to me not to have > undefined behavior in those headers. > Great. That is a good point. I will start looking at the public media APIs. >> >>> A separate patch doing the same for MEDIA_ENT_ID_FLAG_NEXT in media.h would >>> probably be a good idea either: that way the public API at least will do >>> the right thing. >>> Sounds good. >> >> I should have explained it better. I wanted to start with one or two >> places first to see if it is worth our time to fix these: >> >> The full kernel cppcheck log for "Shifting signed 32-bit value by 31 >> bits is undefined behaviour" can be found at: >> >> https://drive.google.com/file/d/19Xu7UqBGJ7BpzxEp92ZQYb6F8UPrk3z3/view > > I don't think it makes sense to fix this for drivers. If gcc would do this > wrong, we'd have noticed it ages ago. Agreed. I am not concerned about it being incorrect. More for silencing cppcheck. I do agree that it isn't of a great value to us. > > But I think it makes sense to fix this in public headers. > Yes. This would definitely help. thanks, -- Shuah ^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [PATCH 1/2] media: v4l2-core: Shifting signed 32-bit value by 31 bits error 2019-06-11 22:27 ` Shuah Khan @ 2019-06-12 23:04 ` Shuah Khan 0 siblings, 0 replies; 10+ messages in thread From: Shuah Khan @ 2019-06-12 23:04 UTC (permalink / raw) To: Hans Verkuil, mchehab, sakari.ailus, niklas.soderlund+renesas, ezequiel, paul.kocialkowski Cc: Randy Dunlap, linux-media, linux-kernel, skhan On 6/11/19 4:27 PM, Shuah Khan wrote: > On 6/11/19 2:50 PM, Hans Verkuil wrote: >> On 6/11/19 9:42 PM, Shuah Khan wrote: >>> On 6/6/19 12:33 AM, Hans Verkuil wrote: >>>> On 6/6/19 5:22 AM, Randy Dunlap wrote: >>>>> On 6/5/19 2:53 PM, Shuah Khan wrote: >>>>>> Fix the following cppcheck error: >>>>>> >>>>>> Checking drivers/media/v4l2-core/v4l2-ioctl.c ... >>>>>> [drivers/media/v4l2-core/v4l2-ioctl.c:1370]: (error) Shifting >>>>>> signed 32-bit value by 31 bits is undefined behaviour >>>>>> >>>>>> Signed-off-by: Shuah Khan <skhan@linuxfoundation.org> >>>>>> --- >>>>>> drivers/media/v4l2-core/v4l2-ioctl.c | 2 +- >>>>>> 1 file changed, 1 insertion(+), 1 deletion(-) >>>>>> >>>>>> diff --git a/drivers/media/v4l2-core/v4l2-ioctl.c >>>>>> b/drivers/media/v4l2-core/v4l2-ioctl.c >>>>>> index 6859bdac86fe..333e387bafeb 100644 >>>>>> --- a/drivers/media/v4l2-core/v4l2-ioctl.c >>>>>> +++ b/drivers/media/v4l2-core/v4l2-ioctl.c >>>>>> @@ -1364,7 +1364,7 @@ static void v4l_fill_fmtdesc(struct >>>>>> v4l2_fmtdesc *fmt) >>>>>> (char)((fmt->pixelformat >> 8) & 0x7f), >>>>>> (char)((fmt->pixelformat >> 16) & 0x7f), >>>>>> (char)((fmt->pixelformat >> 24) & 0x7f), >>>>>> - (fmt->pixelformat & (1 << 31)) ? "-BE" : ""); >>>>>> + (fmt->pixelformat & BIT(31)) ? "-BE" : ""); >>>>>> break; >>>>>> } >>>>>> } >>>>>> >>>>> >>>>> If this builds, I guess #define BIT(x) got pulled in indirectly >>>>> since bits.h nor bitops.h is currently #included in that source file. >>>>> >>> >>> It does build. You are right that I should have included bitops.h >>> >>>>> Documentation/process/submit-checklist.rst rule #1 says: >>>>> 1) If you use a facility then #include the file that defines/declares >>>>> that facility. Don't depend on other header files pulling in >>>>> ones >>>>> that you use. >>>>> >>>>> Please add #include <linux/bits or bitops.h> >>>>> >>>> >>>> I'm not sure about this patch. '1 << 31' is used all over in the >>>> kernel, >>>> including in public headers (e.g. media.h, videodev2.h). >>>> >>>> It seems arbitrary to change it only here, but not anywhere else. >>>> >>> >>> Right. We have several places in the kernel that do that. >>> >>>> In this particular example for the fourcc handling I would prefer to >>>> just >>>> use '1U << 31', both in v4l2-ioctl.c and videodev2.h. >>>> >>> >>> If you would like to take the patch, I can send v2 fixing it using >>> 1U << 31 - This is simpler since it doesn't nee additional includes. >> >> I would like to have this cleaned up in the public media APIs. Those >> can be >> used by other compilers as well and it makes sense to me not to have >> undefined behavior in those headers. >> > > Great. That is a good point. I will start looking at the public media > APIs. > >>> >>>> A separate patch doing the same for MEDIA_ENT_ID_FLAG_NEXT in >>>> media.h would >>>> probably be a good idea either: that way the public API at least >>>> will do >>>> the right thing. >>>> > > Sounds good. > >>> >>> I should have explained it better. I wanted to start with one or two >>> places first to see if it is worth our time to fix these: >>> >>> The full kernel cppcheck log for "Shifting signed 32-bit value by 31 >>> bits is undefined behaviour" can be found at: >>> >>> https://drive.google.com/file/d/19Xu7UqBGJ7BpzxEp92ZQYb6F8UPrk3z3/view >> >> I don't think it makes sense to fix this for drivers. If gcc would do >> this >> wrong, we'd have noticed it ages ago. > Did some research into this. We are fine with gcc, however looks like clang had the problem which has been fixed very recently in late 2018 in 6.0 release. This will be a problem even for kernel/drivers if older clang is used to build it. I am sending the two header fixes (media.h, and videodev2.h) to start with. thanks, -- Shuah ^ permalink raw reply [flat|nested] 10+ messages in thread
* [PATCH 2/2] media: v4l2-core: fix uninitialized variable error 2019-06-05 21:53 [PATCH 0/2] Fixes to cppcheck errors in v4l2-ioctl.c Shuah Khan 2019-06-05 21:53 ` [PATCH 1/2] media: v4l2-core: Shifting signed 32-bit value by 31 bits error Shuah Khan @ 2019-06-05 21:53 ` Shuah Khan 2019-06-06 7:48 ` Hans Verkuil 1 sibling, 1 reply; 10+ messages in thread From: Shuah Khan @ 2019-06-05 21:53 UTC (permalink / raw) To: mchehab, hverkuil-cisco, sakari.ailus, niklas.soderlund+renesas, ezequiel, paul.kocialkowski Cc: Shuah Khan, linux-media, linux-kernel Fix the following cppcheck error: Checking drivers/media/v4l2-core/v4l2-ioctl.c ... Checking drivers/media/v4l2-core/v4l2-ioctl.c: CONFIG_VIDEO_ADV_DEBUG... [drivers/media/v4l2-core/v4l2-ioctl.c:2470]: (error) Uninitialized variable: sd Signed-off-by: Shuah Khan <skhan@linuxfoundation.org> --- drivers/media/v4l2-core/v4l2-ioctl.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/drivers/media/v4l2-core/v4l2-ioctl.c b/drivers/media/v4l2-core/v4l2-ioctl.c index 333e387bafeb..205addb949ce 100644 --- a/drivers/media/v4l2-core/v4l2-ioctl.c +++ b/drivers/media/v4l2-core/v4l2-ioctl.c @@ -2445,7 +2445,7 @@ static int v4l_dbg_g_chip_info(const struct v4l2_ioctl_ops *ops, #ifdef CONFIG_VIDEO_ADV_DEBUG struct video_device *vfd = video_devdata(file); struct v4l2_dbg_chip_info *p = arg; - struct v4l2_subdev *sd; + struct v4l2_subdev *sd = NULL; int idx = 0; switch (p->match.type) { -- 2.17.1 ^ permalink raw reply related [flat|nested] 10+ messages in thread
* Re: [PATCH 2/2] media: v4l2-core: fix uninitialized variable error 2019-06-05 21:53 ` [PATCH 2/2] media: v4l2-core: fix uninitialized variable error Shuah Khan @ 2019-06-06 7:48 ` Hans Verkuil 0 siblings, 0 replies; 10+ messages in thread From: Hans Verkuil @ 2019-06-06 7:48 UTC (permalink / raw) To: Shuah Khan, mchehab, sakari.ailus, niklas.soderlund+renesas, ezequiel, paul.kocialkowski Cc: linux-media, linux-kernel On 6/5/19 11:53 PM, Shuah Khan wrote: > Fix the following cppcheck error: > > Checking drivers/media/v4l2-core/v4l2-ioctl.c ... > Checking drivers/media/v4l2-core/v4l2-ioctl.c: CONFIG_VIDEO_ADV_DEBUG... > [drivers/media/v4l2-core/v4l2-ioctl.c:2470]: (error) Uninitialized variable: sd This is a false report: sd is set by v4l2_device_for_each_subdev before it is used. I'm dropping this patch. Regards, Hans > > Signed-off-by: Shuah Khan <skhan@linuxfoundation.org> > --- > drivers/media/v4l2-core/v4l2-ioctl.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/drivers/media/v4l2-core/v4l2-ioctl.c b/drivers/media/v4l2-core/v4l2-ioctl.c > index 333e387bafeb..205addb949ce 100644 > --- a/drivers/media/v4l2-core/v4l2-ioctl.c > +++ b/drivers/media/v4l2-core/v4l2-ioctl.c > @@ -2445,7 +2445,7 @@ static int v4l_dbg_g_chip_info(const struct v4l2_ioctl_ops *ops, > #ifdef CONFIG_VIDEO_ADV_DEBUG > struct video_device *vfd = video_devdata(file); > struct v4l2_dbg_chip_info *p = arg; > - struct v4l2_subdev *sd; > + struct v4l2_subdev *sd = NULL; > int idx = 0; > > switch (p->match.type) { > ^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2019-06-13 17:03 UTC | newest] Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2019-06-05 21:53 [PATCH 0/2] Fixes to cppcheck errors in v4l2-ioctl.c Shuah Khan 2019-06-05 21:53 ` [PATCH 1/2] media: v4l2-core: Shifting signed 32-bit value by 31 bits error Shuah Khan 2019-06-06 3:22 ` Randy Dunlap 2019-06-06 6:33 ` Hans Verkuil 2019-06-11 19:42 ` Shuah Khan 2019-06-11 20:50 ` Hans Verkuil 2019-06-11 22:27 ` Shuah Khan 2019-06-12 23:04 ` Shuah Khan 2019-06-05 21:53 ` [PATCH 2/2] media: v4l2-core: fix uninitialized variable error Shuah Khan 2019-06-06 7:48 ` Hans Verkuil
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).