The goal of this series is to add the 'division by zero'
warnings that are missing. Indeed, sparse only warned about
division by zero when the LHS was a constant. When the LHS
was not a constant (and thus also when the division was part
of a compound assignement) no warning was ever issued.
Note: the floating point division need a similar changes
which will be part of another series.
This series is also available in the git repository at:
git://github.com/lucvoo/sparse.git div-by-zero
Luc Van Oostenryck (9):
add is_pseudo_value()
add a .warned field to struct instruction
div0: warn on integer divide by 0 also when the lhs is not constant
div0: warn on division by zero - general case
div0: add warning option -Wdiv-by-zero
div0: use -Wdiv-by-zero
div0: warn also during simplification
div0: warn on float divide by 0 also when the lhs is not constant
div0: add missing tests for floating point div by zero
expand.c | 30 +++++++++++-------------
lib.c | 2 ++
lib.h | 1 +
linearize.c | 20 ++++++++++++++++
linearize.h | 12 ++++++++--
simplify.c | 12 ++++++++++
validation/div-by-zero-fp.c | 24 +++++++++++++++++++
validation/div-by-zero.c | 57 +++++++++++++++++++++++++++++++++++++++++++++
8 files changed, 140 insertions(+), 18 deletions(-)
create mode 100644 validation/div-by-zero-fp.c
create mode 100644 validation/div-by-zero.c
--
2.13.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
