Regularise error reporting
commit962304432bca01dff6ff8a868edf2125ad2a038a
authorJohn Levon <levon@movementarian.org>
Tue, 27 Nov 2018 10:53:21 +0000 (27 10:53 +0000)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 6 Dec 2018 11:03:08 +0000 (6 14:03 +0300)
tree1db4548ddb1de36793aa24d0562ab59398b0ddbd
parent4aae70ed556a2db9de38df5397685ffd1ab59874
Regularise error reporting

The idea is that parse errors and other internal errors are reported back in the
exit code, while still reporting the context where needed.

A user can specify --fatal-checks to make check-level failures do the same.

Signed-off-by: John Levon <levon@movementarian.org>
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
21 files changed:
check_kernel_printf.c
check_memcpy_overflow.c
check_rosenberg.c
check_uninitialized.c
check_wrong_size_arg.c
smatch.c
smatch.h
smatch_auto_copy.c
smatch_comparison.c
smatch_db.c
smatch_flow.c
smatch_implied.c
smatch_links.c
smatch_modification_hooks.c
smatch_param_compare_limit.c
smatch_parse_call_math.c
smatch_ranges.c
smatch_slist.c
smatch_states.c
smatch_struct_assignment.c
smatch_sval.c