public inbox for kernel-janitors@vger.kernel.org
 help / color / mirror / Atom feed
* [bug report] mux: Add helper functions for getting optional and selected mux-state
@ 2026-04-10 10:12 Dan Carpenter
  2026-04-19 10:16 ` Josua Mayer
  0 siblings, 1 reply; 2+ messages in thread
From: Dan Carpenter @ 2026-04-10 10:12 UTC (permalink / raw)
  To: Josua Mayer; +Cc: kernel-janitors

Hello Josua Mayer,

Commit 993bcaf32c49 ("mux: Add helper functions for getting optional
and selected mux-state") from Feb 26, 2026 (linux-next), leads to the
following Smatch static checker warning:

	drivers/mux/core.c:640 mux_control_get()
	warn: 'mux' is an error pointer or valid

drivers/mux/core.c
    630  * mux_control_get() - Get the mux-control for a device.
    631  * @dev: The device that needs a mux-control.
    632  * @mux_name: The name identifying the mux-control.
    633  *
    634  * Return: A pointer to the mux-control, or an ERR_PTR with a negative errno.
    635  */
    636 struct mux_control *mux_control_get(struct device *dev, const char *mux_name)
    637 {
    638         struct mux_control *mux = mux_get(dev, mux_name, NULL, false);

mux_get() can only return NULL if optional is true.

    639 
--> 640         if (!mux)

this should be if (IS_ERR(mux)) {

    641                 return ERR_PTR(-ENOENT);
    642 
    643         return mux;
    644 }

This email is a free service from the Smatch-CI project [smatch.sf.net].

regards,
dan carpenter

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [bug report] mux: Add helper functions for getting optional and selected mux-state
  2026-04-10 10:12 [bug report] mux: Add helper functions for getting optional and selected mux-state Dan Carpenter
@ 2026-04-19 10:16 ` Josua Mayer
  0 siblings, 0 replies; 2+ messages in thread
From: Josua Mayer @ 2026-04-19 10:16 UTC (permalink / raw)
  To: Dan Carpenter
  Cc: kernel-janitors@vger.kernel.org, Peter Rosin, kees@kernel.org,
	thorsten.blum@linux.dev, ulfh@kernel.org, Wolfram Sang,
	linux-kernel@vger.kernel.org

Hi Dan,

Am 10.04.26 um 12:12 schrieb Dan Carpenter:
> Hello Josua Mayer,
>
> Commit 993bcaf32c49 ("mux: Add helper functions for getting optional
> and selected mux-state") from Feb 26, 2026 (linux-next), leads to the
> following Smatch static checker warning:
>
> 	drivers/mux/core.c:640 mux_control_get()
> 	warn: 'mux' is an error pointer or valid
>
> drivers/mux/core.c
>     630  * mux_control_get() - Get the mux-control for a device.
>     631  * @dev: The device that needs a mux-control.
>     632  * @mux_name: The name identifying the mux-control.
>     633  *
>     634  * Return: A pointer to the mux-control, or an ERR_PTR with a negative errno.
>     635  */
>     636 struct mux_control *mux_control_get(struct device *dev, const char *mux_name)
>     637 {
>     638         struct mux_control *mux = mux_get(dev, mux_name, NULL, false);
>
> mux_get() can only return NULL if optional is true.

Yes, that is the intended contract. This means function can be simplified:

/**
 * mux_control_get() - Get the mux-control for a device.
 * @dev: The device that needs a mux-control.
 * @mux_name: The name identifying the mux-control.
 *
 * Return: A pointer to the mux-control, or an ERR_PTR with a negative errno.
 */
struct mux_control *mux_control_get(struct device *dev, const char *mux_name)
{
    return mux_get(dev, mux_name, NULL, false);
}
EXPORT_SYMBOL_GPL(mux_control_get);

Is it okay to trust such transitive contracts and not check for NULL
in an exported generic helper function?

>
>     639 
> --> 640         if (!mux)
>
> this should be if (IS_ERR(mux)) {
>
>     641                 return ERR_PTR(-ENOENT);
No, ENOENT is only the fix for unexpected NULL return,
which must not be propagated to the caller.

Other errors should be returned to the caller unchanged.

>     642 
>     643         return mux;
>     644 }
>
> This email is a free service from the Smatch-CI project [smatch.sf.net].
regards
Josua Mayer

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2026-04-19 10:16 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2026-04-10 10:12 [bug report] mux: Add helper functions for getting optional and selected mux-state Dan Carpenter
2026-04-19 10:16 ` Josua Mayer

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox