[Bug middle-end/41812] New: test 20071030-1.c fails execution on powerpc64

[Bug middle-end/41812] New: test 20071030-1.c fails execution on powerpc64

[janis at gcc dot gnu dot org]

Test gcc.c-torture/execute/20071030-2.c has been failing execution for -m64
with option lists including -O2 and -O3 since this patch was added to trunk:

    http://gcc.gnu.org/viewcvs?view=rev&rev=149011
    r149011 | bonzini | 2009-06-27 14:50:00 +0000 (Sat, 27 Jun 2009)

That patch was added shortly before another one that broke bootstrap, as
reported in PR 40597, and this test failure was then lost in the noise.

I'll attach a shorter testcase that demonstrates the problem.


-- 
           Summary: test 20071030-1.c fails execution on powerpc64
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: janis at gcc dot gnu dot org
GCC target triplet: powerpc64-unknown-linux-gnu


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

[Bug middle-end/41812] test 20071030-1.c fails execution on powerpc64

[janis at gcc dot gnu dot org]

------- Comment #1 from janis at gcc dot gnu dot org  2009-10-23 23:50 -------
Created an attachment (id=18884)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18884&action=view)
minimized testcase

Minimized testcase.


-- 


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

[Bug middle-end/41812] test 20071030-1.c fails execution on powerpc64

[bonzini at gnu dot org]

-- 

bonzini at gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |bonzini at gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-10-24 08:42:29
               date|                            |


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

[Bug middle-end/41812] [4.5 Regression] test 20071030-1.c fails execution on powerpc64

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
            Summary|test 20071030-1.c fails     |[4.5 Regression] test
                   |execution on powerpc64      |20071030-1.c fails execution
                   |                            |on powerpc64
   Target Milestone|---                         |4.5.0


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

[Bug middle-end/41812] [4.5 Regression] test 20071030-1.c fails execution on powerpc64

[dominiq at lps dot ens dot fr]

------- Comment #2 from dominiq at lps dot ens dot fr  2009-10-24 12:12 -------
The tests fail also on powerpc-apple-darwin9 when compiled with -m64.


-- 


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

[Bug middle-end/41812] [4.5 Regression] test 20071030-1.c fails execution on powerpc64

[bonzini at gnu dot org]

------- Comment #3 from bonzini at gnu dot org  2009-10-28 12:21 -------
The patch is wrong because the result of MD is used also to process notes,
while the live registers problem does not consider a register live if it is
only used in notes.  We have:

;; lr  in        1 [1] 2 [2] 31 [31] 67 [ap] 113 [sfp] 154 180

   88 {r179:SF=float(r180:DI);clobber scratch;}
      REG_EQUAL: float(r155:DI)

Then because r155 is not live, it is not included in MD and a random definition
(0.0) is replaced in the REG_EQUAL note.

I'll revert the patch.


-- 


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

[Bug middle-end/41812] [4.5 Regression] test 20071030-1.c fails execution on powerpc64

[bonzini at gcc dot gnu dot org]

------- Comment #4 from bonzini at gnu dot org  2009-10-28 12:37 -------
Subject: Bug 41812

Author: bonzini
Date: Wed Oct 28 12:37:30 2009
New Revision: 153652

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=153652
Log:
2009-10-28  Paolo Bonzini  <bonzini@gnu.org>

        PR rtl-optimization/41812

        Revert:
        2009-06-27  Paolo Bonzini  <bonzini@gnu.org>

        * df-problems.c (df_md_scratch): New.
        (df_md_alloc, df_md_free): Allocate/free it.
        (df_md_local_compute): Only include live registers in init.
        (df_md_transfer_function): Prune the in-set computed by
        the confluence function, and the gen-set too.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/df-problems.c


-- 


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

[Bug middle-end/41812] [4.5 Regression] test 20071030-1.c fails execution on powerpc64

[bonzini at gnu dot org]

------- Comment #5 from bonzini at gnu dot org  2009-10-28 14:27 -------
fixed.


-- 

bonzini at gnu dot org changed:

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


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

