2016-03-17 08:59:09

by Jiri Kosina

[permalink] [raw]
Subject: [PATCH] module: fix noreturn attribute for __module_put_and_exit()

__module_put_and_exit() is makred noreturn in module.h declaration, but is
lacking the attribute in the definition, which makes some tools (such as
sparse) unhappy. Amend the definition with the attribute as well (and
reformat the declaration so that it uses more common format).

Signed-off-by: Jiri Kosina <[email protected]>
---
include/linux/module.h | 4 ++--
kernel/module.c | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/include/linux/module.h b/include/linux/module.h
index 2bb0c30..4cd52b5 100644
--- a/include/linux/module.h
+++ b/include/linux/module.h
@@ -562,8 +562,8 @@ int module_kallsyms_on_each_symbol(int (*fn)(void *, const char *,
struct module *, unsigned long),
void *data);

-extern void __module_put_and_exit(struct module *mod, long code)
- __attribute__((noreturn));
+extern void __attribute__((noreturn)) __module_put_and_exit(struct module *mod,
+ long code);
#define module_put_and_exit(code) __module_put_and_exit(THIS_MODULE, code)

#ifdef CONFIG_MODULE_UNLOAD
diff --git a/kernel/module.c b/kernel/module.c
index 794ebe8..61f56c2 100644
--- a/kernel/module.c
+++ b/kernel/module.c
@@ -335,7 +335,7 @@ static inline void add_taint_module(struct module *mod, unsigned flag,
* A thread that wants to hold a reference to a module only while it
* is running can call this to safely exit. nfsd and lockd use this.
*/
-void __module_put_and_exit(struct module *mod, long code)
+void __attribute__((noreturn)) __module_put_and_exit(struct module *mod, long code)
{
module_put(mod);
do_exit(code);

--
Jiri Kosina
SUSE Labs


2016-03-19 09:23:11

by Rusty Russell

[permalink] [raw]
Subject: Re: [PATCH] module: fix noreturn attribute for __module_put_and_exit()

Jiri Kosina <[email protected]> writes:
> __module_put_and_exit() is makred noreturn in module.h declaration, but is
> lacking the attribute in the definition, which makes some tools (such as
> sparse) unhappy. Amend the definition with the attribute as well (and
> reformat the declaration so that it uses more common format).
>
> Signed-off-by: Jiri Kosina <[email protected]>

Hi Jiri,

While I'm not sure we shouldn't just fix sparse, we should also
use __noreturn.

Cheers,
Rusty.

> ---
> include/linux/module.h | 4 ++--
> kernel/module.c | 2 +-
> 2 files changed, 3 insertions(+), 3 deletions(-)
>
> diff --git a/include/linux/module.h b/include/linux/module.h
> index 2bb0c30..4cd52b5 100644
> --- a/include/linux/module.h
> +++ b/include/linux/module.h
> @@ -562,8 +562,8 @@ int module_kallsyms_on_each_symbol(int (*fn)(void *, const char *,
> struct module *, unsigned long),
> void *data);
>
> -extern void __module_put_and_exit(struct module *mod, long code)
> - __attribute__((noreturn));
> +extern void __attribute__((noreturn)) __module_put_and_exit(struct module *mod,
> + long code);
> #define module_put_and_exit(code) __module_put_and_exit(THIS_MODULE, code)
>
> #ifdef CONFIG_MODULE_UNLOAD
> diff --git a/kernel/module.c b/kernel/module.c
> index 794ebe8..61f56c2 100644
> --- a/kernel/module.c
> +++ b/kernel/module.c
> @@ -335,7 +335,7 @@ static inline void add_taint_module(struct module *mod, unsigned flag,
> * A thread that wants to hold a reference to a module only while it
> * is running can call this to safely exit. nfsd and lockd use this.
> */
> -void __module_put_and_exit(struct module *mod, long code)
> +void __attribute__((noreturn)) __module_put_and_exit(struct module *mod, long code)
> {
> module_put(mod);
> do_exit(code);
>
> --
> Jiri Kosina
> SUSE Labs

2016-03-21 10:14:03

by Jiri Kosina

[permalink] [raw]
Subject: [PATCH v2] module: fix noreturn attribute for __module_put_and_exit()

__module_put_and_exit() is makred noreturn in module.h declaration, but is
lacking the attribute in the definition, which makes some tools (such as
sparse) unhappy. Amend the definition with the attribute as well (and
reformat the declaration so that it uses more common format).

Signed-off-by: Jiri Kosina <[email protected]>
---

v1 -> v2: use __noreturn instead of __attribute__((noreturn)) as requested
by Rusty

include/linux/module.h | 4 ++--
kernel/module.c | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/include/linux/module.h b/include/linux/module.h
index 2bb0c30..17a13ec 100644
--- a/include/linux/module.h
+++ b/include/linux/module.h
@@ -562,8 +562,8 @@ int module_kallsyms_on_each_symbol(int (*fn)(void *, const char *,
struct module *, unsigned long),
void *data);

-extern void __module_put_and_exit(struct module *mod, long code)
- __attribute__((noreturn));
+extern void __noreturn __module_put_and_exit(struct module *mod,
+ long code);
#define module_put_and_exit(code) __module_put_and_exit(THIS_MODULE, code)

#ifdef CONFIG_MODULE_UNLOAD
diff --git a/kernel/module.c b/kernel/module.c
index 041200c..d367ba0 100644
--- a/kernel/module.c
+++ b/kernel/module.c
@@ -336,7 +336,7 @@ static inline void add_taint_module(struct module *mod, unsigned flag,
* A thread that wants to hold a reference to a module only while it
* is running can call this to safely exit. nfsd and lockd use this.
*/
-void __module_put_and_exit(struct module *mod, long code)
+void __noreturn __module_put_and_exit(struct module *mod, long code)
{
module_put(mod);
do_exit(code);
--
Jiri Kosina
SUSE Labs

2016-03-29 23:29:09

by Jiri Kosina

[permalink] [raw]
Subject: Re: [PATCH v2] module: fix noreturn attribute for __module_put_and_exit()

On Mon, 21 Mar 2016, Jiri Kosina wrote:

> __module_put_and_exit() is makred noreturn in module.h declaration, but is
> lacking the attribute in the definition, which makes some tools (such as
> sparse) unhappy. Amend the definition with the attribute as well (and
> reformat the declaration so that it uses more common format).
>
> Signed-off-by: Jiri Kosina <[email protected]>
> ---
>
> v1 -> v2: use __noreturn instead of __attribute__((noreturn)) as requested
> by Rusty

Rusty, friendly ping on this one.

Thanks!

>
> include/linux/module.h | 4 ++--
> kernel/module.c | 2 +-
> 2 files changed, 3 insertions(+), 3 deletions(-)
>
> diff --git a/include/linux/module.h b/include/linux/module.h
> index 2bb0c30..17a13ec 100644
> --- a/include/linux/module.h
> +++ b/include/linux/module.h
> @@ -562,8 +562,8 @@ int module_kallsyms_on_each_symbol(int (*fn)(void *, const char *,
> struct module *, unsigned long),
> void *data);
>
> -extern void __module_put_and_exit(struct module *mod, long code)
> - __attribute__((noreturn));
> +extern void __noreturn __module_put_and_exit(struct module *mod,
> + long code);
> #define module_put_and_exit(code) __module_put_and_exit(THIS_MODULE, code)
>
> #ifdef CONFIG_MODULE_UNLOAD
> diff --git a/kernel/module.c b/kernel/module.c
> index 041200c..d367ba0 100644
> --- a/kernel/module.c
> +++ b/kernel/module.c
> @@ -336,7 +336,7 @@ static inline void add_taint_module(struct module *mod, unsigned flag,
> * A thread that wants to hold a reference to a module only while it
> * is running can call this to safely exit. nfsd and lockd use this.
> */
> -void __module_put_and_exit(struct module *mod, long code)
> +void __noreturn __module_put_and_exit(struct module *mod, long code)
> {
> module_put(mod);
> do_exit(code);
> --
> Jiri Kosina
> SUSE Labs
>

--
Jiri Kosina
SUSE Labs

2016-04-01 00:22:01

by Rusty Russell

[permalink] [raw]
Subject: Re: [PATCH v2] module: fix noreturn attribute for __module_put_and_exit()

Jiri Kosina <[email protected]> writes:
> On Mon, 21 Mar 2016, Jiri Kosina wrote:
>
>> __module_put_and_exit() is makred noreturn in module.h declaration, but is
>> lacking the attribute in the definition, which makes some tools (such as
>> sparse) unhappy. Amend the definition with the attribute as well (and
>> reformat the declaration so that it uses more common format).
>>
>> Signed-off-by: Jiri Kosina <[email protected]>
>> ---
>>
>> v1 -> v2: use __noreturn instead of __attribute__((noreturn)) as requested
>> by Rusty
>
> Rusty, friendly ping on this one.
>
> Thanks!

Oops, I applied it, and in testing noted that lguest had broken and
ended up getting distracted by that. I've acked it now (it will
probably wait until next merge window).

Thanks,
Rusty.

2016-04-01 00:21:59

by Rusty Russell

[permalink] [raw]
Subject: Re: [PATCH v2] module: fix noreturn attribute for __module_put_and_exit()

Jiri Kosina <[email protected]> writes:
> __module_put_and_exit() is makred noreturn in module.h declaration, but is
> lacking the attribute in the definition, which makes some tools (such as
> sparse) unhappy. Amend the definition with the attribute as well (and
> reformat the declaration so that it uses more common format).
>
> Signed-off-by: Jiri Kosina <[email protected]>

Applied.

Thanks!
Rusty.

2016-04-01 06:31:09

by Jiri Kosina

[permalink] [raw]
Subject: Re: [PATCH v2] module: fix noreturn attribute for __module_put_and_exit()

On Fri, 1 Apr 2016, Rusty Russell wrote:

> >> __module_put_and_exit() is makred noreturn in module.h declaration, but is
> >> lacking the attribute in the definition, which makes some tools (such as
> >> sparse) unhappy. Amend the definition with the attribute as well (and
> >> reformat the declaration so that it uses more common format).
> >>
> >> Signed-off-by: Jiri Kosina <[email protected]>
> >> ---
> >>
> >> v1 -> v2: use __noreturn instead of __attribute__((noreturn)) as requested
> >> by Rusty
> >
> > Rusty, friendly ping on this one.
> >
> > Thanks!
>
> Oops, I applied it, and in testing noted that lguest had broken and
> ended up getting distracted by that. I've acked it now (it will
> probably wait until next merge window).

Sorry, non comprende :) Could you please elaborate? Are you saying this
patch broke lguest? What is the breakage about?

Thanks,

--
Jiri Kosina
SUSE Labs

2016-04-06 05:22:56

by Jiri Kosina

[permalink] [raw]
Subject: Re: [PATCH v2] module: fix noreturn attribute for __module_put_and_exit()

On Wed, 30 Mar 2016, Jiri Kosina wrote:

> > __module_put_and_exit() is makred noreturn in module.h declaration, but is
> > lacking the attribute in the definition, which makes some tools (such as
> > sparse) unhappy. Amend the definition with the attribute as well (and
> > reformat the declaration so that it uses more common format).
> >
> > Signed-off-by: Jiri Kosina <[email protected]>
> > ---
> >
> > v1 -> v2: use __noreturn instead of __attribute__((noreturn)) as requested
> > by Rusty
>
> Rusty, friendly ping on this one.

Not seeing this in your tree, let me send another friendly ping :)

Rusty, if you want me to take this through trivial.git, just let me know,
I'll happily do it.

Thanks,

--
Jiri Kosina
SUSE Labs

2016-04-12 07:33:46

by Rusty Russell

[permalink] [raw]
Subject: Re: [PATCH v2] module: fix noreturn attribute for __module_put_and_exit()

Jiri Kosina <[email protected]> writes:
> On Wed, 30 Mar 2016, Jiri Kosina wrote:
>
>> > __module_put_and_exit() is makred noreturn in module.h declaration, but is
>> > lacking the attribute in the definition, which makes some tools (such as
>> > sparse) unhappy. Amend the definition with the attribute as well (and
>> > reformat the declaration so that it uses more common format).
>> >
>> > Signed-off-by: Jiri Kosina <[email protected]>
>> > ---
>> >
>> > v1 -> v2: use __noreturn instead of __attribute__((noreturn)) as requested
>> > by Rusty
>>
>> Rusty, friendly ping on this one.
>
> Not seeing this in your tree, let me send another friendly ping :)

Just pushed it into modules-next.

Cheers,
Rusty.