smatch: introduce expr_to_str_complex()
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 11 Jan 2013 13:37:12 +0000 (16:37 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 11 Jan 2013 13:37:12 +0000 (16:37 +0300)
commit4206fcd1e67bef4aa29cc836b4be443e4eba507c
tree757d1c037c913a7e77fc8f14ffe9beea225b532e
parent2f5f3c675a7ec54f120e93aaff0d6d1cb5ddd721
smatch: introduce expr_to_str_complex()

This version doesn't need a NULL parameter.

As a side note, I don't really care for the _complex() on the end.  It sort
of made sense to talk about complex variables but it doesn't make sense to
talk about complex expressions.

The reason for the split is that if you have a pointer "p" and an offset
"i" and you do "p[i] = 1;" then if either "p" or "i" changes you don't
know what p[i] is.

I originally had the _complex() as default and a _simple() version.  But
then I made _simple() the default and created the _complex() version.

Naming is hard.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
17 files changed:
check_access_ok_math.c
check_assigned_expr.c
check_debug.c
check_dma_on_stack.c
check_locking.c
check_macro_side_effects.c
check_min_t.c
check_missing_break.c
check_overflow.c
check_pointer_math.c
check_signed.c
check_sizeof.c
check_type.c
check_wait_for_common.c
smatch.h
smatch_conditions.c
smatch_helper.c