[Bug middle-end/41812] [4.5 Regression] test 20071030-1.c fails execution on powerpc64

[law at gcc dot gnu dot org]

------- Comment #6 from law at gcc dot gnu dot org  2009-10-29 16:49 -------
Subject: Bug 41812

Author: law
Date: Thu Oct 29 16:48:00 2009
New Revision: 153715

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=153715
Log:
Recorded merge of revisions
153580-153581,153584,153586-153600,153604,153606,153610,153613,153615-153618,153621,153643,153646-153648,153650-153652,153654-153667,153669-153671
via svnmerge from 
svn+ssh://law@gcc.gnu.org/svn/gcc/trunk

........
  r153580 | gccadmin | 2009-10-26 18:17:26 -0600 (Mon, 26 Oct 2009) | 1 line

  Daily bump.
........
  r153581 | paolo | 2009-10-26 19:18:10 -0600 (Mon, 26 Oct 2009) | 6 lines

  2009-10-26  Paolo Carlini  <paolo.carlini@oracle.com>

        * include/std/chrono (duration<>::duration(const duration<>&)): Fix
        per the straightforward resolution of DR 974.
        * testsuite/20_util/duration/cons/dr974.cc: Add.
........
  r153584 | carrot | 2009-10-27 03:06:36 -0600 (Tue, 27 Oct 2009) | 16 lines

        * target.h (have_conditional_execution): Add a new target hook
function.
        * target-def.h (TARGET_HAVE_CONDITIONAL_EXECUTION): Likewise.
        * targhooks.h (default_have_conditional_execution): Likewise.
        * targhooks.c (default_have_conditional_execution): Likewise.
        * doc/tm.texi (TARGET_HAVE_CONDITIONAL_EXECUTION): Document it.
        * config/arm/arm.c (TARGET_HAVE_CONDITIONAL_EXECUTION): Define it.
        (arm_have_conditional_execution): New function.
        * ifcvt.c (noce_process_if_block, find_if_header,
        cond_exec_find_if_block, dead_or_predicable): Change the usage of macro
        HAVE_conditional_execution to a target hook call.
        * recog.c (peephole2_optimize): Likewise.
        * sched-rgn.c (add_branch_dependences): Likewise.
        * final.c (asm_insn_count, final_scan_insn): Likewise.
        * bb-reorder.c (HAVE_conditional_execution): Remove it.
........
  r153586 | ebotcazou | 2009-10-27 04:09:04 -0600 (Tue, 27 Oct 2009) | 1 line

  Fix nits
........
  r153587 | jakub | 2009-10-27 04:28:48 -0600 (Tue, 27 Oct 2009) | 3 lines

        PR c++/41020
        * g++.dg/lookup/extern-c-redecl5.C: Fix up regexp.
........
  r153588 | aldyh | 2009-10-27 05:18:12 -0600 (Tue, 27 Oct 2009) | 5 lines

        PR bootstrap/41451
        * fold-const.c (fold_binary_loc): Do not call
        protected_set_expr_location.
........
  r153589 | rguenth | 2009-10-27 05:30:59 -0600 (Tue, 27 Oct 2009) | 5 lines

  2009-10-27  Richard Guenther  <rguenther@suse.de>

        PR lto/41821
        * gimple.c (gimple_types_compatible_p): Handle OFFSET_TYPE.
........
  r153590 | revitale | 2009-10-27 05:46:07 -0600 (Tue, 27 Oct 2009) | 1 line

  Fix PR40648 -- Fix misaligned store vectorizer patch
........
  r153591 | charlet | 2009-10-27 07:06:06 -0600 (Tue, 27 Oct 2009) | 16 lines

  2009-10-27  Arnaud Charlet  <charlet@adacore.com>

        * exp_aggr.adb: Fix comment.

  2009-10-27  Emmanuel Briot  <briot@adacore.com>

        * prj-err.adb (Error_Msg): take into account continuation lines when
        computing whether we have a warning.

  2009-10-27  Vasiliy Fofanov  <fofanov@adacore.com>

        * make.adb, s-os_lib.adb, s-os_lib.ads (Create_Temp_Output_File): New
        routine that is designed to create temp file descriptor specifically
        for redirecting an output stream.
