diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2017-06-27 09:23:54 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2017-06-27 09:23:54 +0200 |
| commit | c103185290d8e69b03ab40678093514821615abd (patch) | |
| tree | 8a0bd159bcd64de1dc52529a53b5c46a89b73d70 | |
| parent | 00296d7f68fe3f6ce378fed88eab9999af3a2449 (diff) | |
| download | gcc-c103185290d8e69b03ab40678093514821615abd.zip gcc-c103185290d8e69b03ab40678093514821615abd.tar.gz gcc-c103185290d8e69b03ab40678093514821615abd.tar.bz2 | |
re PR sanitizer/81209 (-fsanitize=undefined ICE on darwin)
PR sanitizer/81209
* ubsan.c (ubsan_encode_value): Initialize DECL_CONTEXT on var.
* g++.dg/ubsan/pr81209.C: New test.
From-SVN: r249678
| -rw-r--r-- | gcc/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/ubsan/pr81209.C | 21 | ||||
| -rw-r--r-- | gcc/ubsan.c | 1 |
4 files changed, 28 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e9dc0d6..128e8f7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,8 @@ 2017-06-27 Jakub Jelinek <jakub@redhat.com> + PR sanitizer/81209 + * ubsan.c (ubsan_encode_value): Initialize DECL_CONTEXT on var. + PR middle-end/81207 * gimple-fold.c (replace_call_with_call_and_fold): Handle gimple_vuse copying separately from gimple_vdef copying. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0217b7f..fecfd62 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2017-06-27 Jakub Jelinek <jakub@redhat.com> + PR sanitizer/81209 + * g++.dg/ubsan/pr81209.C: New test. + PR middle-end/81207 * gcc.c-torture/compile/pr81207.c: New test. diff --git a/gcc/testsuite/g++.dg/ubsan/pr81209.C b/gcc/testsuite/g++.dg/ubsan/pr81209.C new file mode 100644 index 0000000..3f2a576 --- /dev/null +++ b/gcc/testsuite/g++.dg/ubsan/pr81209.C @@ -0,0 +1,21 @@ +// PR sanitizer/81209 +// { dg-do compile } +// { dg-options "-fsanitize=undefined -fno-declone-ctor-dtor" } + +#ifdef __SIZEOF_INT128__ +typedef __int128 T; +#else +typedef long long int T; +#endif + +struct B {}; +struct A : virtual public B +{ + A (long); + T a; +}; + +A::A (long c) +{ + long b = a % c; +} diff --git a/gcc/ubsan.c b/gcc/ubsan.c index 44effdd..c7a06ef 100644 --- a/gcc/ubsan.c +++ b/gcc/ubsan.c @@ -153,6 +153,7 @@ ubsan_encode_value (tree t, enum ubsan_encode_value_phase phase) { var = create_tmp_var_raw (type); TREE_ADDRESSABLE (var) = 1; + DECL_CONTEXT (var) = current_function_decl; } if (phase == UBSAN_ENCODE_VALUE_RTL) { |