[PATCH 0/7] fix function or array address in conditionals

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



This serie fixes the evaluation of function or array used
in conditionals which were not degenerated as pointers.
It also teaches sparse to now give some warnings for such uses
as it's a probable sign of an error.

This serie can also be found on github as:
	https://github.com/lucvoo/sparse fix-cond-address


Luc Van Oostenryck (7):
  teach sparse about -Waddress
  add is_func_type()
  warn if testing the address of a function
  add is_array_type()
  warn if testing the address of an array
  fix evaluation of a function or array symbol in conditionals
  fix is_scalar_type()

 evaluate.c                         |  9 ++++++++-
 lib.c                              |  2 ++
 lib.h                              |  1 +
 symbol.h                           | 16 ++++++++++++++--
 validation/cond-address-array.c    | 26 ++++++++++++++++++++++++++
 validation/cond-address-function.c | 18 ++++++++++++++++++
 validation/cond-address.c          | 14 ++++++++++++++
 7 files changed, 83 insertions(+), 3 deletions(-)
 create mode 100644 validation/cond-address-array.c
 create mode 100644 validation/cond-address-function.c
 create mode 100644 validation/cond-address.c

-- 
2.12.0

--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [Newbies FAQ]     [LKML]     [IETF Annouce]     [DCCP]     [Netdev]     [Networking]     [Security]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux SCSI]     [Trinity Fuzzer Tool]

  Powered by Linux