........
  r153592 | charlet | 2009-10-27 07:16:48 -0600 (Tue, 27 Oct 2009) | 45 lines

  2009-10-27  Vincent Celier  <celier@adacore.com>

        * makeutl.adb (Check_Source_Info_In_ALI): Do not recompile if a subunit
        from the runtime is found, except if gnatmake switch -a is used and
this
        subunit cannot be found.

  2009-10-27  Ed Schonberg  <schonberg@adacore.com>

        * gnatbind.adb (gnatbind): When the -R option is selected, list
subunits
        as well, for tools that need the complete closure of the main program.

  2009-10-27  Sergey Rybin  <rybin@adacore.com>

        * gnat_ugn.texi: Minor updates.

  2009-10-27  Emmanuel Briot  <briot@adacore.com>

        * prj-tree.adb (Free): Fix memory leak.

  2009-10-27  Vasiliy Fofanov  <fofanov@adacore.com>

        * adaint.c, s-os_lib.adb (__gnat_create_output_file_new): New function
        that ensures the file that is created is new. Use this function to make
        sure there is no race condition if several processes are creating temp
        files concurrently.

        * s-os_lib.ads: Update comment.

  2009-10-27  Thomas Quinot  <quinot@adacore.com>

        * sem_ch12.adb: Minor reformatting

  2009-10-27  Javier Miranda  <miranda@adacore.com>

        * exp_ch4.ads (Integer_Promotion_Possible): New subprogram.
        * exp_ch4.adb (Integer_Promotion_Possible): New subprogram.
        (Expand_N_Type_Conversion): Replace code that checks if the integer
        promotion of the operands is possible by a call to the new function
        Integer_Promotion_Possible. Minor reformating because an enclosing
        block is now not needed.
        * checks.adb (Apply_Arithmetic_Overflow_Check): Add missing check to
        see if the integer promotion is possible; in such case the runtime
        checks are not generated.
........
  r153593 | charlet | 2009-10-27 07:22:25 -0600 (Tue, 27 Oct 2009) | 17 lines

  2009-10-27  Thomas Quinot  <quinot@adacore.com>

        * sem_ch12.adb (Install_Formal_Packages): Do not omit installation of
        visible entities when the formal package doesn't have a box.

        * checks.adb: Minor reformatting.

  2009-10-27  Vincent Celier  <celier@adacore.com>

        * prj-part.adb (Parse): Catch exception Types.Unrecoverable_Error and
        set Project to Empty_Node.

  2009-10-27  Robert Dewar  <dewar@adacore.com>

        * gnatbind.adb: Minor reformatting
........
  r153594 | charlet | 2009-10-27 07:51:46 -0600 (Tue, 27 Oct 2009) | 18 lines

  2009-10-27  Robert Dewar  <dewar@adacore.com>

        * s-os_lib.ads, s-os_lib.adb, prj-err.adb, makeutl.adb: Minor
        reformatting.

  2009-10-27  Ed Schonberg  <schonberg@adacore.com>

        * sem.util.ads, sem_util.adb (Denotes_Same_Object,
        Denotes_Same_Prefix): New functions to detect overlap between actuals
        that are not by-copy in a call, when one of them is in-out.
        * sem_warn.ads, sem_warn.adb (Warn_On_Overlapping_Actuals): New
        procedure,  called on a subprogram call to warn when an in-out actual
        that is not by-copy overlaps with another actual, thus leadind to
        potentially dangerous aliasing in the body of the called subprogram.
        Currently the warning is under control of the -gnatX switch.
        * sem_res.adb (resolve_call): call Warn_On_Overlapping_Actuals.
........
  r153595 | charlet | 2009-10-27 08:02:58 -0600 (Tue, 27 Oct 2009) | 6 lines

  2009-10-27  Robert Dewar  <dewar@adacore.com>

        * sem_warn.adb, sem_util.adb, sem_util.ads: Minor reformatting. Add
        comments.
