diff options
| author | Marek Polacek <polacek@redhat.com> | 2017-06-08 12:38:27 +0000 |
|---|---|---|
| committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2017-06-08 12:38:27 +0000 |
| commit | 5ed418891b23588989460bc85fb53c60fbabbcbc (patch) | |
| tree | d8bc071114e88f021d843215d9395751ebc9eaf5 | |
| parent | 8055904e9e9e65241c9eeeca2e6b227f38f63b56 (diff) | |
| download | gcc-5ed418891b23588989460bc85fb53c60fbabbcbc.zip gcc-5ed418891b23588989460bc85fb53c60fbabbcbc.tar.gz gcc-5ed418891b23588989460bc85fb53c60fbabbcbc.tar.bz2 | |
re PR sanitizer/80932 (UBSAN: false positive as a result of distribution: c1*(c2*v1-c3*v2)=>c1*c2*v1-c1*c3*v2)
PR sanitize/80932
* c-c++-common/ubsan/pr80932.c: Test with ints, not with long ints.
From-SVN: r249010
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/c-c++-common/ubsan/pr80932.c | 4 |
2 files changed, 7 insertions, 2 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 677b7d1..59b2574 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-06-08 Marek Polacek <polacek@redhat.com> + + PR sanitize/80932 + * c-c++-common/ubsan/pr80932.c: Test with ints, not with long ints. + 2017-08-08 Julia Koval <julia.koval@intel.com> PR target/73350,80862 diff --git a/gcc/testsuite/c-c++-common/ubsan/pr80932.c b/gcc/testsuite/c-c++-common/ubsan/pr80932.c index a833712..92903f7 100644 --- a/gcc/testsuite/c-c++-common/ubsan/pr80932.c +++ b/gcc/testsuite/c-c++-common/ubsan/pr80932.c @@ -4,10 +4,10 @@ int x = 1; -long int +int foo (void) { - return ((long) (13801962912760474560ULL * x) - (long) (15334142073106273231ULL * x)) * -6; + return ((int) (2855545792U * x) - (int) (3269399503U * x)) * -5; } int |