Commit 7cd200f6 by Jakub Jelinek Committed by Jakub Jelinek

re PR sanitizer/80168 (ICE in make_decl_rtl, at varasm.c:1311 w/ VLA and -fsanitize=address)

	PR sanitizer/80168
	* asan.c (instrument_derefs): Copy over last operand from
	original COMPONENT_REF to the new COMPONENT_REF with
	DECL_BIT_FIELD_REPRESENTATIVE.
	* ubsan.c (instrument_object_size): Likewise.

	* gcc.dg/asan/pr80168.c: New test.

From-SVN: r246492
parent 79f512ff
2017-03-27 Jakub Jelinek <jakub@redhat.com>
PR sanitizer/80168
* asan.c (instrument_derefs): Copy over last operand from
original COMPONENT_REF to the new COMPONENT_REF with
DECL_BIT_FIELD_REPRESENTATIVE.
* ubsan.c (instrument_object_size): Likewise.
2017-03-27 Richard Biener <rguenther@suse.de>
PR tree-optimization/80170
......
......@@ -1868,7 +1868,8 @@ instrument_derefs (gimple_stmt_iterator *iter, tree t,
tree repr = DECL_BIT_FIELD_REPRESENTATIVE (TREE_OPERAND (t, 1));
instrument_derefs (iter, build3 (COMPONENT_REF, TREE_TYPE (repr),
TREE_OPERAND (t, 0), repr,
NULL_TREE), location, is_store);
TREE_OPERAND (t, 2)),
location, is_store);
return;
}
......
2017-03-27 Jakub Jelinek <jakub@redhat.com>
PR sanitizer/80168
* gcc.dg/asan/pr80168.c: New test.
2017-03-27 Richard Biener <rguenther@suse.de>
PR tree-optimization/80170
......
/* PR sanitizer/80168 */
/* { dg-do compile } */
int a;
int
foo (void)
{
struct S { int c[a]; int q : 8; int e : 4; } f;
f.e = 4;
return f.e;
}
......@@ -1772,7 +1772,7 @@ instrument_object_size (gimple_stmt_iterator *gsi, bool is_lhs)
{
tree repr = DECL_BIT_FIELD_REPRESENTATIVE (TREE_OPERAND (t, 1));
t = build3 (COMPONENT_REF, TREE_TYPE (repr), TREE_OPERAND (t, 0),
repr, NULL_TREE);
repr, TREE_OPERAND (t, 2));
}
break;
case ARRAY_REF:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment