* [PATCH] [v2] static_call: fix function type mismatch
@ 2021-03-22 21:42 Arnd Bergmann
2021-03-22 23:30 ` [tip: locking/core] static_call: Fix " tip-bot2 for Arnd Bergmann
2021-03-23 7:33 ` [PATCH] [v2] static_call: fix function type mismatch Peter Zijlstra
0 siblings, 2 replies; 6+ messages in thread
From: Arnd Bergmann @ 2021-03-22 21:42 UTC (permalink / raw)
To: Ingo Molnar, Peter Zijlstra, Juri Lelli, Vincent Guittot
Cc: Arnd Bergmann, Dietmar Eggemann, Steven Rostedt, Ben Segall,
Mel Gorman, Daniel Bristot de Oliveira, Andrew Morton,
Valentin Schneider, linux-kernel
From: Arnd Bergmann <arnd@arndb.de>
The __static_call_return0() function is declared to return a 'long',
while it aliases a couple of functions that all return 'int'. When
building with 'make W=1', gcc warns about this:
kernel/sched/core.c:5420:37: error: cast between incompatible function types from 'long int (*)(void)' to 'int (*)(void)' [-Werror=cast-function-type]
5420 | static_call_update(might_resched, (typeof(&__cond_resched)) __static_call_return0);
Change all these function to return 'long' as well, but remove the cast to
ensure we get a warning if any of the types ever change.
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
---
v2: standardize on 'long' return type instead of 'int'.
still undecided whether to change the return type of
__cond_resched_{lock,rwlock_read,rwlock_write} as well,
went with it for consistency rather than necessity.
---
include/linux/kernel.h | 4 ++--
include/linux/sched.h | 14 +++++++-------
kernel/sched/core.c | 8 ++++----
3 files changed, 13 insertions(+), 13 deletions(-)
diff --git a/include/linux/kernel.h b/include/linux/kernel.h
index 5b7ed6dc99ac..db24f8c9147a 100644
--- a/include/linux/kernel.h
+++ b/include/linux/kernel.h
@@ -82,12 +82,12 @@ struct user;
#ifdef CONFIG_PREEMPT_VOLUNTARY
-extern int __cond_resched(void);
+extern long __cond_resched(void);
# define might_resched() __cond_resched()
#elif defined(CONFIG_PREEMPT_DYNAMIC)
-extern int __cond_resched(void);
+extern long __cond_resched(void);
DECLARE_STATIC_CALL(might_resched, __cond_resched);
diff --git a/include/linux/sched.h b/include/linux/sched.h
index ef00bb22164c..b08080d8223c 100644
--- a/include/linux/sched.h
+++ b/include/linux/sched.h
@@ -1875,20 +1875,20 @@ static inline int test_tsk_need_resched(struct task_struct *tsk)
* cond_resched_lock() will drop the spinlock before scheduling,
*/
#if !defined(CONFIG_PREEMPTION) || defined(CONFIG_PREEMPT_DYNAMIC)
-extern int __cond_resched(void);
+extern long __cond_resched(void);
#ifdef CONFIG_PREEMPT_DYNAMIC
DECLARE_STATIC_CALL(cond_resched, __cond_resched);
-static __always_inline int _cond_resched(void)
+static __always_inline long _cond_resched(void)
{
return static_call_mod(cond_resched)();
}
#else
-static inline int _cond_resched(void)
+static inline long _cond_resched(void)
{
return __cond_resched();
}
@@ -1897,7 +1897,7 @@ static inline int _cond_resched(void)
#else
-static inline int _cond_resched(void) { return 0; }
+static inline long _cond_resched(void) { return 0; }
#endif /* !defined(CONFIG_PREEMPTION) || defined(CONFIG_PREEMPT_DYNAMIC) */
@@ -1906,9 +1906,9 @@ static inline int _cond_resched(void) { return 0; }
_cond_resched(); \
})
-extern int __cond_resched_lock(spinlock_t *lock);
-extern int __cond_resched_rwlock_read(rwlock_t *lock);
-extern int __cond_resched_rwlock_write(rwlock_t *lock);
+extern long __cond_resched_lock(spinlock_t *lock);
+extern long __cond_resched_rwlock_read(rwlock_t *lock);
+extern long __cond_resched_rwlock_write(rwlock_t *lock);
#define cond_resched_lock(lock) ({ \
___might_sleep(__FILE__, __LINE__, PREEMPT_LOCK_OFFSET);\
diff --git a/kernel/sched/core.c b/kernel/sched/core.c
index 3a36f0b0742e..04f6ed4ae891 100644
--- a/kernel/sched/core.c
+++ b/kernel/sched/core.c
@@ -6979,7 +6979,7 @@ SYSCALL_DEFINE0(sched_yield)
}
#if !defined(CONFIG_PREEMPTION) || defined(CONFIG_PREEMPT_DYNAMIC)
-int __sched __cond_resched(void)
+long __sched __cond_resched(void)
{
if (should_resched(0)) {
preempt_schedule_common();
@@ -7009,7 +7009,7 @@ EXPORT_STATIC_CALL_TRAMP(might_resched);
* operations here to prevent schedule() from being called twice (once via
* spin_unlock(), once by hand).
*/
-int __cond_resched_lock(spinlock_t *lock)
+long __cond_resched_lock(spinlock_t *lock)
{
int resched = should_resched(PREEMPT_LOCK_OFFSET);
int ret = 0;
@@ -7029,7 +7029,7 @@ int __cond_resched_lock(spinlock_t *lock)
}
EXPORT_SYMBOL(__cond_resched_lock);
-int __cond_resched_rwlock_read(rwlock_t *lock)
+long __cond_resched_rwlock_read(rwlock_t *lock)
{
int resched = should_resched(PREEMPT_LOCK_OFFSET);
int ret = 0;
@@ -7049,7 +7049,7 @@ int __cond_resched_rwlock_read(rwlock_t *lock)
}
EXPORT_SYMBOL(__cond_resched_rwlock_read);
-int __cond_resched_rwlock_write(rwlock_t *lock)
+long __cond_resched_rwlock_write(rwlock_t *lock)
{
int resched = should_resched(PREEMPT_LOCK_OFFSET);
int ret = 0;
--
2.29.2
^ permalink raw reply related [flat|nested] 6+ messages in thread* [tip: locking/core] static_call: Fix function type mismatch 2021-03-22 21:42 [PATCH] [v2] static_call: fix function type mismatch Arnd Bergmann @ 2021-03-22 23:30 ` tip-bot2 for Arnd Bergmann 2021-03-23 7:37 ` Peter Zijlstra 2021-03-23 7:33 ` [PATCH] [v2] static_call: fix function type mismatch Peter Zijlstra 1 sibling, 1 reply; 6+ messages in thread From: tip-bot2 for Arnd Bergmann @ 2021-03-22 23:30 UTC (permalink / raw) To: linux-tip-commits; +Cc: Arnd Bergmann, Ingo Molnar, x86, linux-kernel The following commit has been merged into the locking/core branch of tip: Commit-ID: 335c73e7c8f7deb23537afbbbe4f8ab48bd5de52 Gitweb: https://git.kernel.org/tip/335c73e7c8f7deb23537afbbbe4f8ab48bd5de52 Author: Arnd Bergmann <arnd@arndb.de> AuthorDate: Mon, 22 Mar 2021 22:42:24 +01:00 Committer: Ingo Molnar <mingo@kernel.org> CommitterDate: Tue, 23 Mar 2021 00:08:53 +01:00 static_call: Fix function type mismatch The __static_call_return0() function is declared to return a 'long', while it aliases a couple of functions that all return 'int'. When building with 'make W=1', gcc warns about this: kernel/sched/core.c:5420:37: error: cast between incompatible function types from 'long int (*)(void)' to 'int (*)(void)' [-Werror=cast-function-type] 5420 | static_call_update(might_resched, (typeof(&__cond_resched)) __static_call_return0); Change all these function to return 'long' as well, but remove the cast to ensure we get a warning if any of the types ever change. Signed-off-by: Arnd Bergmann <arnd@arndb.de> Signed-off-by: Ingo Molnar <mingo@kernel.org> Link: https://lore.kernel.org/r/20210322214309.730556-1-arnd@kernel.org --- include/linux/kernel.h | 4 ++-- include/linux/sched.h | 14 +++++++------- kernel/sched/core.c | 8 ++++---- 3 files changed, 13 insertions(+), 13 deletions(-) diff --git a/include/linux/kernel.h b/include/linux/kernel.h index 5b7ed6d..db24f8c 100644 --- a/include/linux/kernel.h +++ b/include/linux/kernel.h @@ -82,12 +82,12 @@ struct user; #ifdef CONFIG_PREEMPT_VOLUNTARY -extern int __cond_resched(void); +extern long __cond_resched(void); # define might_resched() __cond_resched() #elif defined(CONFIG_PREEMPT_DYNAMIC) -extern int __cond_resched(void); +extern long __cond_resched(void); DECLARE_STATIC_CALL(might_resched, __cond_resched); diff --git a/include/linux/sched.h b/include/linux/sched.h index ef00bb2..b08080d 100644 --- a/include/linux/sched.h +++ b/include/linux/sched.h @@ -1875,20 +1875,20 @@ static inline int test_tsk_need_resched(struct task_struct *tsk) * cond_resched_lock() will drop the spinlock before scheduling, */ #if !defined(CONFIG_PREEMPTION) || defined(CONFIG_PREEMPT_DYNAMIC) -extern int __cond_resched(void); +extern long __cond_resched(void); #ifdef CONFIG_PREEMPT_DYNAMIC DECLARE_STATIC_CALL(cond_resched, __cond_resched); -static __always_inline int _cond_resched(void) +static __always_inline long _cond_resched(void) { return static_call_mod(cond_resched)(); } #else -static inline int _cond_resched(void) +static inline long _cond_resched(void) { return __cond_resched(); } @@ -1897,7 +1897,7 @@ static inline int _cond_resched(void) #else -static inline int _cond_resched(void) { return 0; } +static inline long _cond_resched(void) { return 0; } #endif /* !defined(CONFIG_PREEMPTION) || defined(CONFIG_PREEMPT_DYNAMIC) */ @@ -1906,9 +1906,9 @@ static inline int _cond_resched(void) { return 0; } _cond_resched(); \ }) -extern int __cond_resched_lock(spinlock_t *lock); -extern int __cond_resched_rwlock_read(rwlock_t *lock); -extern int __cond_resched_rwlock_write(rwlock_t *lock); +extern long __cond_resched_lock(spinlock_t *lock); +extern long __cond_resched_rwlock_read(rwlock_t *lock); +extern long __cond_resched_rwlock_write(rwlock_t *lock); #define cond_resched_lock(lock) ({ \ ___might_sleep(__FILE__, __LINE__, PREEMPT_LOCK_OFFSET);\ diff --git a/kernel/sched/core.c b/kernel/sched/core.c index 9819121..927fd82 100644 --- a/kernel/sched/core.c +++ b/kernel/sched/core.c @@ -6976,7 +6976,7 @@ SYSCALL_DEFINE0(sched_yield) } #if !defined(CONFIG_PREEMPTION) || defined(CONFIG_PREEMPT_DYNAMIC) -int __sched __cond_resched(void) +long __sched __cond_resched(void) { if (should_resched(0)) { preempt_schedule_common(); @@ -7006,7 +7006,7 @@ EXPORT_STATIC_CALL_TRAMP(might_resched); * operations here to prevent schedule() from being called twice (once via * spin_unlock(), once by hand). */ -int __cond_resched_lock(spinlock_t *lock) +long __cond_resched_lock(spinlock_t *lock) { int resched = should_resched(PREEMPT_LOCK_OFFSET); int ret = 0; @@ -7026,7 +7026,7 @@ int __cond_resched_lock(spinlock_t *lock) } EXPORT_SYMBOL(__cond_resched_lock); -int __cond_resched_rwlock_read(rwlock_t *lock) +long __cond_resched_rwlock_read(rwlock_t *lock) { int resched = should_resched(PREEMPT_LOCK_OFFSET); int ret = 0; @@ -7046,7 +7046,7 @@ int __cond_resched_rwlock_read(rwlock_t *lock) } EXPORT_SYMBOL(__cond_resched_rwlock_read); -int __cond_resched_rwlock_write(rwlock_t *lock) +long __cond_resched_rwlock_write(rwlock_t *lock) { int resched = should_resched(PREEMPT_LOCK_OFFSET); int ret = 0; ^ permalink raw reply related [flat|nested] 6+ messages in thread
* Re: [tip: locking/core] static_call: Fix function type mismatch 2021-03-22 23:30 ` [tip: locking/core] static_call: Fix " tip-bot2 for Arnd Bergmann @ 2021-03-23 7:37 ` Peter Zijlstra 2021-03-23 15:49 ` Peter Zijlstra 0 siblings, 1 reply; 6+ messages in thread From: Peter Zijlstra @ 2021-03-23 7:37 UTC (permalink / raw) To: linux-kernel; +Cc: linux-tip-commits, Arnd Bergmann, Ingo Molnar, x86 On Mon, Mar 22, 2021 at 11:30:07PM -0000, tip-bot2 for Arnd Bergmann wrote: > The following commit has been merged into the locking/core branch of tip: > > Commit-ID: 335c73e7c8f7deb23537afbbbe4f8ab48bd5de52 > Gitweb: https://git.kernel.org/tip/335c73e7c8f7deb23537afbbbe4f8ab48bd5de52 > Author: Arnd Bergmann <arnd@arndb.de> > AuthorDate: Mon, 22 Mar 2021 22:42:24 +01:00 > Committer: Ingo Molnar <mingo@kernel.org> > CommitterDate: Tue, 23 Mar 2021 00:08:53 +01:00 > > static_call: Fix function type mismatch > > The __static_call_return0() function is declared to return a 'long', > while it aliases a couple of functions that all return 'int'. When > building with 'make W=1', gcc warns about this: > > kernel/sched/core.c:5420:37: error: cast between incompatible function types from 'long int (*)(void)' to 'int (*)(void)' [-Werror=cast-function-type] > 5420 | static_call_update(might_resched, (typeof(&__cond_resched)) __static_call_return0); > > Change all these function to return 'long' as well, but remove the cast to > ensure we get a warning if any of the types ever change. > > Signed-off-by: Arnd Bergmann <arnd@arndb.de> > Signed-off-by: Ingo Molnar <mingo@kernel.org> > Link: https://lore.kernel.org/r/20210322214309.730556-1-arnd@kernel.org So I strongly disagree and think the warning is bad and should be disabled. I'll go uncommit this patch. ^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [tip: locking/core] static_call: Fix function type mismatch 2021-03-23 7:37 ` Peter Zijlstra @ 2021-03-23 15:49 ` Peter Zijlstra 2021-04-09 11:30 ` [tip: locking/core] static_call: Relax static_call_update() function argument type tip-bot2 for Peter Zijlstra 0 siblings, 1 reply; 6+ messages in thread From: Peter Zijlstra @ 2021-03-23 15:49 UTC (permalink / raw) To: linux-kernel Cc: linux-tip-commits, Arnd Bergmann, Ingo Molnar, x86, Josh Poimboeuf, Steven Rostedt, jbaron, ardb, frederic On Tue, Mar 23, 2021 at 08:37:33AM +0100, Peter Zijlstra wrote: > On Mon, Mar 22, 2021 at 11:30:07PM -0000, tip-bot2 for Arnd Bergmann wrote: > > The following commit has been merged into the locking/core branch of tip: > > > > Commit-ID: 335c73e7c8f7deb23537afbbbe4f8ab48bd5de52 > > Gitweb: https://git.kernel.org/tip/335c73e7c8f7deb23537afbbbe4f8ab48bd5de52 > > Author: Arnd Bergmann <arnd@arndb.de> > > AuthorDate: Mon, 22 Mar 2021 22:42:24 +01:00 > > Committer: Ingo Molnar <mingo@kernel.org> > > CommitterDate: Tue, 23 Mar 2021 00:08:53 +01:00 > > > > static_call: Fix function type mismatch > > > > The __static_call_return0() function is declared to return a 'long', > > while it aliases a couple of functions that all return 'int'. When > > building with 'make W=1', gcc warns about this: > > > > kernel/sched/core.c:5420:37: error: cast between incompatible function types from 'long int (*)(void)' to 'int (*)(void)' [-Werror=cast-function-type] > > 5420 | static_call_update(might_resched, (typeof(&__cond_resched)) __static_call_return0); > > > > Change all these function to return 'long' as well, but remove the cast to > > ensure we get a warning if any of the types ever change. > > > > Signed-off-by: Arnd Bergmann <arnd@arndb.de> > > Signed-off-by: Ingo Molnar <mingo@kernel.org> > > Link: https://lore.kernel.org/r/20210322214309.730556-1-arnd@kernel.org > > So I strongly disagree and think the warning is bad and should be > disabled. I'll go uncommit this patch. How's this then? I haven't yet build GCC11 myself, but seeing how adding the (void *) cast fixed the ftrace case, it should work here too. And note that if you remove the (void *) cast, you get a nice warning: ../include/linux/static_call.h:121:41: error: initialization of ‘int (*)(void)’ from incompatible pointer type ‘long int (*)(void)’ [-Werror=incompatible-pointer-types] No fancy new compiler fail^Wfeatures needed. Also note the irony, how a warning that was supposed to strengthen types leads to weakening them. --- Subject: static_call: Relax static_call_update() function argument type static_call_update() had stronger type requirements than regular C, relax them to match. Instead of requiring the @func argument has the exact matching type, allow any type which C is willing to promote to the right (function) pointer type. Specifically this allows (void *) arguments. This cleans up a bunch of static_call_update() callers for PREEMPT_DYNAMIC and should get around silly GCC11 warnings for free. Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org> --- include/linux/static_call.h | 4 ++-- kernel/sched/core.c | 18 +++++++++--------- 2 files changed, 11 insertions(+), 11 deletions(-) diff --git a/include/linux/static_call.h b/include/linux/static_call.h index e01b61ab86b1..fc94faa53b5b 100644 --- a/include/linux/static_call.h +++ b/include/linux/static_call.h @@ -118,9 +118,9 @@ extern void arch_static_call_transform(void *site, void *tramp, void *func, bool #define static_call_update(name, func) \ ({ \ - BUILD_BUG_ON(!__same_type(*(func), STATIC_CALL_TRAMP(name))); \ + typeof(&STATIC_CALL_TRAMP(name)) __F = (func); \ __static_call_update(&STATIC_CALL_KEY(name), \ - STATIC_CALL_TRAMP_ADDR(name), func); \ + STATIC_CALL_TRAMP_ADDR(name), __F); \ }) #define static_call_query(name) (READ_ONCE(STATIC_CALL_KEY(name).func)) diff --git a/kernel/sched/core.c b/kernel/sched/core.c index 3384ea74cad4..42f9bedc666c 100644 --- a/kernel/sched/core.c +++ b/kernel/sched/core.c @@ -5402,25 +5402,25 @@ static void sched_dynamic_update(int mode) switch (mode) { case preempt_dynamic_none: static_call_update(cond_resched, __cond_resched); - static_call_update(might_resched, (typeof(&__cond_resched)) __static_call_return0); - static_call_update(preempt_schedule, (typeof(&preempt_schedule)) NULL); - static_call_update(preempt_schedule_notrace, (typeof(&preempt_schedule_notrace)) NULL); - static_call_update(irqentry_exit_cond_resched, (typeof(&irqentry_exit_cond_resched)) NULL); + static_call_update(might_resched, (void *)&__static_call_return0); + static_call_update(preempt_schedule, NULL); + static_call_update(preempt_schedule_notrace, NULL); + static_call_update(irqentry_exit_cond_resched, NULL); pr_info("Dynamic Preempt: none\n"); break; case preempt_dynamic_voluntary: static_call_update(cond_resched, __cond_resched); static_call_update(might_resched, __cond_resched); - static_call_update(preempt_schedule, (typeof(&preempt_schedule)) NULL); - static_call_update(preempt_schedule_notrace, (typeof(&preempt_schedule_notrace)) NULL); - static_call_update(irqentry_exit_cond_resched, (typeof(&irqentry_exit_cond_resched)) NULL); + static_call_update(preempt_schedule, NULL); + static_call_update(preempt_schedule_notrace, NULL); + static_call_update(irqentry_exit_cond_resched, NULL); pr_info("Dynamic Preempt: voluntary\n"); break; case preempt_dynamic_full: - static_call_update(cond_resched, (typeof(&__cond_resched)) __static_call_return0); - static_call_update(might_resched, (typeof(&__cond_resched)) __static_call_return0); + static_call_update(cond_resched, (void *)&__static_call_return0); + static_call_update(might_resched, (void *)&__static_call_return0); static_call_update(preempt_schedule, __preempt_schedule_func); static_call_update(preempt_schedule_notrace, __preempt_schedule_notrace_func); static_call_update(irqentry_exit_cond_resched, irqentry_exit_cond_resched); ^ permalink raw reply related [flat|nested] 6+ messages in thread
* [tip: locking/core] static_call: Relax static_call_update() function argument type 2021-03-23 15:49 ` Peter Zijlstra @ 2021-04-09 11:30 ` tip-bot2 for Peter Zijlstra 0 siblings, 0 replies; 6+ messages in thread From: tip-bot2 for Peter Zijlstra @ 2021-04-09 11:30 UTC (permalink / raw) To: linux-tip-commits; +Cc: Peter Zijlstra (Intel), x86, linux-kernel The following commit has been merged into the locking/core branch of tip: Commit-ID: 9432bbd969c667fc9c4b1c140c5a745ff2a7b540 Gitweb: https://git.kernel.org/tip/9432bbd969c667fc9c4b1c140c5a745ff2a7b540 Author: Peter Zijlstra <peterz@infradead.org> AuthorDate: Tue, 23 Mar 2021 16:49:03 +01:00 Committer: Peter Zijlstra <peterz@infradead.org> CommitterDate: Fri, 09 Apr 2021 13:22:12 +02:00 static_call: Relax static_call_update() function argument type static_call_update() had stronger type requirements than regular C, relax them to match. Instead of requiring the @func argument has the exact matching type, allow any type which C is willing to promote to the right (function) pointer type. Specifically this allows (void *) arguments. This cleans up a bunch of static_call_update() callers for PREEMPT_DYNAMIC and should get around silly GCC11 warnings for free. Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org> Link: https://lkml.kernel.org/r/YFoN7nCl8OfGtpeh@hirez.programming.kicks-ass.net --- include/linux/static_call.h | 4 ++-- kernel/sched/core.c | 18 +++++++++--------- 2 files changed, 11 insertions(+), 11 deletions(-) diff --git a/include/linux/static_call.h b/include/linux/static_call.h index 85ecc78..8d50f62 100644 --- a/include/linux/static_call.h +++ b/include/linux/static_call.h @@ -113,9 +113,9 @@ extern void arch_static_call_transform(void *site, void *tramp, void *func, bool #define static_call_update(name, func) \ ({ \ - BUILD_BUG_ON(!__same_type(*(func), STATIC_CALL_TRAMP(name))); \ + typeof(&STATIC_CALL_TRAMP(name)) __F = (func); \ __static_call_update(&STATIC_CALL_KEY(name), \ - STATIC_CALL_TRAMP_ADDR(name), func); \ + STATIC_CALL_TRAMP_ADDR(name), __F); \ }) #ifdef CONFIG_HAVE_STATIC_CALL_INLINE diff --git a/kernel/sched/core.c b/kernel/sched/core.c index 9819121..67f9890 100644 --- a/kernel/sched/core.c +++ b/kernel/sched/core.c @@ -5396,25 +5396,25 @@ static void sched_dynamic_update(int mode) switch (mode) { case preempt_dynamic_none: static_call_update(cond_resched, __cond_resched); - static_call_update(might_resched, (typeof(&__cond_resched)) __static_call_return0); - static_call_update(preempt_schedule, (typeof(&preempt_schedule)) NULL); - static_call_update(preempt_schedule_notrace, (typeof(&preempt_schedule_notrace)) NULL); - static_call_update(irqentry_exit_cond_resched, (typeof(&irqentry_exit_cond_resched)) NULL); + static_call_update(might_resched, (void *)&__static_call_return0); + static_call_update(preempt_schedule, NULL); + static_call_update(preempt_schedule_notrace, NULL); + static_call_update(irqentry_exit_cond_resched, NULL); pr_info("Dynamic Preempt: none\n"); break; case preempt_dynamic_voluntary: static_call_update(cond_resched, __cond_resched); static_call_update(might_resched, __cond_resched); - static_call_update(preempt_schedule, (typeof(&preempt_schedule)) NULL); - static_call_update(preempt_schedule_notrace, (typeof(&preempt_schedule_notrace)) NULL); - static_call_update(irqentry_exit_cond_resched, (typeof(&irqentry_exit_cond_resched)) NULL); + static_call_update(preempt_schedule, NULL); + static_call_update(preempt_schedule_notrace, NULL); + static_call_update(irqentry_exit_cond_resched, NULL); pr_info("Dynamic Preempt: voluntary\n"); break; case preempt_dynamic_full: - static_call_update(cond_resched, (typeof(&__cond_resched)) __static_call_return0); - static_call_update(might_resched, (typeof(&__cond_resched)) __static_call_return0); + static_call_update(cond_resched, (void *)&__static_call_return0); + static_call_update(might_resched, (void *)&__static_call_return0); static_call_update(preempt_schedule, __preempt_schedule_func); static_call_update(preempt_schedule_notrace, __preempt_schedule_notrace_func); static_call_update(irqentry_exit_cond_resched, irqentry_exit_cond_resched); ^ permalink raw reply related [flat|nested] 6+ messages in thread
* Re: [PATCH] [v2] static_call: fix function type mismatch 2021-03-22 21:42 [PATCH] [v2] static_call: fix function type mismatch Arnd Bergmann 2021-03-22 23:30 ` [tip: locking/core] static_call: Fix " tip-bot2 for Arnd Bergmann @ 2021-03-23 7:33 ` Peter Zijlstra 1 sibling, 0 replies; 6+ messages in thread From: Peter Zijlstra @ 2021-03-23 7:33 UTC (permalink / raw) To: Arnd Bergmann Cc: Ingo Molnar, Juri Lelli, Vincent Guittot, Arnd Bergmann, Dietmar Eggemann, Steven Rostedt, Ben Segall, Mel Gorman, Daniel Bristot de Oliveira, Andrew Morton, Valentin Schneider, linux-kernel On Mon, Mar 22, 2021 at 10:42:24PM +0100, Arnd Bergmann wrote: > From: Arnd Bergmann <arnd@arndb.de> > > The __static_call_return0() function is declared to return a 'long', > while it aliases a couple of functions that all return 'int'. When > building with 'make W=1', gcc warns about this: > > kernel/sched/core.c:5420:37: error: cast between incompatible function types from 'long int (*)(void)' to 'int (*)(void)' [-Werror=cast-function-type] > 5420 | static_call_update(might_resched, (typeof(&__cond_resched)) __static_call_return0); > > Change all these function to return 'long' as well, but remove the cast to > ensure we get a warning if any of the types ever change. I still think it's utter batshit. Please explain which architecture ABI is affected and why the warning is sane. ^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2021-04-09 11:30 UTC | newest] Thread overview: 6+ messages (download: mbox.gz follow: Atom feed -- links below jump to the message on this page -- 2021-03-22 21:42 [PATCH] [v2] static_call: fix function type mismatch Arnd Bergmann 2021-03-22 23:30 ` [tip: locking/core] static_call: Fix " tip-bot2 for Arnd Bergmann 2021-03-23 7:37 ` Peter Zijlstra 2021-03-23 15:49 ` Peter Zijlstra 2021-04-09 11:30 ` [tip: locking/core] static_call: Relax static_call_update() function argument type tip-bot2 for Peter Zijlstra 2021-03-23 7:33 ` [PATCH] [v2] static_call: fix function type mismatch Peter Zijlstra
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox