diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2011-10-06 16:38:29 +0000 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2011-10-06 16:38:29 +0000 |
| commit | 614a86ad6d6b3430bcb968280c4e100ddf4d96f4 (patch) | |
| tree | 6d63b4a87380ed4deee53471eb0ac57a208ac508 /gcc/tree-ssa.c | |
| parent | 6c2f1cecdeb33f2dd861e87af42f3fea40fe5b6d (diff) | |
PR tree-optimization/49279
* tree-ssa-structalias.c (find_func_aliases): Don't handle
CAST_RESTRICT.
* tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Allow
restrict propagation.
* tree-ssa.c (useless_type_conversion_p): Don't return false
if TYPE_RESTRICT differs.
* gcc.dg/tree-ssa/restrict-4.c: XFAIL.
* gcc.c-torture/execute/pr49279.c: New test.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@179620 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-ssa.c')
| -rw-r--r-- | gcc/tree-ssa.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index a0115938077..258a7444b08 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -1270,12 +1270,6 @@ useless_type_conversion_p (tree outer_type, tree inner_type) != TYPE_ADDR_SPACE (TREE_TYPE (inner_type))) return false; - /* Do not lose casts to restrict qualified pointers. */ - if ((TYPE_RESTRICT (outer_type) - != TYPE_RESTRICT (inner_type)) - && TYPE_RESTRICT (outer_type)) - return false; - /* If the outer type is (void *), the conversion is not necessary. */ if (VOID_TYPE_P (TREE_TYPE (outer_type))) return true; |