[Bug tree-optimization/32144] New: [pointer_plus] Ice in chrec_fold_plus_poly_poly, at tree-chrec.c:110

[Bug tree-optimization/32144] New: [pointer_plus] Ice in chrec_fold_plus_poly_poly, at tree-chrec.c:110

[mstein at phenix dot rootshell dot be]

Hello,
I get an ICE when compiling linux-2.6.20 with a host-gcc from today's
pointer_plus branch.

gcc -m32 -Wp,-MD,fs/hfs/.extent.o.d  -nostdinc -isystem
/home/mstein/host-gcc/pointer_plus-2007-05-29/bin/../lib/gcc/i686-pc-linux-gnu/4.3.0/include
-D__KERNEL__ -Iinclude  -include include/linux/autoconf.h -Wall -Wundef
-Wstrict-prototypes -Wno-trigraphs -fno-strict-aliasing -fno-common -Os -pipe
-msoft-float -mregparm=3 -mpreferred-stack-boundary=2  -march=i686
-mtune=generic -ffreestanding -maccumulate-outgoing-args -DCONFIG_AS_CFI=1 
-Iinclude/asm-i386/mach-default -fno-omit-frame-pointer
-fno-optimize-sibling-calls -g  -fno-stack-protector
-Wdeclaration-after-statement -Wno-pointer-sign   -DMODULE -D"KBUILD_STR(s)=#s"
-D"KBUILD_BASENAME=KBUILD_STR(extent)"  -D"KBUILD_MODNAME=KBUILD_STR(hfs)" -c
-o fs/hfs/.tmp_extent.o fs/hfs/extent.c
fs/hfs/extent.c: In function 'hfs_free_fork':
fs/hfs/extent.c:273: internal compiler error: in chrec_fold_plus_poly_poly, at
tree-chrec.c:110


-- 
           Summary: [pointer_plus] Ice in chrec_fold_plus_poly_poly, at
                    tree-chrec.c:110
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: mstein at phenix dot rootshell dot be
  GCC host triplet: i686-gnu-linux


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32144

[Bug tree-optimization/32144] [pointer_plus] Ice in chrec_fold_plus_poly_poly, at tree-chrec.c:110

[mstein at phenix dot rootshell dot be]

------- Comment #1 from mstein at phenix dot rootshell dot be  2007-05-29 19:11 -------
Created an attachment (id=13630)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13630&action=view)
from linux-2.6.20


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32144

[Bug tree-optimization/32144] [pointer_plus] Ice in chrec_fold_plus_poly_poly, at tree-chrec.c:110

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2007-05-29 19:15 -------
I have a fix, just reducing the testcase right now.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pinskia at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-05-29 19:15:17
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32144