........
  r153596 | charlet | 2009-10-27 08:07:19 -0600 (Tue, 27 Oct 2009) | 2 lines

  Minor doc updates.
........
  r153597 | charlet | 2009-10-27 08:14:44 -0600 (Tue, 27 Oct 2009) | 6 lines

  2009-10-27  Robert Dewar  <dewar@adacore.com>

        * s-fileio.adb, s-fileio.ads, sem_util.adb, sem_warn.adb,
        sem_warn.ads: Minor reformatting
........
  r153598 | rguenth | 2009-10-27 09:16:35 -0600 (Tue, 27 Oct 2009) | 5 lines

  2009-10-27  Richard Guenther  <rguenther@suse.de>

        * tree-complex.c (expand_complex_div_wide): Check for
        INTEGER_CST, not TREE_CONSTANT on comparison folding result.
........
  r153599 | jakub | 2009-10-27 09:50:50 -0600 (Tue, 27 Oct 2009) | 6 lines

        PR c/41842
        * c-typeck.c (convert_arguments): Return -1 if any of the arguments is
        error_mark_node.

        * gcc.dg/pr41842.c: New test.
........
  r153600 | rguenth | 2009-10-27 09:52:44 -0600 (Tue, 27 Oct 2009) | 14 lines

  2009-10-27  Richard Guenther  <rguenther@suse.de>

        * tree-ssa-structalias.c (find_func_aliases): In IPA mode
        handle calls to externally visible functions like in regular mode.
        (create_variable_info_for): Do not create function infos here.
        (have_alias_info): Remove write-only variable.
        (solve_constraints): New function split out from common code
        in compute_points_to_sets and ipa_pta_execute.
        (compute_points_to_sets): Adjust.
        (ipa_pta_execute): Likewise.  Handle clones and externally visible
        functions like in non-IPA mode.

        * gcc.dg/torture/ipa-pta-1.c: Adjust testcase.
........
  r153604 | uros | 2009-10-27 11:03:47 -0600 (Tue, 27 Oct 2009) | 3 lines

        * ChangeLog: Fix formatting.
        * testsuite/ChangeLog: Ditto.
........
  r153606 | ktietz | 2009-10-27 11:14:47 -0600 (Tue, 27 Oct 2009) | 11 lines

  2009-10-27  Kai Tietz <kai.tietz@onevision.com>

          PR/41799
          * config/i386/mingw32.h (CHECK_EXECUTE_STACK_ENABLED): New macro.
          * config/i386/mingw.opt: Add fset-stack-executable.
          * config/i386/i386.c (ix86_trampoline_init): Make call to
          emit_library_call conditional, if CHECK_EXECUTE_STACK_ENABLED is
          defined and its value is not zero.
          * doc/invoke.texi
........
  r153610 | espindola | 2009-10-27 12:17:13 -0600 (Tue, 27 Oct 2009) | 7 lines

  2009-10-27  Dmitry Gorbachev  <d.g.gorbachev@gmail.com>

        PR lto/41652
        * configure.ac: Call AC_SYS_LARGEFILE before AC_OUTPUT.
        * configure: Regenerate.
........
  r153613 | ebotcazou | 2009-10-27 13:41:13 -0600 (Tue, 27 Oct 2009) | 4 lines

        * raise-gcc (db_region_for): Use _Unwind_GetIPInfo instead of
        _Unwind_GetIP if HAVE_GETIPINFO is defined.
        (db_action_for): Likewise.
........
  r153615 | rth | 2009-10-27 14:09:07 -0600 (Tue, 27 Oct 2009) | 7 lines

          PR c++/41819
          * tree-eh.c (eh_region_may_contain_throw_map): Rename from
          eh_region_may_contain_throw; update users.
          (eh_region_may_contain_throw): New function.
          (lower_catch): Check flag_exceptions before creating exception
region.
          (lower_eh_filter, lower_eh_must_not_throw): Likewise.
          (lower_cleanup): Tidy existing flag_exceptions check to match.
