Running
smatch/smatch_scripts/kchecker --spammy drivers/hwmon/acpi_power_meter.c
with the latest version of smatch (pulled from upstream today)
results in
/bin/sh: line 1: 28439 Segmentation fault (core dumped)
with the following stack dump:
(gdb) info stack
#0 0x00002ab48bd2e902 in ?? () from /lib/x86_64-linux-gnu/libc.so.6
#1 0x000000000040d48e in strncat (__len=<optimized out>, __src=<optimized out>, __dest=0x6a4ea0 <var_name.5924> "arg0.")
at /usr/include/x86_64-linux-gnu/bits/string3.h:150
#2 append (buff_len=512, data=<optimized out>, dest=0x6a4ea0 <var_name.5924> "arg0.") at smatch_helper.c:67
#3 __get_variable_from_expr (sym_ptr=0x7fff35248d08, buf=0x6a4ea0 <var_name.5924> "arg0.", expr=0x2b43271cc110,
complicated=0x7fff35248cdc, no_parens=1, len=512) at smatch_helper.c:125
#4 0x000000000040daf4 in expr_to_var_sym (expr=<optimized out>, sym_ptr=sym_ptr@entry=0x7fff35248d08) at smatch_helper.c:307
#5 0x0000000000411eff in call_modification_hooks (mod_expr=0x2b43271cc150, expr=<optimized out>) at smatch_modification_hooks.c:86
#6 match_assign (expr=0x2b43271cc150) at smatch_modification_hooks.c:120
#7 0x000000000040faf1 in pass_sym_list_to_client (data=0x2b43271cc150, fn=<optimized out>) at smatch_hooks.c:191
#8 __pass_to_client (data=data@entry=0x2b43271cc150, type=type@entry=ASSIGNMENT_HOOK) at smatch_hooks.c:211
#9 0x0000000000404706 in __split_expr (expr=0x2b43271cc150) at smatch_flow.c:208
#10 0x000000000040297d in fake_member_assigns_helper (symbol=symbol@entry=0x2b43271cc0d0, members=members@entry=0x2ba2a1929210,
fake_cb=fake_cb@entry=0x404c70 <call_split_expr>) at smatch_flow.c:873
#11 0x00000000004035bf in fake_member_assigns_helper (fake_cb=0x404c70 <call_split_expr>, members=0x2ba2a1929210,
symbol=0x2b43271cc0d0) at smatch_flow.c:856
#12 fake_member_assigns (fake_cb=0x404c70 <call_split_expr>, sym=0x2adbb0dc5380) at smatch_flow.c:880
#13 do_initializer_stuff (sym=0x2adbb0dc5380) at smatch_flow.c:945
#14 split_declaration (sym_list=0x2ba2a1929310) at smatch_flow.c:957
#15 __split_stmt (stmt=<optimized out>) at smatch_flow.c:625
#16 0x0000000000403444 in __split_stmt (stmt=<optimized out>) at smatch_flow.c:642
#17 0x0000000000404060 in split_function (sym=sym@entry=0x2adbb0dc3f40) at smatch_flow.c:1012
#18 0x0000000000405353 in split_functions (sym_list=0x2b3e656cee10) at smatch_flow.c:1169
#19 smatch (argc=<optimized out>, argv=<optimized out>) at smatch_flow.c:1203
#20 0x0000000000402509 in main ()
This happens reliably, so it should be easy to reproduce.
Guenter
--
To unsubscribe from this list: send the line "unsubscribe smatch" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
