Thread (3 messages) 3 messages, 3 authors, 2025-03-27

Re: [PATCH] riscv: ftrace: Add parentheses in macro definitions of make_call_t0 and make_call_ra

From: Alexandre Ghiti <alex@ghiti.fr>
Date: 2025-02-26 14:27:22
Also in: linux-riscv, lkml

Hi Juhan,

On 06/02/2025 20:28, Juhan Jin wrote:
quoted hunk ↗ jump to hunk
This patch adds parentheses to parameters caller and callee of macros
make_call_t0 and make_call_ra. Every existing invocation of these two
macros uses a single variable for each argument, so the absence of the
parentheses seems okay. However, future invocations might use more
complex expressions as arguments. For example, a future invocation might
look like this: make_call_t0(a - b, c, call). Without parentheses in the
macro definition, the macro invocation expands to:

...
unsigned int offset = (unsigned long) c - (unsigned long) a - b;
...

which is clearly wrong.

The use of parentheses ensures arguments are correctly evaluated and
potentially saves future users of make_call_t0 and make_call_ra debugging
trouble.

Fixes: 6724a76cff85 ("riscv: ftrace: Reduce the detour code size to half")
Signed-off-by: Juhan Jin <redacted>
---
  arch/riscv/include/asm/ftrace.h | 4 ++--
  1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/arch/riscv/include/asm/ftrace.h b/arch/riscv/include/asm/ftrace.h
index c4721ce44ca4..2636ee00ccf0 100644
--- a/arch/riscv/include/asm/ftrace.h
+++ b/arch/riscv/include/asm/ftrace.h
@@ -92,7 +92,7 @@ struct dyn_arch_ftrace {
  #define make_call_t0(caller, callee, call)				\
  do {									\
  	unsigned int offset =						\
-		(unsigned long) callee - (unsigned long) caller;	\
+		(unsigned long) (callee) - (unsigned long) (caller);	\
  	call[0] = to_auipc_t0(offset);					\
  	call[1] = to_jalr_t0(offset);					\
  } while (0)
@@ -108,7 +108,7 @@ do {									\
  #define make_call_ra(caller, callee, call)				\
  do {									\
  	unsigned int offset =						\
-		(unsigned long) callee - (unsigned long) caller;	\
+		(unsigned long) (callee) - (unsigned long) (caller);	\
  	call[0] = to_auipc_ra(offset);					\
  	call[1] = to_jalr_ra(offset);					\
  } while (0)
base-commit: 2014c95afecee3e76ca4a56956a936e23283f05b

Probably not worth going into fixes since the problem is not around for 
now, but that's still a good catch:

Reviewed-by: Alexandre Ghiti <redacted>

Thanks,

Alex

Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help