........
  r153616 | ebotcazou | 2009-10-27 14:24:31 -0600 (Tue, 27 Oct 2009) | 3 lines

        * gcc-interface/decl.c (purpose_member_field): New static function.
        (annotate_rep): Use it instead of purpose_member.
........
  r153617 | jason | 2009-10-27 15:58:09 -0600 (Tue, 27 Oct 2009) | 10 lines

        Allow no-capture lambdas to convert to function pointer.
        * semantics.c (maybe_add_lambda_conv_op): New.
        * parser.c (cp_parser_lambda_expression): Call it.
        (cp_parser_lambda_declarator_opt): Make op() static if
        no captures.
        * mangle.c (write_closure_type_name): Adjust.
        * semantics.c (finish_this_expr): Adjust.
        * decl.c (grok_op_properties): Allow it.
        * call.c (build_user_type_conversion_1): Handle static conversion op.
        (build_op_call): And op().
........
  r153618 | rth | 2009-10-27 17:25:54 -0600 (Tue, 27 Oct 2009) | 1 line

          * cgraphunit.c (cgraph_optimize): Maintain timevar stack properly.
........
  r153621 | gccadmin | 2009-10-27 18:16:59 -0600 (Tue, 27 Oct 2009) | 1 line

  Daily bump.
........
  r153643 | kkojima | 2009-10-27 22:22:21 -0600 (Tue, 27 Oct 2009) | 4 lines

        * config/sh/sh.md (stuff_delay_slot): Move const_int pattern
        inside the unspec vector.
........
  r153646 | bonzini | 2009-10-28 03:49:58 -0600 (Wed, 28 Oct 2009) | 6 lines

  2009-10-28  Paolo Bonzini  <bonzini@gnu.org>

        * config/sh/sh.md (cbranchfp4_media): Remove hack extending
        cstore result to DImode.
........
  r153647 | bonzini | 2009-10-28 03:54:01 -0600 (Wed, 28 Oct 2009) | 6 lines

  2009-10-28  Paolo Bonzini  <bonzini@gnu.org>

        * expmed.c (emit_store_flag): Check costs before
        transforming to the opposite representation.
........
  r153648 | singler | 2009-10-28 04:04:03 -0600 (Wed, 28 Oct 2009) | 8 lines

  2009-10-28  Johannes Singler  <singler@kit.edu>

          PR libstdc++/40852
          * include/parallel/multiseq_selection.h
          (multiseq_partition, multiseq_selection):  Avoid intermediate
          values exceeding the integer type range for very large inputs.
........
  r153650 | bonzini | 2009-10-28 04:17:29 -0600 (Wed, 28 Oct 2009) | 15 lines

  2009-10-28  Paolo Bonzini  <bonzini@gnu.org>

        PR rtl-optimization/40741
        * config/arm/arm.c (thumb1_rtx_costs): IOR or XOR with
        a small constant is cheap.
        * config/arm/arm.md (andsi3, iorsi3): Try to place the result of
        force_reg on the LHS.
        (xorsi3): Likewise, and split the XOR if the constant is complex
        and not in Thumb mode.

  2009-10-28  Paolo Bonzini  <bonzini@gnu.org>

        PR rtl-optimization/40741
        * gcc.target/arm/thumb-branch1.c: New.
........
  r153651 | bonzini | 2009-10-28 04:27:15 -0600 (Wed, 28 Oct 2009) | 13 lines

  2009-10-28  Paolo Bonzini  <bonzini@gnu.org>

        PR rtl-optimization/39715
        * combine.c (simplify_comparison): Use extensions to
        widen comparisons.  Try an ANDing first.

  testsuite:
  2009-10-28  Paolo Bonzini  <bonzini@gnu.org>

        PR rtl-optimization/39715
        * gcc.target/arm/thumb-bitfld1.c: New.
