diff options
| author | Martin Jambor <mjambor@suse.cz> | 2011-09-07 16:25:39 +0200 |
|---|---|---|
| committer | Martin Jambor <jamborm@gcc.gnu.org> | 2011-09-07 16:25:39 +0200 |
| commit | da990dc0e09b05638d0ec80e719c1cbd2615d76e (patch) | |
| tree | d8bb1a8c250e830fea5918eda07a27e2be7b0bee /gcc/tree-sra.c | |
| parent | 747633c57415c7428ee311525ef7d2fc9d69a70d (diff) | |
| download | gcc-da990dc0e09b05638d0ec80e719c1cbd2615d76e.zip gcc-da990dc0e09b05638d0ec80e719c1cbd2615d76e.tar.gz gcc-da990dc0e09b05638d0ec80e719c1cbd2615d76e.tar.bz2 | |
re PR tree-optimization/49911 (SRA + DOM + VRP + -fstrict-enums incorrectly remove predicate)
2011-09-07 Martin Jambor <mjambor@suse.cz>
PR tree-optimization/49911
* tree-sra.c (analyze_access_subtree): Change type of to-be-replaced
enumerations to the corresponding plain integer type.
* testsuite/g++.dg/tree-ssa/pr49911.C: New test.
From-SVN: r178639
Diffstat (limited to 'gcc/tree-sra.c')
| -rw-r--r-- | gcc/tree-sra.c | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c index 203c482..c85a7f5 100644 --- a/gcc/tree-sra.c +++ b/gcc/tree-sra.c @@ -2075,13 +2075,25 @@ analyze_access_subtree (struct access *root, struct access *parent, || ((root->grp_scalar_read || root->grp_assignment_read) && (root->grp_scalar_write || root->grp_assignment_write)))) { + bool new_integer_type; + if (TREE_CODE (root->type) == ENUMERAL_TYPE) + { + tree rt = root->type; + root->type = build_nonstandard_integer_type (TYPE_PRECISION (rt), + TYPE_UNSIGNED (rt)); + new_integer_type = true; + } + else + new_integer_type = false; + if (dump_file && (dump_flags & TDF_DETAILS)) { fprintf (dump_file, "Marking "); print_generic_expr (dump_file, root->base, 0); - fprintf (dump_file, " offset: %u, size: %u: ", + fprintf (dump_file, " offset: %u, size: %u ", (unsigned) root->offset, (unsigned) root->size); - fprintf (dump_file, " to be replaced.\n"); + fprintf (dump_file, " to be replaced%s.\n", + new_integer_type ? " with an integer": ""); } root->grp_to_be_replaced = 1; |