container_of/mtag: fix handling of passed values (as opposed to pointers)
commit7d896ea73916f8d03104d856eb6c3350229cc845
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 26 Jul 2018 08:00:15 +0000 (26 11:00 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 26 Jul 2018 08:00:15 +0000 (26 11:00 +0300)
treec295a8e4577e4d3f276873d1d835fd0930739ea9
parent16575df5946643f657772c742f5e7cdc3f9ce00e
container_of/mtag: fix handling of passed values (as opposed to pointers)

There are actually a bunch of changes in this code.  The main bug fix is
in load_tag_info_sym() where it used to insist that the argument was a
pointer otherwise it would just do nothing.

The rest is parts of re-writes I'm working on.  I want to save things in a
stree and eventually get rid of set_param_value(), and also I changed the
arg_offset stuff from being negative.  I'm not positive the call:

if (!mtag_map_select_tag(container_tag, -arg_offset, &arg_tag))

is correct or useful.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_container_of.c
validation/sm_mtag4.c [new file with mode: 0644]