........
  r153652 | bonzini | 2009-10-28 06:37:30 -0600 (Wed, 28 Oct 2009) | 13 lines

  2009-10-28  Paolo Bonzini  <bonzini@gnu.org>

        PR rtl-optimization/41812

        Revert:
        2009-06-27  Paolo Bonzini  <bonzini@gnu.org>

        * df-problems.c (df_md_scratch): New.
        (df_md_alloc, df_md_free): Allocate/free it.
        (df_md_local_compute): Only include live registers in init.
        (df_md_transfer_function): Prune the in-set computed by
        the confluence function, and the gen-set too.
........
  r153654 | paolo | 2009-10-28 07:07:00 -0600 (Wed, 28 Oct 2009) | 6 lines

  2009-10-28  Paolo Carlini  <paolo.carlini@oracle.com>

        * include/bits/stl_iterator_base_funcs.h: (next): Change
        template parameter name consistently with the resolution
        of DR 1011 ([Ready] in Santa Cruz).
........
  r153655 | rguenth | 2009-10-28 07:28:32 -0600 (Wed, 28 Oct 2009) | 14 lines

  2009-10-28  Richard Guenther  <rguenther@suse.de>

        PR middle-end/41855
        * tree-ssa-alias.c (refs_may_alias_p_1): Deal with CONST_DECLs
        (ref_maybe_used_by_call_p_1): Fix bcopy handling.
        (call_may_clobber_ref_p_1): Likewise.
        * tree-ssa-structalias.c (find_func_aliases): Likewise.
        * alias.c (nonoverlapping_memrefs_p): Deal with CONST_DECLs.

        * gfortran.dg/lto/20091028-1_0.f90: New testcase.
        * gfortran.dg/lto/20091028-1_1.c: Likewise.
        * gfortran.dg/lto/20091028-2_0.f90: Likewise.
        * gfortran.dg/lto/20091028-2_1.c: Likewise.
........
  r153656 | charlet | 2009-10-28 07:31:51 -0600 (Wed, 28 Oct 2009) | 25 lines

  2009-10-28  Robert Dewar  <dewar@adacore.com>

        * a-ztexio.adb, a-ztexio.ads, a-witeio.ads, a-witeio.adb,
        a-textio.ads, a-textio.adb: Reorganize (moving specs from private part
        to body).
        (Initialize_Standard_Files): New procedure.
        * a-tienau.adb: Minor change to make EOF directly visible
        * a-tirsfi.ads, a-wrstfi.adb, a-wrstfi.ads, a-zrstfi.adb,
        a-zrstfi.ads, a-tirsfi.adb: New unit, initial version.
        * gnat_rm.texi: Add documentation for
        Ada.[Wide_[Wide_]]Text_IO.Reset_Standard_Files.
        * Makefile.rtl: Add entries for
        Ada.[Wide_[Wide_]]Text_IO.Reset_Standard_Files

  2009-10-28  Thomas Quinot  <quinot@adacore.com>

        * exp_ch9.ads: Minor reformatting
        * sem_ch3.adb: Minor reformatting
        * sem_aggr.adb: Minor reformatting.
        * sem_attr.adb: Minor reformatting
        * tbuild.adb, tbuild.ads, par-ch4.adb, exp_ch4.adb
(Tbuild.New_Op_Node):
        New subprogram.
        Minor code reorganization/factoring.
........
  r153657 | charlet | 2009-10-28 07:41:05 -0600 (Wed, 28 Oct 2009) | 29 lines

  2009-10-28  Thomas Quinot  <quinot@adacore.com>

        * exp_ch4.adb (Expand_N_Type_Conversion): Perform Integer promotion for
        the operand of the unary minus and ABS operators.

        * sem_type.adb (Covers): A concurrent type and its corresponding record
        type are compatible.
        * exp_attr.adb (Expand_N_Attribute_Reference): Do not rewrite a 'Access
        attribute reference for the current instance of a protected type while
        analyzing an access discriminant constraint in a component definition.
        Such a reference is handled in the corresponding record's init proc,
        while initializing the constrained component.
        * exp_ch9.adb (Expand_N_Protected_Type_Declaration): When creating the
        corresponding record type, propagate components'
        Has_Per_Object_Constraint flag.
        * exp_ch3.adb (Build_Init_Procedure.Build_Init_Statements):
        For a concurrent type, set up concurrent aspects before initializing
        components with a per object constrain, because they may be controlled,
        and their initialization may call entries or protected subprograms of
        the enclosing concurrent object.

  2009-10-28  Emmanuel Briot  <briot@adacore.com>

        * prj-nmsc.adb (Add_If_Not_In_List): New subprogram, for better sharing
        of code.
        (Find_Source_Dirs): resolve links if Opt.Follow_Links_For_Dirs when
        processing the directories specified explicitly in the project file.
