extra: export is_impossible_variable()
commit52631dcffb694f82f05a664a565b80d17406b7ed
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 20 Sep 2018 12:18:30 +0000 (20 15:18 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 20 Sep 2018 12:18:30 +0000 (20 15:18 +0300)
tree14ca554897a1d3a85a73d795f9647357dcca7928
parent6a4bd641cf6dff49698a1b5739368d61dbb35ac5
extra: export is_impossible_variable()

This is handy for silencing false positives.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_extra.c
smatch_extra.h