diff options
| author | Richard Guenther <rguenther@suse.de> | 2012-02-14 15:33:56 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2012-02-14 15:33:56 +0000 |
| commit | 8085c586613ba2905acd555b0b4bd6bf265f1f43 (patch) | |
| tree | c501248fa589afafc35f7a550a5f38592d411785 /gcc/tree-sra.c | |
| parent | 31772c9507ed3c9f69565efa9dd80dcd8c72b0ba (diff) | |
| download | gcc-8085c586613ba2905acd555b0b4bd6bf265f1f43.zip gcc-8085c586613ba2905acd555b0b4bd6bf265f1f43.tar.gz gcc-8085c586613ba2905acd555b0b4bd6bf265f1f43.tar.bz2 | |
re PR middle-end/52244 (wrong code for function returning union between int and _Bool at O > 2, with no-early-inlining)
2012-02-14 Richard Guenther <rguenther@suse.de>
PR tree-optimization/52244
PR tree-optimization/51528
* tree-sra.c (analyze_access_subtree): Only create INTEGER_TYPE
replacements for integral types.
* gcc.dg/torture/pr52244.c: New testcase.
From-SVN: r184214
Diffstat (limited to 'gcc/tree-sra.c')
| -rw-r--r-- | gcc/tree-sra.c | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c index e2091e5..1439c43 100644 --- a/gcc/tree-sra.c +++ b/gcc/tree-sra.c @@ -2172,11 +2172,21 @@ analyze_access_subtree (struct access *root, struct access *parent, && (root->grp_scalar_write || root->grp_assignment_write)))) { bool new_integer_type; - if (TREE_CODE (root->type) == ENUMERAL_TYPE) + /* Always create access replacements that cover the whole access. + For integral types this means the precision has to match. + Avoid assumptions based on the integral type kind, too. */ + if (INTEGRAL_TYPE_P (root->type) + && (TREE_CODE (root->type) != INTEGER_TYPE + || TYPE_PRECISION (root->type) != root->size) + /* But leave bitfield accesses alone. */ + && (root->offset % BITS_PER_UNIT) == 0) { tree rt = root->type; - root->type = build_nonstandard_integer_type (TYPE_PRECISION (rt), + root->type = build_nonstandard_integer_type (root->size, TYPE_UNSIGNED (rt)); + root->expr = build_ref_for_offset (UNKNOWN_LOCATION, + root->base, root->offset, + root->type, NULL, false); new_integer_type = true; } else |