........
  r153658 | charlet | 2009-10-28 07:50:10 -0600 (Wed, 28 Oct 2009) | 10 lines

  2009-10-28  Robert Dewar  <dewar@adacore.com>

        * exp_attr.adb, exp_ch9.adb, prj-nmsc.adb, tbuild.adb, ali.adb,
        types.ads: Minor reformatting

  2009-10-28  Tristan Gingold  <gingold@adacore.com>

        * init.c: Fix __gnat_error_handler for Darwin10 (Snow Leopard)
........
  r153659 | rguenth | 2009-10-28 07:52:20 -0600 (Wed, 28 Oct 2009) | 11 lines

  2009-10-28  Richard Guenther  <rguenther@suse.de>

        * tree.c (free_lang_data_in_type): Do not call get_alias_set.
        (free_lang_data): Unconditionally compute alias sets for all
        standard integer types.  Bail out if gate bailed out previously.
        Do not reset the types_compatible_p langhook.
        (gate_free_lang_data): Remove.
        (struct pass_ipa_free_lang_data): Enable unconditionally.
        * gimple.c (gimple_get_alias_set): Use the same alias-set for
        all pointer types.
........
  r153660 | charlet | 2009-10-28 08:07:16 -0600 (Wed, 28 Oct 2009) | 2 lines

        * gcc-interface/Make-lang.in: Update dependencies.
........
  r153661 | charlet | 2009-10-28 08:09:12 -0600 (Wed, 28 Oct 2009) | 22 lines

  2009-10-28  Vincent Celier  <celier@adacore.com>

        * prj-nmsc.adb (Add_To_Or_Remove_From_List): New name of procedure
        Add_If_Not_In_List to account to the fact that a directory may be
        removed from the list. Only remove directory if Removed is True.

  2009-10-28  Gary Dismukes  <dismukes@adacore.com>

        * a-textio.ads, a-textio.ads: Put back function EOF_Char in private
        part. Put back body of function EOF_Char.
        * a-tienau.adb: Remove with of Interfaces.C_Streams and change EOF back
        to EOF_Char.

  2009-10-28  Emmanuel Briot  <briot@adacore.com>

        * prj-tree.adb (Free): Fix memory leak.

  2009-10-28  Thomas Quinot  <quinot@adacore.com>

        * s-fileio.adb: Minor reformatting
........
  r153662 | charlet | 2009-10-28 08:14:05 -0600 (Wed, 28 Oct 2009) | 9 lines

  2009-10-28  Thomas Quinot  <quinot@adacore.com>

        * s-crtl.ads (System.CRTL.strerror): New function.

  2009-10-28  Ed Schonberg  <schonberg@adacore.com>

        * sem_type.adb: Add guard to recover some type errors.
........
  r153663 | charlet | 2009-10-28 08:22:09 -0600 (Wed, 28 Oct 2009) | 12 lines

  2009-10-28  Bob Duff  <duff@adacore.com>

        * s-fileio.adb: Give more information in exception messages.

  2009-10-28  Robert Dewar  <dewar@adacore.com>

        * gnat_ugn.texi: Document new -gnatyt requirement for space after right
        paren if next token starts with digit or letter.
        * styleg.adb (Check_Right_Paren): New rule for space after if next
        character is a letter or digit.
