Introduce skipped_functions
commit549c3f57c2494e0b023d826ae239f4d4b5947a11
authorJohn Levon <levon@movementarian.org>
Mon, 26 Nov 2018 09:07:39 +0000 (26 09:07 +0000)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 27 Nov 2018 12:30:50 +0000 (27 15:30 +0300)
tree78ba1baa2019fb67b4e14618b0b3e67db0d33e93
parent7b35ad4e9edbdd972a725264b427748241adc008
Introduce skipped_functions

Add support for skipping functions altogether that smatch can't, or shouldn't,
even attempt to process.

Signed-off-by: John Levon <john.levon@joyent.com>
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch.h
smatch_flow.c
smatch_project.c