mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 05:00:26 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR sanitizer/79897 (ICE in gimplify_modify_expr, at gimplify.c:5627 on ARM target)

Browse Source 
PR sanitizer/79897
	* ubsan.c (ubsan_encode_value): Call mark_addressable on the
	temporary.

	* c-c++-common/ubsan/pr79897.c: New test.

From-SVN: r245945
This commit is contained in:
Jakub Jelinek 2017-03-07 07:11:14 +01:00 committed by Jakub Jelinek
parent 45174decce
commit 1f6dba54da
4 changed files with 27 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2017-03-07 Jakub Jelinek <jakub@redhat.com>
PR sanitizer/79897
* ubsan.c (ubsan_encode_value): Call mark_addressable on the
temporary.
2017-03-06 Jakub Jelinek <jakub@redhat.com>
PR c++/79821

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2017-03-07 Jakub Jelinek <jakub@redhat.com>
PR sanitizer/79897
* c-c++-common/ubsan/pr79897.c: New test.
2017-03-06 Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/79571

15
gcc/testsuite/c-c++-common/ubsan/pr79897.c Normal file
View File

@ -0,0 +1,15 @@
/* PR sanitizer/79897 */
/* { dg-do compile } */
/* { dg-options "-fsanitize=enum -O2" } */
enum E
{
A = 0,
B = ~0U + 1LL
} x = A;
int
main ()
{
return x != A;
}

1
gcc/ubsan.c
View File

@ -145,6 +145,7 @@ ubsan_encode_value (tree t, bool in_expand_p)
code by making vars unnecessarily addressable. */
tree var = create_tmp_var (type);
tree tem = build2 (MODIFY_EXPR, void_type_node, var, t);
mark_addressable (var);
if (in_expand_p)
{
rtx mem