diff options
| author | Richard Biener <rguenther@suse.de> | 2017-06-13 07:07:08 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2017-06-13 07:07:08 +0000 |
| commit | 4f2c198d7675168416b8c994467d2941bfa5a309 (patch) | |
| tree | b55bb2ec58b8a6522fbeaa63b5db22e702c496a2 /gcc/testsuite | |
| parent | cd34e54306bfb2ef53fbb2405de435e375337ef9 (diff) | |
| download | gcc-4f2c198d7675168416b8c994467d2941bfa5a309.zip gcc-4f2c198d7675168416b8c994467d2941bfa5a309.tar.gz gcc-4f2c198d7675168416b8c994467d2941bfa5a309.tar.bz2 | |
re PR sanitizer/81065 (UBSAN: false positive as a result of distribution involving different types)
2017-06-13 Richard Biener <rguenther@suse.de>
PR middle-end/81065
* fold-const.c (extract_muldiv_1): Remove bogus distribution
case of C * (x * C2 + C3).
(fold_addr_of_array_ref_difference): Properly fold index difference.
* c-c++-common/ubsan/pr81065.c: New testcase.
From-SVN: r249144
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/c-c++-common/ubsan/pr81065.c | 13 |
2 files changed, 18 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index fc941af..5e9d5ff 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-06-13 Richard Biener <rguenther@suse.de> + + PR middle-end/81065 + * c-c++-common/ubsan/pr81065.c: New testcase. + 2017-06-12 Ian Lance Taylor <iant@golang.org> * gcc.dg/tree-prof/split-1.c: Require split_stack, don't require diff --git a/gcc/testsuite/c-c++-common/ubsan/pr81065.c b/gcc/testsuite/c-c++-common/ubsan/pr81065.c new file mode 100644 index 0000000..1b34227 --- /dev/null +++ b/gcc/testsuite/c-c++-common/ubsan/pr81065.c @@ -0,0 +1,13 @@ +/* { dg-do run } */ +/* { dg-options "-fsanitize=undefined -fsanitize-undefined-trap-on-error" } */ + +unsigned char x = 154; +int foo() { + // 8575 * (254408 - 9057) = 8575 * 245351 = 2103884825 = 0x7d66bc19 + return 8575 * (1652 * x - 9057); +} + +int main() { + foo(); + return 0; +} |