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 similar changes
which will be part of another series.
Changes since v1:
- add the warnins for compound assignments at expansion time too
- code restructuration and simplification
- test cases consolidation
This series is also available in the git repository at:
git://github.com/lucvoo/sparse.git div-by-zero-v2
Luc Van Oostenryck (8):
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: also check for compound assignments
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
expand.c | 42 +++++++++++++++----------
lib.c | 2 ++
lib.h | 1 +
linearize.c | 17 +++++++++++
linearize.h | 12 ++++++--
simplify.c | 12 ++++++++
validation/div-by-zero-fp.c | 24 +++++++++++++++
validation/div-by-zero.c | 74 +++++++++++++++++++++++++++++++++++++++++++++
8 files changed, 166 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
