Netdev List
 help / color / mirror / Atom feed
From: Dan Carpenter <error27@gmail.com>
To: Markus Elfring <Markus.Elfring@web.de>
Cc: "Uwe Kleine-König" <u.kleine-koenig@baylibre.com>,
	netdev@vger.kernel.org, kernel-janitors@vger.kernel.org,
	"Andrew Lunn" <andrew+netdev@lunn.ch>,
	"David S. Miller" <davem@davemloft.net>,
	"Eric Dumazet" <edumazet@google.com>,
	"Jakub Kicinski" <kuba@kernel.org>,
	"MD Danish Anwar" <danishanwar@ti.com>,
	"Michael Grzeschik" <mgr@kernel.org>,
	"Paolo Abeni" <pabeni@redhat.com>,
	"Vadim Fedorenko" <vadim.fedorenko@linux.dev>,
	"Yibo Dong" <dong100@mucse.com>,
	LKML <linux-kernel@vger.kernel.org>,
	"Jonathan Corbet" <corbet@lwn.net>
Subject: Re: net: rnpgbe: Pass an expression directly in rnpgbe_rm_adapter()
Date: Thu, 16 Jul 2026 12:30:47 +0300	[thread overview]
Message-ID: <alikx3W3NX7r9o99@stanley.mountain> (raw)
In-Reply-To: <85ad473e-b2f5-4458-8973-a643f90eda5e@web.de>

On Wed, Jul 15, 2026 at 08:45:48PM +0200, Markus Elfring wrote:
> 
> Jonathan Corbet provided the following information.
> 
> “…
> But Herbert's patch added a line which dereferences the pointer prior to the check. That, of course, is a bug.
> …”
> 

Notice that it says "dereferences" not "does pointer math".

> 
> >                                                       Note, I didn't
> > study the C standard
> 
> I hope that clarification approaches can evolve further according to this information source.
> 
> 
> >                      if the compiler is free to optimize out
> > do_something() also in the 2nd case, but at least today gcc doesn't.
> 
> Can development interests grow also according to another clarification approach?
> 
> Does &((struct name *)NULL -> b) cause undefined behaviour in C11?
> https://stackoverflow.com/questions/26906621/does-struct-name-null-b-cause-undefined-behaviour-in-c11
> 
> 
> 
> Would you prefer to omit a “sanity check” in the discussed function implementation?
> 

This is irrelevant.

In C writing if (!p) and if (p == NULL) are always equivalent but weirdly
the NULL doesn't have to zero.  It's part of the C FAQ.
https://c-faq.com/null/machexamp.html It's just a bit of fun trivia that
doesn't really matter unless you have a time machine.  Even if you invented
a time machine, the code here would still be fine because we have a NULL
test before dereferencing the results of our pointer math.

regards,
dan carpenter

  reply	other threads:[~2026-07-16  9:30 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-07-12 18:35 [PATCH net] net: rnpgbe: Pass an expression directly in rnpgbe_rm_adapter() Markus Elfring
2026-07-12 22:19 ` Vadim Fedorenko
2026-07-13  6:00   ` Markus Elfring
2026-07-13  8:04 ` [PATCH net] " Dan Carpenter
2026-07-13  8:22   ` Markus Elfring
2026-07-15 13:12     ` Uwe Kleine-König
2026-07-15 18:45       ` Markus Elfring
2026-07-16  9:30         ` Dan Carpenter [this message]
2026-07-16  9:48           ` Markus Elfring
2026-07-16 13:24             ` Andrew Lunn
2026-07-16 13:34               ` Dan Carpenter
2026-07-16 13:43                 ` Andrew Lunn
2026-07-16  6:57     ` [PATCH net] " Dan Carpenter
2026-07-16  8:20       ` Markus Elfring
2026-07-16 13:30         ` Dan Carpenter
2026-07-14 22:20 ` [PATCH net] " Andrew Lunn
2026-07-15  5:22   ` Markus Elfring

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=alikx3W3NX7r9o99@stanley.mountain \
    --to=error27@gmail.com \
    --cc=Markus.Elfring@web.de \
    --cc=andrew+netdev@lunn.ch \
    --cc=corbet@lwn.net \
    --cc=danishanwar@ti.com \
    --cc=davem@davemloft.net \
    --cc=dong100@mucse.com \
    --cc=edumazet@google.com \
    --cc=kernel-janitors@vger.kernel.org \
    --cc=kuba@kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=mgr@kernel.org \
    --cc=netdev@vger.kernel.org \
    --cc=pabeni@redhat.com \
    --cc=u.kleine-koenig@baylibre.com \
    --cc=vadim.fedorenko@linux.dev \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox