This series adds support for the builtins doing overflow checking:
* __builtin_{add,sub,mul}_overflow() and the _overflow_p() variants
* __builtin_[us]{add,sub,mul}{,l,ll}_overflow()
since these, or at least __builtin_{add,mul}_overflow() are now used
in the kernel.
This series is available for review & testing in the Git repository at:
git://github.com/lucvoo/sparse-dev.git builtin-overflow
and will be soon be pushed to the main tree at
git://github.com/lucvoo/sparse.git master
Luc Van Oostenryck (3):
add builtin types {u,}{int,long,long}_ptr_ctype
builtin: declare __builtin_[us]{add,sub,mul}{,l,ll}_overflow()
builtin: add support for __builtin_{add,sub,mul}_overflow(), ...
builtin.c | 94 +++++++++++++
symbol.c | 9 ++
symbol.h | 3 +
validation/builtin-overflow.c | 246 ++++++++++++++++++++++++++++++++++
4 files changed, 352 insertions(+)
create mode 100644 validation/builtin-overflow.c
--
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
