]> git.ipfire.org Git - thirdparty/kernel/linux.git/commit
rv/rvgen: fix unbound loop variable warning
authorWander Lairson Costa <wander@redhat.com>
Mon, 23 Feb 2026 16:18:01 +0000 (13:18 -0300)
committerGabriele Monaco <gmonaco@redhat.com>
Wed, 1 Apr 2026 08:16:20 +0000 (10:16 +0200)
commit5d98f7f5b96c4abc9325c0d851b7d287d24aee93
treea6009215f0240aec13eb3fc8d4deffc197b33921
parent957dcbf0b663385dddb3eaa5cf5de5109255696f
rv/rvgen: fix unbound loop variable warning

Pyright static analysis reports a "possibly unbound variable" warning
for the loop variable `i` in the `abbreviate_atoms` function. The
variable is accessed after the inner loop terminates to slice the atom
string. While the loop logic currently ensures execution, the analyzer
flags the reliance on the loop variable persisting outside its scope.

Refactor the prefix length calculation into a nested `find_share_length`
helper function. This encapsulates the search logic and uses explicit
return statements, ensuring the length value is strictly defined. This
satisfies the type checker and improves code readability without
altering the runtime behavior.

Signed-off-by: Wander Lairson Costa <wander@redhat.com>
Reviewed-by: Gabriele Monaco <gmonaco@redhat.com>
Link: https://lore.kernel.org/r/20260223162407.147003-19-wander@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
tools/verification/rvgen/rvgen/ltl2k.py