Commit e497b9bd by Richard Guenther Committed by Richard Biener

re PR c/48985 (bogus buffer overflow warning and abort on static flexible array member)

2011-05-19  Richard Guenther  <rguenther@suse.de>

	PR middle-end/48985
	* tree-object-size.c (addr_object_size): If the pointed-to
	variable is a decl use DECL_SIZE_UNIT instead of TYPE_SIZE_UNIT.

	* gcc.dg/builtin-object-size-11.c: New testcase.

From-SVN: r173901
parent 31b3ca64
2011-05-19 Richard Guenther <rguenther@suse.de> 2011-05-19 Richard Guenther <rguenther@suse.de>
PR middle-end/48985
* tree-object-size.c (addr_object_size): If the pointed-to
variable is a decl use DECL_SIZE_UNIT instead of TYPE_SIZE_UNIT.
2011-05-19 Richard Guenther <rguenther@suse.de>
* gimple.c (gimple_types_compatible_p_1): Compare names of * gimple.c (gimple_types_compatible_p_1): Compare names of
the types themselves. the types themselves.
(iterative_hash_gimple_type): And hash them that way. (iterative_hash_gimple_type): And hash them that way.
......
2011-05-19 Richard Guenther <rguenther@suse.de>
PR middle-end/48985
* gcc.dg/builtin-object-size-11.c: New testcase.
2011-05-19 Tom de Vries <tom@codesourcery.com> 2011-05-19 Tom de Vries <tom@codesourcery.com>
PR target/45098 PR target/45098
......
/* PR48985 */
/* { dg-do run } */
extern void abort (void);
struct s {
int i;
char c[];
} s = { 1, "01234" };
__SIZE_TYPE__ f (void) { return __builtin_object_size (&s.c, 0); }
int
main()
{
if (f() != sizeof ("01234"))
abort ();
return 0;
}
...@@ -205,6 +205,12 @@ addr_object_size (struct object_size_info *osi, const_tree ptr, ...@@ -205,6 +205,12 @@ addr_object_size (struct object_size_info *osi, const_tree ptr,
pt_var_size = size_int (sz); pt_var_size = size_int (sz);
} }
else if (pt_var else if (pt_var
&& DECL_P (pt_var)
&& host_integerp (DECL_SIZE_UNIT (pt_var), 1)
&& (unsigned HOST_WIDE_INT)
tree_low_cst (DECL_SIZE_UNIT (pt_var), 1) < offset_limit)
pt_var_size = DECL_SIZE_UNIT (pt_var);
else if (pt_var
&& (SSA_VAR_P (pt_var) || TREE_CODE (pt_var) == STRING_CST) && (SSA_VAR_P (pt_var) || TREE_CODE (pt_var) == STRING_CST)
&& TYPE_SIZE_UNIT (TREE_TYPE (pt_var)) && TYPE_SIZE_UNIT (TREE_TYPE (pt_var))
&& host_integerp (TYPE_SIZE_UNIT (TREE_TYPE (pt_var)), 1) && host_integerp (TYPE_SIZE_UNIT (TREE_TYPE (pt_var)), 1)
......
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