<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Tue, Dec 11, 2018 at 2:24 PM Nathan Chancellor <<a href="mailto:natechancellor@gmail.com">natechancellor@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Tue, Dec 11, 2018 at 02:07:31PM -0800, Nick Desaulniers wrote:<br>
> On Tue, Dec 11, 2018 at 1:42 PM Nathan Chancellor<br>
> <<a href="mailto:natechancellor@gmail.com" target="_blank">natechancellor@gmail.com</a>> wrote:<br>
> ><br>
> > On Tue, Dec 11, 2018 at 01:25:00PM -0800, Nick Desaulniers wrote:<br>
> > > On Mon, Dec 10, 2018 at 3:42 PM Nathan Chancellor<br>
> > > <<a href="mailto:natechancellor@gmail.com" target="_blank">natechancellor@gmail.com</a>> wrote:<br>
> > > ><br>
> > > > Clang warns when an expression that equals zero is used as a null<br>
> > > > pointer constant (in lieu of NULL):<br>
> > > ><br>
> > > > drivers/gpu/drm/amd/amdgpu/../display/amdgpu_dm/amdgpu_dm.c:4435:3:<br>
> > > > warning: expression which evaluates to zero treated as a null pointer<br>
> > > > constant of type 'const enum color_transfer_func *'<br>
> > > > [-Wnon-literal-null-conversion]<br>
> > > >                 TRANSFER_FUNC_UNKNOWN,<br>
> > > >                 ^~~~~~~~~~~~~~~~~~~~~<br>
> > > > 1 warning generated.<br>
> > > ><br>
> > > > This warning is caused by commit bb47de736661 ("drm/amdgpu: Set FreeSync<br>
> > > > state using drm VRR properties") and it could be solved by using NULL<br>
> > > > instead of TRANSFER_FUNC_UNKNOWN or casting TRANSFER_FUNC_UNKNOWN as a<br>
> > > > pointer. However, after looking into it, there doesn't appear to be a<br>
> > > > good reason to pass app_tf by reference as it is never mutated along the<br>
> > > > way. This is the only code path in which app_tf is used:<br>
> > > ><br>
> > > > mod_freesync_build_vrr_infopacket -><br>
> > > >     build_vrr_infopacket_v2 -><br>
> > > >         build_vrr_infopacket_fs2_data<br>
> > > ><br>
> > > > Neither mod_freesync_build_vrr_infopacket or build_vrr_infopacket_v2<br>
> > > > modify app_tf's value and build_vrr_infopacket_fs2_data expects just<br>
> > > > the value so we can avoid dereferencing anything by just passing in<br>
> > > > app_tf's value to mod_freesync_build_vrr_infopacket and<br>
> > > > build_vrr_infopacket_v2.<br>
> > > ><br>
> > > > There is no functional change because build_vrr_infopacket_fs2_data<br>
> > > > doesn't do anything if TRANSFER_FUNC_UNKNOWN is passed to it, the same<br>
> > > > as not calling build_vrr_infopacket_fs2_data at all like before this<br>
> > > > change when NULL was used for app_tf.<br>
> > ><br>
> > > Nathan,<br>
> > > Thanks for sending this patch.  I was hoping to provide review sooner,<br>
> > > but have been quite busy lately.<br>
> > ><br>
> ><br>
> > Late review is better than no review, I appeciate you taking the time to<br>
> > do this!<br>
> ><br>
> > > Yeah, especially for LP64 targets, the pointer to enum is larger than<br>
> > > just the enum, and if it's not being updated ("in/out paramter")<br>
> > > there's no need to pass by pointer.<br>
> > ><br>
> ><br>
> > Thanks for confirming!<br>
> ><br>
> > > ><br>
> > > > Signed-off-by: Nathan Chancellor <<a href="mailto:natechancellor@gmail.com" target="_blank">natechancellor@gmail.com</a>><br>
> > > > ---<br>
> > > >  drivers/gpu/drm/amd/display/modules/freesync/freesync.c | 7 +++----<br>
> > > >  drivers/gpu/drm/amd/display/modules/inc/mod_freesync.h  | 2 +-<br>
> > > >  2 files changed, 4 insertions(+), 5 deletions(-)<br>
> > > ><br>
> > > > diff --git a/drivers/gpu/drm/amd/display/modules/freesync/freesync.c b/drivers/gpu/drm/amd/display/modules/freesync/freesync.c<br>
> > > > index 620a171620ee..520665a9d81a 100644<br>
> > > > --- a/drivers/gpu/drm/amd/display/modules/freesync/freesync.c<br>
> > > > +++ b/drivers/gpu/drm/amd/display/modules/freesync/freesync.c<br>
> > > > @@ -656,7 +656,7 @@ static void build_vrr_infopacket_v1(enum signal_type signal,<br>
> > > ><br>
> > > >  static void build_vrr_infopacket_v2(enum signal_type signal,<br>
> > > >                 const struct mod_vrr_params *vrr,<br>
> > > > -               const enum color_transfer_func *app_tf,<br>
> > > > +               enum color_transfer_func app_tf,<br>
> > > >                 struct dc_info_packet *infopacket)<br>
> > > >  {<br>
> > > >         unsigned int payload_size = 0;<br>
> > > > @@ -664,8 +664,7 @@ static void build_vrr_infopacket_v2(enum signal_type signal,<br>
> > > >         build_vrr_infopacket_header_v2(signal, infopacket, &payload_size);<br>
> > > >         build_vrr_infopacket_data(vrr, infopacket);<br>
> > > ><br>
> > > > -       if (app_tf != NULL)<br>
> > > > -               build_vrr_infopacket_fs2_data(*app_tf, infopacket);<br>
> > > > +       build_vrr_infopacket_fs2_data(app_tf, infopacket);<br>
> > > ><br>
> > > >         build_vrr_infopacket_checksum(&payload_size, infopacket);<br>
> > > ><br>
> > > > @@ -676,7 +675,7 @@ void mod_freesync_build_vrr_infopacket(struct mod_freesync *mod_freesync,<br>
> > > >                 const struct dc_stream_state *stream,<br>
> > > >                 const struct mod_vrr_params *vrr,<br>
> > > >                 enum vrr_packet_type packet_type,<br>
> > > > -               const enum color_transfer_func *app_tf,<br>
> > > > +               enum color_transfer_func app_tf,<br>
> > > >                 struct dc_info_packet *infopacket)<br>
> > > >  {<br>
> > > >         /* SPD info packet for FreeSync */<br>
> > > > diff --git a/drivers/gpu/drm/amd/display/modules/inc/mod_freesync.h b/drivers/gpu/drm/amd/display/modules/inc/mod_freesync.h<br>
> > > > index 949a8b62aa98..063af6258fd9 100644<br>
> > > > --- a/drivers/gpu/drm/amd/display/modules/inc/mod_freesync.h<br>
> > > > +++ b/drivers/gpu/drm/amd/display/modules/inc/mod_freesync.h<br>
> > > > @@ -145,7 +145,7 @@ void mod_freesync_build_vrr_infopacket(struct mod_freesync *mod_freesync,<br>
> > > >                 const struct dc_stream_state *stream,<br>
> > > >                 const struct mod_vrr_params *vrr,<br>
> > > >                 enum vrr_packet_type packet_type,<br>
> > > > -               const enum color_transfer_func *app_tf,<br>
> > > > +               enum color_transfer_func app_tf,<br>
> > ><br>
> > > Don't you need to update the callsite of `mod_freesync_build_vrr_infopacket` in<br>
> > ><br>
> > > drivers/gpu/drm/amd/display/amdgpu_dm/amdgpu_dm.c#4949:<br>
> > ><br>
> > > -                                           NULL,<br>
> > > +                                          transfer_func_unknown,<br>
> > ><br>
> ><br>
> > That change in commit bb47de736661 ("drm/amdgpu: Set FreeSync state<br>
> > using drm VRR properties") in -next is what prompted this patch (the<br>
> > warning in the commit message is not present in mainline):<br>
> <br>
> Ah! Sorry, I was looking at mainline.  I should have noticed<br>
> bb47de736661 wasn't there.<br>
> <br>
> Shouldn't that change fail to compile, as transfer_func_unknown is an<br>
> `enum color_transfer_func` value, but<br>
> mod_freesync_build_vrr_infopacket takes a *pointer* to an `enum<br>
> color_transfer_func` value?<br>
> <a href="https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git/tree/drivers/gpu/drm/amd/display/modules/freesync/freesync.c#n675" rel="noreferrer" target="_blank">https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git/tree/drivers/gpu/drm/amd/display/modules/freesync/freesync.c#n675</a><br>
> <br>
<br>
Unfortunately, no. GCC does not warn like Clang does when an expression<br>
that equals zero is passed to a function requiring a pointer (it just<br>
silently treats it as NULL, whereas Clang audibly complains).<br></blockquote><div><br></div><div>That C allows this is troubling to me.  I may need to go seek therapy to deal with my anguish this has caused me...</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
They both do when the expression is something other than zero.<br>
<br>
<a href="https://godbolt.org/z/goo91G" rel="noreferrer" target="_blank">https://godbolt.org/z/goo91G</a><br>
<br>
Nathan<br>
<br>
> ><br>
> >         mod_freesync_build_vrr_infopacket(<br>
> >                 dm->freesync_module,<br>
> >                 new_stream,<br>
> >                 &vrr,<br>
> >                 packet_type_vrr,<br>
> >                 transfer_func_unknown,<br>
> >                 &vrr_infopacket);<br>
> ><br>
> > > Maybe at that point the `if (app_tf != NULL)` could be replaced with<br>
> > > `if (app_tf != transfer_func_unknown)` hoisted from<br>
> > > `build_vrr_infopacket_fs2_data`? (There's only one caller of<br>
> > > `build_vrr_infopacket_fs2_data` today, maybe fine to leave the<br>
> > > unconditional call and check).<br>
> > ><br>
> ><br>
> > Hmmm that's not unreasonable I suppose. I guess it depends on if<br>
> > build_vrr_infopacket_fs2_data could ever be called from outside of<br>
> > build_vrr_infopacket_v2; if it can, it makes sense to leave the<br>
> > conditional check for 'app_tf != transfer_func_unknown' in<br>
> > build_vrr_infopacket_fs2_data and leaving the unconditional call<br>
> > to it in build_vrr_infopacket_v2 (since app_tf is no longer a pointer,<br>
> > no need to check against NULL).<br>
> ><br>
> > I'm happy to do a v2 if the maintainers feel strongly about it, thank<br>
> > you for bringing that up.<br>
> <br>
> Don't worry about it, I think it's fine.<br>
> Reviewed-by: Nick Desaulniers <<a href="mailto:ndesaulniers@google.com" target="_blank">ndesaulniers@google.com</a>><br>
> <br>
> -- <br>
> Thanks,<br>
> ~Nick Desaulniers<br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Thanks,<div>~Nick Desaulniers</div></div></div></div>