........
  r153664 | rguenth | 2009-10-28 08:33:17 -0600 (Wed, 28 Oct 2009) | 4 lines

  2009-10-28  Richard Guenther  <rguenther@suse.de>

          * gimple.c (gimple_get_alias_set): Fix comment typo.
........
  r153665 | jakub | 2009-10-28 08:36:28 -0600 (Wed, 28 Oct 2009) | 3 lines

        * var-tracking.c (emit_note_insn_var_location): Get the mode of
        a variable part from its REG, MEM or VALUE.
........
  r153666 | jakub | 2009-10-28 08:37:24 -0600 (Wed, 28 Oct 2009) | 4 lines

        * var-tracking.c (emit_note_insn_var_location): Don't call the second
        vt_expand_loc unnecessarily when location is not a register nor
        memory.
........
  r153667 | jakub | 2009-10-28 08:39:06 -0600 (Wed, 28 Oct 2009) | 6 lines

        PR target/41762
        * config/i386/i386.c (ix86_pic_register_p): Don't call
        rtx_equal_for_cselib_p for VALUEs discarded as useless.

        * gcc.dg/pr41762.c: New test.
........
  r153669 | jakub | 2009-10-28 08:43:04 -0600 (Wed, 28 Oct 2009) | 6 lines

        PR debug/41801
        * builtins.c (get_builtin_sync_mem): Expand loc in ptr_mode,
        call convert_memory_address on addr.

        * g++.dg/ext/sync-3.C: New test.
........
  r153670 | jakub | 2009-10-28 08:45:03 -0600 (Wed, 28 Oct 2009) | 6 lines

        PR middle-end/41837
        * ipa-struct-reorg.c (find_field_in_struct_1): Return NULL if
        fields don't have DECL_NAME.

        * gcc.dg/pr41837.c: New test.
........
  r153671 | rguenth | 2009-10-28 08:48:34 -0600 (Wed, 28 Oct 2009) | 15 lines

  2009-10-28  Richard Guenther  <rguenther@suse.de>

        PR lto/41808
        PR lto/41839
        * tree-ssa.c (useless_type_conversion_p): Do not treat
        conversions to pointers to incomplete types as useless.
        * gimple.c (gimple_types_compatible_p): Compare struct tags,
        not typedef names.

        * gcc.dg/lto/20091027-1_0.c: New testcase.
        * gcc.dg/lto/20091027-1_1.c: Likewise.
        * g++.dg/lto/20091026-1_0.C: Likewise.
        * g++.dg/lto/20091026-1_1.C: Likewise.
        * g++.dg/lto/20091026-1_a.h: Likewise.
........

Modified:
    branches/reload-v2a/   (props changed)

Propchange: branches/reload-v2a/
            ('svnmerge-integrated' modified)


-- 


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

[Bug rtl-optimization/41812] [4.5 Regression] test 20071030-1.c fails execution on powerpc64

[bonzini at gcc dot gnu dot org]

------- Comment #7 from bonzini at gnu dot org  2009-11-30 07:35 -------
Subject: Bug 41812

Author: bonzini
Date: Mon Nov 30 07:34:55 2009
New Revision: 154753

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=154753
Log:
2009-11-30  Paolo Bonzini  <bonzini@gnu.org>

        PR rtl-optimization/41812
        * fwprop.c (local_md, local_lr): New globals.
        (process_defs, process_uses): Remove local_md argument.  Never
        consider dead pseudos to have singleton def-use chains.
        (single_def_use_enter_block): Perform LR simulation.
        (build_single_def_use_links): Remove local_md local variable.
        Add DF_NOTE.  Allocate local_lr.
        (fwprop_done): Do not remove DF_CHAIN, we do not use it anymore.
        * df-problems.c (df_md_scratch): New.
        (df_md_alloc, df_md_free): Allocate/free it.
        (df_md_local_compute): Only include live registers in init.
        (df_md_transfer_function): Prune the in-set computed by
        the confluence function, and the gen-set too.
        (df_simulate_one_insn_forwards): Fix typo.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/df-problems.c
    trunk/gcc/fwprop.c


-- 


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