Re: [PATCH 1/1] Drivers: hv: vmbus: enable VMBus protocol version 5.0

From: Dan Carpenter
Date: Tue May 15 2018 - 13:38:01 EST


On Mon, May 14, 2018 at 11:17:55AM -0700, Stephen Hemminger wrote:
> On Mon, 14 May 2018 18:14:15 +0000
> Dexuan Cui <decui@xxxxxxxxxxxxx> wrote:
>
> > > From: devel <driverdev-devel-bounces@xxxxxxxxxxxxxxxxxxxxxx> On Behalf Of
> > > Stephen Hemminger
> > > Sent: Sunday, May 13, 2018 10:24
> > > > ...
> > > > @@ -372,6 +400,18 @@ int vmbus_post_msg(void *buffer, size_t buflen,
> > > bool can_sleep)
> > > > ...
> > > > + hdr = (struct vmbus_channel_message_header *)buffer;
> > >
> > > Hate to pick o the details, but buffer is void * so cast is not necessary here.
> >
> > Yes, it's unnecessary in C, though it's necessary in C++.
> >
> > I found the patch went into char-misc 4 hours ago, so it looks we may
> > as well leave it as is. IMHO an explicit cast is not a bad thing. :-)
> >
> > Thanks,
> > -- Dexuan
>
> Kernel developers like to be concise. In fact there is a smatch script that perodically
> gets run and more cleanup patches get sent.

It's a Coccinelle script, not Smatch. Coccinelle generates patches
automatically so it's a better tool for cleanup than Smatch.

I would generate a lot more Smatch information if there was a way to
integrate it easily into a code editor. For example, we could highlight
unecessary casts or pointer dereferences where Smatch wasn't 100% sure
if it was correct. Or you could hover over function name to see what
resources it allocates.

regards,
dan carpenter