From: Masami Hiramatsu (Google) <[email protected]>

In trace_probe_compare_arg_type(), prior to entering the comparison loop,
a->nr_args and b->nr_args are checked for equality. Since the loop
condition is i < a->nr_args, i is guaranteed to be less than b->nr_args
inside the loop.

Remove the redundant (b->nr_args <= i) check.

Assisted-by: Antigravity:gemini-3.5-flash
Signed-off-by: Masami Hiramatsu (Google) <[email protected]>
---
 kernel/trace/trace_probe.c |    7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/kernel/trace/trace_probe.c b/kernel/trace/trace_probe.c
index 7568f5e68de7..91ba4490937b 100644
--- a/kernel/trace/trace_probe.c
+++ b/kernel/trace/trace_probe.c
@@ -2770,10 +2770,9 @@ int trace_probe_compare_arg_type(struct trace_probe *a, 
struct trace_probe *b)
                return b->nr_args + 1;
 
        for (i = 0; i < a->nr_args; i++) {
-               if ((b->nr_args <= i) ||
-                   ((a->args[i].type != b->args[i].type) ||
-                    (a->args[i].count != b->args[i].count) ||
-                    strcmp(a->args[i].name, b->args[i].name)))
+               if ((a->args[i].type != b->args[i].type) ||
+                   (a->args[i].count != b->args[i].count) ||
+                   strcmp(a->args[i].name, b->args[i].name))
                        return i + 1;
        }
 


Reply via email to