diff options
| author | Nam Cao <namcao@linutronix.de> | 2025-07-18 16:58:11 +0200 |
|---|---|---|
| committer | Steven Rostedt (Google) <rostedt@goodmis.org> | 2025-07-24 10:43:23 -0400 |
| commit | f3735df6281e3011f9d650824ef7cd40e5b6f15b (patch) | |
| tree | 1329f114fc778adb1d39867fedbdccd39a1db750 /scripts/gdb/linux/xarray.py | |
| parent | 6fb37c2a27ebdddddcc36dbdfb6b88cc9f932895 (diff) | |
verification/rvgen: Do not generate unused variables
ltl2k generates all variable definition in both ltl_start() and
ltl_possible_next_states(). However, these two functions may not use all
the variables, causing "unused variable" compiler warning.
Change the script to only generate used variables.
Cc: Masami Hiramatsu <mhiramat@kernel.org>
Cc: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Link: https://lore.kernel.org/636b2b2d99a9bd46a9f77a078d44ebd7ffc7508c.1752850449.git.namcao@linutronix.de
Signed-off-by: Nam Cao <namcao@linutronix.de>
Reviewed-by: Gabriele Monaco <gmonaco@redhat.com>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
Diffstat (limited to 'scripts/gdb/linux/xarray.py')
0 files changed, 0 insertions, 0 deletions