diff options
| author | Marek Polacek <polacek@redhat.com> | 2016-04-29 12:32:45 +0000 |
|---|---|---|
| committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2016-04-29 12:32:45 +0000 |
| commit | 500ecf4abd0f29d0cb4555de105a3f4152b6c423 (patch) | |
| tree | 8749fd9d4a954d7caca29c71b93fd5d965172f0e /gcc | |
| parent | a1f7021242e827f69cd1c2ed5d5eaf33ddfcd196 (diff) | |
| download | gcc-500ecf4abd0f29d0cb4555de105a3f4152b6c423.zip gcc-500ecf4abd0f29d0cb4555de105a3f4152b6c423.tar.gz gcc-500ecf4abd0f29d0cb4555de105a3f4152b6c423.tar.bz2 | |
re PR sanitizer/70342 (g++ -fsanitize=undefined never finishes compiling (>24h) in qtxmlpatterns test suite)
PR sanitizer/70342
* fold-const.c (tree_single_nonzero_warnv_p): For TARGET_EXPR, use
TARGET_EXPR_SLOT as a base.
* g++.dg/ubsan/null-7.C: New test.
Co-Authored-By: Jakub Jelinek <jakub@redhat.com>
From-SVN: r235637
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/fold-const.c | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/ubsan/null-7.C | 24 |
4 files changed, 39 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b98598f..a6b6804 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2016-04-29 Marek Polacek <polacek@redhat.com> + Jakub Jelinek <jakub@redhat.com> + + PR sanitizer/70342 + * fold-const.c (tree_single_nonzero_warnv_p): For TARGET_EXPR, use + TARGET_EXPR_SLOT as a base. + 2016-04-29 Andrew Burgess <andrew.burgess@embecosm.com> * config/arc/arc.md (*loadqi_update): Replace use of 'rI' diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 69749a8..4aa2412 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -13534,6 +13534,9 @@ tree_single_nonzero_warnv_p (tree t, bool *strict_overflow_p) if (!DECL_P (base)) base = get_base_address (base); + if (base && TREE_CODE (base) == TARGET_EXPR) + base = TARGET_EXPR_SLOT (base); + if (!base) return false; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7dfa23d..93e89d9 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-04-29 Marek Polacek <polacek@redhat.com> + + PR sanitizer/70342 + * g++.dg/ubsan/null-7.C: New test. + 2016-04-29 Dominik Vogt <vogt@linux.vnet.ibm.com> PR/69089 diff --git a/gcc/testsuite/g++.dg/ubsan/null-7.C b/gcc/testsuite/g++.dg/ubsan/null-7.C new file mode 100644 index 0000000..8284bc7 --- /dev/null +++ b/gcc/testsuite/g++.dg/ubsan/null-7.C @@ -0,0 +1,24 @@ +// PR sanitizer/70342 +// { dg-do compile } +// { dg-options "-fsanitize=null" } + +class A {}; +class B { +public: + B(A); +}; +class C { +public: + C operator<<(B); +}; +class D { + D(const int &); + C m_blackList; +}; +D::D(const int &) { + m_blackList << A() << A() << A() << A() << A() << A() << A() << A() << A() + << A() << A() << A() << A() << A() << A() << A() << A() << A() + << A() << A() << A() << A() << A() << A() << A() << A() << A() + << A() << A() << A() << A() << A() << A() << A() << A() << A() + << A() << A() << A() << A() << A() << A() << A() << A() << A(); +} |