diff options
| author | Richard Guenther <rguenther@suse.de> | 2011-05-19 10:45:26 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2011-05-19 10:45:26 +0000 |
| commit | e497b9bd88db2302ddc32317bd600c8176c579db (patch) | |
| tree | 5585ebe56b49c389bde1eddb7ee80e0ff227a9cf /gcc/tree-object-size.c | |
| parent | 31b3ca64f48e85c780d9d98730231ff2961c4d32 (diff) | |
| download | gcc-e497b9bd88db2302ddc32317bd600c8176c579db.zip gcc-e497b9bd88db2302ddc32317bd600c8176c579db.tar.gz gcc-e497b9bd88db2302ddc32317bd600c8176c579db.tar.bz2 | |
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
Diffstat (limited to 'gcc/tree-object-size.c')
| -rw-r--r-- | gcc/tree-object-size.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/tree-object-size.c b/gcc/tree-object-size.c index 043b445..41118d2 100644 --- a/gcc/tree-object-size.c +++ b/gcc/tree-object-size.c @@ -205,6 +205,12 @@ addr_object_size (struct object_size_info *osi, const_tree ptr, pt_var_size = size_int (sz); } 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) && TYPE_SIZE_UNIT (TREE_TYPE (pt_var)) && host_integerp (TYPE_SIZE_UNIT (TREE_TYPE (pt_var)), 1) |