[Bug sanitizer/81148] UBSAN: two more false positives

[aldyh at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81148

--- Comment #17 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
Author: aldyh
Date: Wed Sep 13 16:25:51 2017
New Revision: 252277

URL: https://gcc.gnu.org/viewcvs?rev=252277&root=gcc&view=rev
Log:
2017-08-03 Richard Biener  <rguenther@suse.de>

        PR middle-end/81148
        * fold-const.c (split_tree): Add minus_var and minus_con
        arguments, remove unused loc arg.  Never generate NEGATE_EXPRs
        here but always use minus_*.
        (associate_trees): Assert we never associate with MINUS_EXPR
        and NULL first operand.  Do not recurse for PLUS_EXPR operands
        when associating as MINUS_EXPR either.
        (fold_binary_loc): Track minus_var and minus_con.

        * c-c++-common/ubsan/pr81148.c: New testcase.

Added:
    branches/range-gen2/gcc/testsuite/c-c++-common/ubsan/pr81148.c
Modified:
    branches/range-gen2/gcc/ChangeLog
    branches/range-gen2/gcc/fold-const.c
    branches/range-gen2/gcc/testsuite/ChangeLog