[Bug tree-optimization/32144] [pointer_plus] Ice in chrec_fold_plus_poly_poly, at tree-chrec.c:110

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2007-05-29 19:37 -------
Reduced testcase:
typedef unsigned short __u16;
typedef unsigned int u32;
typedef __u16 __be16;
struct hfs_extent {
 __be16 count;
};
int hfs_free_fork( int type)
{
 u32 total_blocks, blocks, start;
 struct hfs_extent *extent;
 int res, i;
 for (i = 0; i < 3; extent++, i++)
  blocks += __fswab16((( __u16)(__be16)(extent[i].count)));
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   GCC host triplet|i686-gnu-linux              |
 GCC target triplet|                            |i686-gnu-linux


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32144

[Bug tree-optimization/32144] [pointer_plus] Ice in chrec_fold_plus_poly_poly, at tree-chrec.c:110

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2007-05-29 19:40 -------
The fix:
Index: ../../gcc/tree-chrec.c
===================================================================
--- ../../gcc/tree-chrec.c      (revision 125151)
+++ ../../gcc/tree-chrec.c      (working copy)
@@ -107,7 +107,10 @@ chrec_fold_plus_poly_poly (enum tree_cod
   gcc_assert (poly1);
   gcc_assert (TREE_CODE (poly0) == POLYNOMIAL_CHREC);
   gcc_assert (TREE_CODE (poly1) == POLYNOMIAL_CHREC);
-  gcc_assert (chrec_type (poly0) == chrec_type (poly1));
+  if (POINTER_TYPE_P (chrec_type (poly0)))
+    gcc_assert (chrec_type (poly1) == sizetype);
+  else
+    gcc_assert (chrec_type (poly0) == chrec_type (poly1));
   gcc_assert (type == chrec_type (poly0));

   /*


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32144

[Bug tree-optimization/32144] [pointer_plus] Ice in chrec_fold_plus_poly_poly, at tree-chrec.c:110

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2007-05-31 02:19 -------
Fixed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32144

[Bug tree-optimization/32144] [pointer_plus] Ice in chrec_fold_plus_poly_poly, at tree-chrec.c:110

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2007-05-31 02:19 -------
Subject: Bug 32144

Author: pinskia
Date: Thu May 31 02:19:03 2007
New Revision: 125213

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=125213
Log:
2007-05-30  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR tree-op/32145
        * tree-vrp.c (extract_range_from_assert): Create
        POINTER_PLUS_EXPR for pointer types.

        PR tree-opt/32144
        * tree-chrec.c (chrec_fold_plus_poly_poly): If the
        first chrec is a pointer type, then the second should
        be sizetype and not the first's type.


2007-05-28  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR tree-opt/32144
        * gcc.c-torture/compile/20070529-1.c: New test.

        PR tree-opt/32145
        * gcc.c-torture/compile/20070529-2.c: New test.


Added:
    branches/pointer_plus/gcc/testsuite/gcc.c-torture/compile/20070529-1.c
    branches/pointer_plus/gcc/testsuite/gcc.c-torture/compile/20070529-2.c
Modified:
    branches/pointer_plus/gcc/ChangeLog.ptr
    branches/pointer_plus/gcc/testsuite/ChangeLog.ptr
    branches/pointer_plus/gcc/tree-chrec.c
    branches/pointer_plus/gcc/tree-vrp.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32144

[Bug tree-optimization/32144] [pointer_plus] Ice in chrec_fold_plus_poly_poly, at tree-chrec.c:110

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2007-06-16 05:43 -------
Subject: Bug 32144

Author: pinskia
Date: Sat Jun 16 05:42:36 2007
New Revision: 125755

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=125755
Log:
2007-06-15  Andrew Pinski <andrew_pinski@playstation.sony.com>
            Zdenek Dvorak <dvorakz@suse.cz>
            Richard Guenther  <rguenther@suse.de>
            Kaz Kojima  <kkojima@gcc.gnu.org>

        * tree-vrp.c (compare_values_warnv): Convert val2 to
        the type of val1.
        (extract_range_from_assert): Create
        POINTER_PLUS_EXPR for pointer types.
        (extract_range_from_binary_expr): Handle
        only POINTER_PLUS_EXPR, MIN_EXPR, and MAX_EXPR
        for pointer types.
        * doc/c-tree.texi (POINTER_PLUS_EXPR): Document.
        * tree-ssa-loop-niter.c (split_to_var_and_offset): Handle
        POINTER_PLUS_EXPR as PLUS_EXPR.
        (number_of_iterations_lt_to_ne):
        For pointer types, use sizetype when
        creating MINUS_EXPR/PLUS_EXPRs.
        (assert_loop_rolls_lt): For pointer types, use sizetype when
        creating MINUS_EXPR/PLUS_EXPRs.
        (number_of_iterations_le): Likewise.
        (expand_simple_operations): POINTER_PLUS_EXPR are simple also.
        (derive_constant_upper_bound): Handle POINTER_PLUS_EXPR just
        like PLUS_EXPR and MINUS_EXPR.
        * tree-pretty-print.c (dump_generic_node): Handle
        POINTER_PLUS_EXPR.
        (op_prio): Likewise.
        (op_symbol_1): Likewise.
        * optabs.c (optab_for_tree_code): Likewise.
        * tree-ssa-loop-manip.c (create_iv): Handle pointer base
        specially.
        * tree-tailcall.c (process_assignment): Mention
        POINTER_PLUS_EXPR in a TODO comment.
        * tree.c (build2_stat): Assert when trying to use PLUS_EXPR or 
        MINUS_EXPR with a pointer. Also assert for POINTER_PLUS_EXPR
        not used with a pointer and an integer type.
        * tree-scalar-evolution.c (add_to_evolution_1): Convert the
        increment using chrec_convert_rhs instead of chrec_convert.
        (follow_ssa_edge_in_rhs): Handle POINTER_PLUS_EXPR like
        PLUS_EXPR except for the right hand side's type will be
        sizetype.
        (interpret_rhs_modify_stmt): Handle POINTER_PLUS_EXPR.
        (fold_used_pointer_cast): Kill.
        (pointer_offset_p): Kill.
        (fold_used_pointer): Kill.
        (pointer_used_p): Kill.
        (analyze_scalar_evolution_1 <case GIMPLE_MODIFY_STMT>): Don't
        call fold_used_pointer.
        (instantiate_parameters_1): Convert the increment
        using chrec_convert_rhs instead of chrec_convert.
        Handle POINTER_PLUS_EXPR as PLUS_EXPR.
        * builtins.c (get_pointer_alignment): Handle POINTER_PLUS_EXPR
        instead of PLUS_EXPR.
        (expand_builtin_strcat): Create a POINTER_PLUS_EXPR instead of
        PLUS_EXPR for pointers.
        (std_gimplify_va_arg_expr): Likewise.
        (fold_builtin_memory_op): Likewise.
        (fold_builtin_strstr): Likewise.
        (fold_builtin_strchr): Likewise.
        (fold_builtin_strrchr): Likewise.
        (fold_builtin_strpbrk): Likewise.
        (expand_builtin_memory_chk): Likewise.
        (fold_builtin_memory_chk): Likewise.
        (std_expand_builtin_va_start): Use
        sizetype for the call to make_tree and then convert
        to the pointer type.
        (fold_builtin_memchr): Use POINTER_PLUS_EXPR
        instead of PLUS_EXPR for adding to a pointer.
        (std_gimplify_va_arg_expr): Use fold_build2 for
        the creating of POINTER_PLUS_EXPR.  For the BIT_AND_EXPR, cast
        the operands to sizetype first and then cast the BIT_AND_EXPR
        back to the pointer type.
        * fold-const.c (build_range_check): Handle pointer types
        specially.
        (extract_array_ref): Look for POINTER_PLUS_EXPR instead
        of PLUS_EXPR's. Make sure the offset is converted to
        sizetype.
        (try_move_mult_to_index): Strip the NOPs from the offset.
        Remove code argument and replace all uses with PLUS_EXPR.
        (fold_to_nonsharp_ineq_using_bound): Handle pointer types
        specially. Don't use a pointer type for MINUS_EXPR.
        (fold_unary): Handle for (T1)(X op Y),
        only p+ as that is the only as that can be handled for
        binary operators now.
        (fold_binary <case POINTER_PLUS_EXPR>): Add folding of
        POINTER_PLUS_EXPR.
        <case PLUS_EXPR>: Add folding of PTR+INT into
        PTR p+ INT.
        Don't call try_move_mult_to_index.
        <case MINUS_EXPR>: Fold (PTR0 p+ A) - (PTR1 p+ B)
        into (PTR0 - PTR1) + (A - B). Fold (PTR0 p+ A) - PTR1 into
        (PTR0 - PTR1) + A iff (PTR0 - PTR1) simplifies.
        Don't call try_move_mult_to_index.
        (tree_expr_nonnegative_warnv_p): Handle POINTER_PLUS_EXPR.
        (tree_expr_nonzero_p): Likewise.
        (fold_indirect_ref_1): Look at POINTER_PLUS_EXPR instead
        of PLUS_EXPR for the complex expression folding.
        * tree-chrec.c (chrec_fold_plus_poly_poly): If the
        first chrec is a pointer type, then the second should
        be sizetype and not the first's type.
        For POINTER_PLUS_EXPR, use a different right hand side type.
        Handle POINTER_PLUS_EXPR like PLUS_EXPR.
        (chrec_fold_plus_1): For POINTER_PLUS_EXPR, use a
        different right hand side type.
        Handle POINTER_PLUS_EXPR like PLUS_EXPR.
        (chrec_fold_plus): For pointer types, use POINTER_PLUS_EXPR
        instead of PLUS_EXPR.
        When either operand is zero, convert the other operand.
        (chrec_apply): Use chrec_convert_rhs
        on the argument x instead of chrec_convert.
        (reset_evolution_in_loop): For pointer types, the new_evol
        should be sizetype.
        (convert_affine_scev): For POINTER_PLUS_EXPR, use a
        different right hand side type.
        Handle POINTER_PLUS_EXPR like PLUS_EXPR.
        (chrec_convert_rhs): New function.
        (chrec_convert_aggressive): For POINTER_PLUS_EXPR, use a
        different right hand side type.
        Handle POINTER_PLUS_EXPR like PLUS_EXPR.
        * tree-chrec.h (chrec_convert_rhs): New prototype.
        (build_polynomial_chrec): For pointer types, the right hand
        * tree-ssa-ccp.c (maybe_fold_stmt_indirect): Look for
        POINTER_PLUS_EXPR instead of PLUS_EXPR's.
        Remove subtraction case as it is always addition now.
        Make sure the offset is converted to sizetype.
        (fold_stmt_r): Don't handle PLUS_EXPR/MINUS_EXPR specially.
        Handle POINTER_PLUS_EXPR like PLUS_EXPR was handled before.
        * tree-ssa-loop-ivopts.c (determine_base_object): Abort for 
        PLUS_EXPR in pointer type.
        Handle POINTER_PLUS_EXPR.
        (tree_to_aff_combination): Likewise.
        (force_expr_to_var_cost): Likewise.
        (force_expr_to_var_cost): Likewise. Create a POINTER_PLUS_EXPR
        instead of PLUS_EXPR for pointers.
        * c-format.c (check_format_arg): Handle POINTER_PLUS_EXPR
        instead of PLUS_EXPR of pointer types.
        * tree-stdarg.c (va_list_counter_bump): Handle POINTER_PLUS_EXPR
        as PLUS_EXPR.
        (check_va_list_escapes): Likewise.
        (check_all_va_list_escapes): Likewise.
        * dwarf2out.c (loc_descriptor_from_tree_1):
        Handle POINT_PLUS_EXPR as a PLUS_EXPR.
        * expr.c (expand_expr_real_1): Handle POINTER_PLUS_EXPR.
        (string_constant): Likewise.
        * tree-ssa-address.c (tree_mem_ref_addr): When adding
        the offset to the base, use POINTER_PLUS_EXPR.
        (add_to_parts): Convert the index to sizetype.
        (create_mem_ref): Create A POINTER_PLUS_EXPR for the one case.
        * matrix-reorg.c (collect_data_for_malloc_call): Stmt
        will now only be either INDIRECT_REF and POINTER_PLUS_EXPR.
        Offset only holds something for PLUS_EXPR.
        (ssa_accessed_in_tree): Handle POINTER_PLUS_EXPR just as
        a PLUS_EXPR.
        (analyze_transpose): POINTER_PLUS_EXPR will only show up now
        and not PLUS_EXPR.
        (analyze_accesses_for_modify_stmt): Likewise.
        Remove comment about the type being integral type as it is
        wrong now.
        (can_calculate_expr_before_stmt): Handle POINTER_PLUS_EXPR as
        PLUS_EXPR.
        (transform_access_sites): POINTER_PLUS_EXPR will only show up now
        and not PLUS_EXPR.
        Correct the type which the artimentic is done in (is now
        sizetype).
        Reindent one loop.
        * tree-data-ref.c (split_constant_offset): Handle
        POINTER_PLUS_EXPR
        * tree-affine.c (tree_to_aff_combination): Likewise.
        * c-typeck.c (build_unary_op): For pointers create the increment
        as a sizetype. Create a POINTER_PLUS_EXPR instead of PLUS_EXPR
        for pointers.
        * gimplify.c (gimplify_self_mod_expr): Create a
        POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
        (gimplify_omp_atomic_fetch_op): Handle POINTER_PLUS_EXPR.
        * tree.def (POINTER_PLUS_EXPR): New tree code.
        * tree-predcom.c (ref_at_iteration): If we have a pointer
        type do the multiplication in sizetype.
        * tree-mudflap.c (mf_xform_derefs_1): Create a
        POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
        * tree-ssa-forwprop.c 
        (forward_propagate_addr_into_variable_array_index):
        Don't expect there to be a cast for the index as that
        does not exist anymore.
        (forward_propagate_addr_expr_1): Check for POINTER_PLUS_EXPR
        instead of PLUS_EXPR.
        Don't check for the first operand of the POINTER_PLUS_EXPR
        was the index as it cannot be.
        Call forward_propagate_addr_into_variable_array_index with
        the SSA_NAME instead of the statement.
        * varasm.c (const_hash_1): Handle POINTER_PLUS_EXPR.
        (compare_constant): Likewise.
        (copy_constant): Likewise.
        (compute_reloc_for_constant): Likewise.
        (output_addressed_constants): Likewise.
        (initializer_constant_valid_p): Likewise.
        * tree-ssa.c (tree_ssa_useless_type_conversion_1):
        Convert the MIN/MAX of the inner type to the outer
        type before comparing them.
        * tree-ssa-loop-prefetch.c (idx_analyze_ref):  Handle
        POINTER_PLUS_EXPR instead of PLUS_EXPR.
        (issue_prefetch_ref): Create a POINTER_PLUS_EXPR instead
        of PLUS_EXPR for pointers.
        * tree-inline.c (estimate_num_insns_1): Handle
        POINTER_PLUS_EXPR.
        * tree-vect-transform.c (vect_create_addr_base_for_vector_ref): 
        Create a POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
        (bump_vector_ptr): Create a POINTER_PLUS_EXPR
        instead of PLUS_EXPR for the pointer increment statement.
        (vect_update_ivs_after_vectorizer): For pointer types, create
        POINTER_PLUS_EXPR instead of PLUS_EXPR and also create
        MULT_EXPR in sizetype.
        (vect_gen_niters_for_prolog_loop): Add a cast when creating
        byte_misalign.
        * tree-object-size.c (plus_expr_object_size): Handle
        POINTER_PLUS_EXPR instead of PLUS_EXPR.  Removing all the extra
        code which is trying to figure out which side is a pointer and 
        is the index.
        (check_for_plus_in_loops_1): Likewise.
        (check_for_plus_in_loops): Likewise.
        * c-common.c (pointer_int_sum): Create a
        POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
        * tree-ssa-structalias.c (handle_ptr_arith): Handle
        only POINTER_PLUS_EXPR.  Removing all the extra
        code which is trying to figure out which side is a pointer and 
        is the index.
        * tree-cfg.c (verify_expr): Add extra checking for pointers and
        PLUS_EXPR and MINUS_EXPR.
        Also add checking to make sure the operands of POINTER_PLUS_EXPR
        are correct.
        * config/frv/frv.c (frv_expand_builtin_va_start): Use sizetype
        with make_tree, instead of a pointer type.
        * config/s390/s390.c (s390_va_start): Use POINTER_PLUS_EXPR
        for pointers instead of PLUS_EXPR.
        (s390_gimplify_va_arg): Likewise.
        * config/spu/spu.c (spu_va_start): Create POINTER_PLUS_EXPR
        instead of PLUS_EXPR when doing addition on pointer
        types.  Use sizetype for the second operand.
        (spu_gimplify_va_arg_expr): Likewise.
        * config/sparc/sparc.c (sparc_gimplify_va_arg): Use 
        POINTER_PLUS_EXPR instead of PLUS_EXPR when the operand was
        a pointer.  Don't create a BIT_AND_EXPR for pointer types.
        * config/i386/i386.c (ix86_va_start): Use POINTER_PLUS_EXPR
        for the pointer addition and also use size_int/sizetype
        for the offset.
        (ix86_gimplify_va_arg): Likewise.
        Perform BIT_AND_EXPR on sizetype arguments.
        * config/sh/sh.c (sh_va_start): Call make_tree with sizetype
        and convert its result to a pointer type.  Use POINTER_PLUS_EXPR
        for the pointer additions and also use size_int for the offsets.
        (sh_gimplify_va_arg_expr): Use POINTER_PLUS_EXPR for the pointer
        additions and also use size_int for the offsets.  Perform
        BIT_AND_EXPR on sizetype arguments.
        * config/ia64/ia64.c (ia64_gimplify_va_arg): Use
        POINTER_PLUS_EXPR for pointers and create the
        BIT_AND_EXPR in sizetype.
        * config/rs6000/rs6000.c (rs6000_va_start): Use POINTER_PLUS_EXPR
        instead of PLUS_EXPR for pointer addition.
        (rs6000_va_start): Likewise.
        Also use sizetype for the offset.
        * config/pa/pa.c (reloc_needed): Handle POINTER_PLUS_EXPR
        as PLUS_EXPR/MINUS_EXPR.
        (hppa_gimplify_va_arg_expr): Don't create MINUS_EXPR or
        PLUS_EXPR for pointers, instead use POINTER_PLUS_EXPR.
        Don't use BIT_AND_EXPR on a pointer type, convert the
        expression to sizetype first.
        * config/mips/mips.c (mips_va_start): Use POINTER_PLUS_EXPR
        for pointers.
        (mips_gimplify_va_arg_expr): Likewise.
        Don't create BIT_AND_EXPR in a pointer type.



2007-06-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        * trans-intrinsic.c (gfc_conv_intrinsic_repeat): Use
        POINTER_PLUS_EXPR instead of PLUS_EXPR for pointer addition.
        * trans-expr.c (gfc_trans_string_copy): Create
        POINTER_PLUS_EXPR instead of a PLUS_EXPR
        for pointer types.

2007-06-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        * typeck.c (build_binary_op): For templates build the
        expression in pieces to avoid the assert in build2_stat.
        (get_member_function_from_ptrfunc):
        Change over to using POINTER_PLUS_EXPR and convert
        the second operand to sizetype.
        * typeck2.c (build_m_component_ref):  Likewise.
        * init.c (expand_virtual_init): Create a POINTER_PLUS_EXPR
        instead of PLUS_EXPR for pointers.
        (build_new_1): Likewise.
        (build_vec_delete_1): Likewise.
        (build_vec_delete): Likewise.
        * class.c (build_base_path): Likewise.
        (build_base_path): Likewise.
        (convert_to_base_statically): Likewise.
        (fixed_type_or_null): Handle POINTER_PLUS_EXPR.
        (get_vtbl_decl_for_binfo): Handle POINTER_PLUS_EXPR
        instead of PLUS_EXPR.
        (dfs_accumulate_vtbl_inits): Create a POINTER_PLUS_EXPR
        instead of PLUS_EXPR for pointers.
        * call.c (build_special_member_call): Likewise.
        * rtti.c (build_headof): Likewise.
        Use sizetype instead of ptrdiff_type_node.
        (tinfo_base_init): Create a POINTER_PLUS_EXPR
        instead of PLUS_EXPR for pointers.
        * except.c (expand_start_catch_block):  Do a
        NEGATIVE and then a POINTER_PLUS_EXPR instead
        of a MINUS_EXPR.
        * cp-gimplify.c (cxx_omp_clause_apply_fn): Convert
        PLUS_EXPR on pointer types over to use
        POINTER_PLUS_EXPR and remove the conversion
        to the pointer types.
        * method.c (thunk_adjust): Use POINTER_PLUS_EXPR for
        adding to a pointer type. Use size_int instead of
        ssize_int. Convert the index to sizetype before
        adding it to the pointer.



2007-06-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        * trans.c (Attribute_to_gnu): When subtracting an
        offset from a pointer, use POINTER_PLUS_EXPR with
        NEGATE_EXPR instead of MINUS_EXPR.
        (gnat_to_gnu): Likewise.
        * utils.c (convert): When converting between
        thin pointers, use POINTER_PLUS_EXPR and sizetype
        for the offset.
        * utils2.c (known_alignment): POINTER_PLUS_EXPR
        have the same semantics as PLUS_EXPR for alignment.
        (build_binary_op): Add support for the semantics of
        POINTER_PLUS_EXPR's operands.
        When adding an offset to a pointer, use POINTER_PLUS_EXPR.



2007-06-15 Andrew Pinski  <andrew_pinski@playstation.sony.com>

        * class.c (make_class_data): Build the index in sizetype.
        Use POINTER_PLUS_EXPR instead of PLUS_EXPR when
        adding to a pointer type.
        (build_symbol_entry): Likewise.
        * expr.c (build_java_arrayaccess): Likewise.
        (build_field_ref): Likewise.
        (build_known_method_ref): Likewise.
        (build_invokevirtual): Likewise.
        * except.c (build_exception_object_ref): Do a
        NEGATIVE and then a POINTER_PLUS_EXPR instead
        of a MINUS_EXPR.


2007-06-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR tree-opt/32225
        * gcc.c-torture/compile/20070605-1.c: New test.

        * gcc.c-torture/compile/20070603-1.c: New testcase.
        * gcc.c-torture/compile/20070603-2.c: New testcase.

        * gcc.c-torture/compile/20070531-1.c: New test.

        PR tree-opt/32167
        * gcc.c-torture/compile/20070531-2.c: New test.

        PR tree-opt/32144
        * gcc.c-torture/compile/20070529-1.c: New test.

        PR tree-opt/32145
        * gcc.c-torture/compile/20070529-2.c: New test.

        PR tree-opt/32015
        * gcc.c-torture/compile/20070520-1.c: New test.

        * g++.dg/ext/java-1.C: New test.

        * gcc.dg/vect/vect-106.c: We are now able to vectorize two
        loops instead of one. Remove the "can't determine dependence"
        check.
        * gcc.dg/tree-ssa/20030815-1.c: Remove testcase which is no longer
        needed as the cast is gone in the first place.
        * gcc.dg/max-1.c: Change local variable a to be a global one.
        * gcc.dg/tree-ssa/ssa-pre-8.c: Update testcase since we don't
        have a cast which is PREd.


Added:
    trunk/gcc/ChangeLog.ptr
      - copied unchanged from r125753, branches/pointer_plus/gcc/ChangeLog.ptr
    trunk/gcc/ada/ChangeLog.ptr
      - copied unchanged from r125753,
branches/pointer_plus/gcc/ada/ChangeLog.ptr
    trunk/gcc/cp/ChangeLog.ptr
      - copied unchanged from r125753,
branches/pointer_plus/gcc/cp/ChangeLog.ptr
    trunk/gcc/fortran/ChangeLog.ptr
      - copied unchanged from r125753,
branches/pointer_plus/gcc/fortran/ChangeLog.ptr
    trunk/gcc/java/ChangeLog.ptr
      - copied unchanged from r125753,
branches/pointer_plus/gcc/java/ChangeLog.ptr
    trunk/gcc/testsuite/ChangeLog.ptr
      - copied unchanged from r125753,
branches/pointer_plus/gcc/testsuite/ChangeLog.ptr
    trunk/gcc/testsuite/g++.dg/ext/java-1.C
      - copied unchanged from r125753,
branches/pointer_plus/gcc/testsuite/g++.dg/ext/java-1.C
    trunk/gcc/testsuite/gcc.c-torture/compile/20070520-1.c
      - copied unchanged from r125753,
branches/pointer_plus/gcc/testsuite/gcc.c-torture/compile/20070520-1.c
    trunk/gcc/testsuite/gcc.c-torture/compile/20070529-1.c
      - copied unchanged from r125753,
branches/pointer_plus/gcc/testsuite/gcc.c-torture/compile/20070529-1.c
    trunk/gcc/testsuite/gcc.c-torture/compile/20070529-2.c
      - copied unchanged from r125753,
branches/pointer_plus/gcc/testsuite/gcc.c-torture/compile/20070529-2.c
    trunk/gcc/testsuite/gcc.c-torture/compile/20070531-1.c
      - copied unchanged from r125753,
branches/pointer_plus/gcc/testsuite/gcc.c-torture/compile/20070531-1.c
    trunk/gcc/testsuite/gcc.c-torture/compile/20070531-2.c
      - copied unchanged from r125753,
branches/pointer_plus/gcc/testsuite/gcc.c-torture/compile/20070531-2.c
    trunk/gcc/testsuite/gcc.c-torture/compile/20070603-1.c
      - copied unchanged from r125753,
branches/pointer_plus/gcc/testsuite/gcc.c-torture/compile/20070603-1.c
    trunk/gcc/testsuite/gcc.c-torture/compile/20070603-2.c
      - copied unchanged from r125753,
branches/pointer_plus/gcc/testsuite/gcc.c-torture/compile/20070603-2.c
    trunk/gcc/testsuite/gcc.c-torture/compile/20070605-1.c
      - copied unchanged from r125753,
branches/pointer_plus/gcc/testsuite/gcc.c-torture/compile/20070605-1.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/forwprop-1.c
      - copied unchanged from r125753,
branches/pointer_plus/gcc/testsuite/gcc.dg/tree-ssa/forwprop-1.c
Removed:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/20030815-1.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/trans.c
    trunk/gcc/ada/utils.c
    trunk/gcc/ada/utils2.c
    trunk/gcc/builtins.c
    trunk/gcc/c-common.c
    trunk/gcc/c-format.c
    trunk/gcc/c-typeck.c
    trunk/gcc/config/frv/frv.c
    trunk/gcc/config/i386/i386.c
    trunk/gcc/config/ia64/ia64.c
    trunk/gcc/config/mips/mips.c
    trunk/gcc/config/pa/pa.c
    trunk/gcc/config/rs6000/rs6000.c
    trunk/gcc/config/s390/s390.c
    trunk/gcc/config/sh/sh.c
    trunk/gcc/config/sparc/sparc.c
    trunk/gcc/config/spu/spu.c
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/call.c
    trunk/gcc/cp/class.c
    trunk/gcc/cp/cp-gimplify.c
    trunk/gcc/cp/except.c
    trunk/gcc/cp/init.c
    trunk/gcc/cp/method.c
    trunk/gcc/cp/rtti.c
    trunk/gcc/cp/typeck.c
    trunk/gcc/cp/typeck2.c
    trunk/gcc/doc/c-tree.texi
    trunk/gcc/dwarf2out.c
    trunk/gcc/expr.c
    trunk/gcc/fold-const.c
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/trans-expr.c
    trunk/gcc/fortran/trans-intrinsic.c
    trunk/gcc/gimplify.c
    trunk/gcc/java/ChangeLog
    trunk/gcc/java/class.c
    trunk/gcc/java/except.c
    trunk/gcc/java/expr.c
    trunk/gcc/matrix-reorg.c
    trunk/gcc/optabs.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/max-1.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-pre-8.c
    trunk/gcc/testsuite/gcc.dg/vect/vect-106.c
    trunk/gcc/tree-affine.c
    trunk/gcc/tree-cfg.c
    trunk/gcc/tree-chrec.c
    trunk/gcc/tree-chrec.h
    trunk/gcc/tree-data-ref.c
    trunk/gcc/tree-inline.c
    trunk/gcc/tree-mudflap.c
    trunk/gcc/tree-object-size.c
    trunk/gcc/tree-predcom.c
    trunk/gcc/tree-pretty-print.c
    trunk/gcc/tree-scalar-evolution.c
    trunk/gcc/tree-ssa-address.c
    trunk/gcc/tree-ssa-ccp.c
    trunk/gcc/tree-ssa-forwprop.c
    trunk/gcc/tree-ssa-loop-ivopts.c
    trunk/gcc/tree-ssa-loop-manip.c
    trunk/gcc/tree-ssa-loop-niter.c
    trunk/gcc/tree-ssa-loop-prefetch.c
    trunk/gcc/tree-ssa-structalias.c
    trunk/gcc/tree-ssa.c
    trunk/gcc/tree-stdarg.c
    trunk/gcc/tree-tailcall.c
    trunk/gcc/tree-vect-transform.c
    trunk/gcc/tree-vrp.c
    trunk/gcc/tree.c
    trunk/gcc/tree.def
    trunk/gcc/varasm.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32144