This serie fix casting to bool (patch 1) and add two simplifications which couldn't be done without the fix. Luc Van Oostenryck (3): fix cast to bool simplify comparisons followed by an equality test against 0 or 1 simplify '(x || x)' and '(x && x)' evaluate.c | 32 +++++++++++++++++ simplify.c | 73 ++++++++++++++++++++++++++++++++++++--- validation/bool-cast-bad.c | 27 +++++++++++++++ validation/bool-cast-explicit.c | 26 ++++++++++++++ validation/bool-cast-implicit.c | 28 +++++++++++++++ validation/optim/bool-same-args.c | 12 +++++++ validation/optim/setcc-setcc.c | 19 ++++++++++ validation/optim/setcc-seteq.c | 13 +++++++ validation/optim/setcc-setne.c | 13 +++++++ 9 files changed, 239 insertions(+), 4 deletions(-) create mode 100644 validation/bool-cast-bad.c create mode 100644 validation/bool-cast-explicit.c create mode 100644 validation/bool-cast-implicit.c create mode 100644 validation/optim/bool-same-args.c create mode 100644 validation/optim/setcc-setcc.c create mode 100644 validation/optim/setcc-seteq.c create mode 100644 validation/optim/setcc-setne.c -- 2.10.2 -- 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
