gcc.git
12 years agocompiler, reflect: Handle package path like gc compiler.
Ian Lance Taylor [Tue, 12 Jun 2012 20:33:22 +0000 (20:33 +0000)]
compiler, reflect: Handle package path like gc compiler.

From-SVN: r188482

12 years agostackalign.exp: Combine stack alignment torture options with usual torture options.
Janis Johnson [Tue, 12 Jun 2012 20:27:49 +0000 (20:27 +0000)]
stackalign.exp: Combine stack alignment torture options with usual torture options.

* gcc.dg/torture/stackalign/stackalign.exp: Combine stack
alignment torture options with usual torture options.
* gcc.dg/torture/stackalign/alloca-2.c: Use dg-additional-options
instead of dg-options.
* gcc.dg/torture/stackalign/alloca-3.c: Likewise.
* gcc.dg/torture/stackalign/alloca-4.c: Likewise.
* gcc.dg/torture/stackalign/alloca-5.c: Likewise.
* gcc.dg/torture/stackalign/alloca-6.c: Likewise.
* gcc.dg/torture/stackalign/push-1.c: Likewise.
* gcc.dg/torture/stackalign/vararg-3.c: Likewise.

From-SVN: r188481

12 years agodi-longlong64-sync-withhelpers.c: Add comments to checks for multiple messages report...
Janis Johnson [Tue, 12 Jun 2012 20:27:13 +0000 (20:27 +0000)]
di-longlong64-sync-withhelpers.c: Add comments to checks for multiple messages reported for one line of source code.

* gcc.target/arm/di-longlong64-sync-withhelpers.c: Add comments
to checks for multiple messages reported for one line of source code.
* gcc.target/arm/di-longlong64-sync-withldrexd.c: Likewise.

From-SVN: r188480

12 years agosync-1.c: Add comments to checks for multiple messages reported for one line of sourc...
Janis Johnson [Tue, 12 Jun 2012 20:25:48 +0000 (20:25 +0000)]
sync-1.c: Add comments to checks for multiple messages reported for one line of source code.

* gcc.c-torture/compile/sync-1.c: Add comments to checks for multiple
messages reported for one line of source code.

From-SVN: r188479

12 years ago20031223-1.c: Add comments to check for multiple messages reported for one line of...
Janis Johnson [Tue, 12 Jun 2012 20:25:16 +0000 (20:25 +0000)]
20031223-1.c: Add comments to check for multiple messages reported for one line of source code.

* gcc.dg/20031223-1.c: Add comments to check for multiple
messages reported for one line of source code.
* gcc.dg/Wconversion-integer.c: Likewise.
* gcc.dg/Wfatal-2.c: Likewise.
* gcc.dg/Wfatal.c: Likewise.
* gcc.dg/Wobjsize-1.c: Likewise.
* gcc.dg/c99-vla-jump-1.c: Likewise.
* gcc.dg/c99-vla-jump-2.c: Likewise.
* gcc.dg/c99-vla-jump-3.c: Likewise.
* gcc.dg/c99-vla-jump-4.c: Likewise.
* gcc.dg/c99-vla-jump-5.c: Likewise.
* gcc.dg/decl-9.c: Likewise.
* gcc.dg/declspec-10.c: Likewise.
* gcc.dg/declspec-18.c: Likewise.
* gcc.dg/mtune.c: Likewise.
* gcc.dg/parser-pr28152-2.c: Likewise.
* gcc.dg/parser-pr28152.c: Likewise.
* gcc.dg/pr14475.c: Likewise.
* gcc.dg/pr27953.c: Likewise.
* gcc.dg/pr28322-3.c: Likewise.
* gcc.dg/pr30457.c: Likewise.
* gcc.dg/pr30551-2.c: Likewise.
* gcc.dg/pr30551-3.c: Likewise.
* gcc.dg/pr30551-4.c: Likewise.
* gcc.dg/pr30551-5.c: Likewise.
* gcc.dg/pr30551-6.c: Likewise.
* gcc.dg/pr30551.c: Likewise.
* gcc.dg/pr45461.c: Likewise.
* gcc.dg/pr48552-1.c: Likewise.
* gcc.dg/pr48552-2.c: Likewise.
* gcc.dg/redecl-1.c: Likewise.
* gcc.dg/transparent-union-3.c: Likewise.
* gcc.dg/utf-dflt.c: Likewise.
* gcc.dg/utf-dflt2.c: Likewise.
* gcc.dg/vla-8.c: Likewise.
* gcc.dg/vla-init-1.c: Likewise.
* gcc.dg/wtr-int-type-1.c: Likewise.

From-SVN: r188478

12 years agoraw-string-3.c: Add comments to checks for multiple messages reported for for one...
Janis Johnson [Tue, 12 Jun 2012 20:24:28 +0000 (20:24 +0000)]
raw-string-3.c: Add comments to checks for multiple messages reported for for one line of...

* c-c++-common/raw-string-3.c: Add comments to checks for multiple
messages reported for for one line of source code.
* c-c++-common/raw-string-5.c: Likewise.
* c-c++-common/raw-string-4.c: Likewise.
* c-c++-common/raw-string-6.c: Likewise.
* c-c++-common/pr20000.c: Likewise.

From-SVN: r188477

12 years agoinclude2a.c: Add comments to checks for multiple messages reported for one line of...
Janis Johnson [Tue, 12 Jun 2012 20:23:36 +0000 (20:23 +0000)]
include2a.c: Add comments to checks for multiple messages reported for one line of source code.

* gcc.dg/cpp/include2a.c: Add comments to checks for multiple
messages reported for one line of source code.
* gcc.dg/cpp/pr30786.c: Likewise.
* gcc.dg/cpp/pr28709.c: Likewise.
* gcc.dg/cpp/missing-header-MD.c: Likewise.
* gcc.dg/cpp/macspace2.c: Likewise.
* gcc.dg/cpp/missing-header-1.c: Likewise.
* gcc.dg/cpp/missing-header-MMD.c: Likewise.
* gcc.dg/cpp/missing-sysheader-MD.c: Likewise.
* gcc.dg/cpp/missing-sysheader-MMD.c: Likewise.

From-SVN: r188476

12 years agosync.md (fetchop_name): Change ior attribute to "or".
Uros Bizjak [Tue, 12 Jun 2012 19:02:09 +0000 (21:02 +0200)]
sync.md (fetchop_name): Change ior attribute to "or".

* config/ia64/sync.md (fetchop_name): Change ior attribute to "or".

From-SVN: r188475

12 years agopt.c (tsubst_expr): Instantiate local class.
Jason Merrill [Tue, 12 Jun 2012 18:32:13 +0000 (14:32 -0400)]
pt.c (tsubst_expr): Instantiate local class.

* pt.c (tsubst_expr) [TAG_DEFN]: Instantiate local class.
* class.c (finish_struct): Don't add a TAG_DEFN for a lambda.
* decl2.c (finish_static_data_member_decl): Avoid redundant error.

From-SVN: r188474

12 years agore PR c++/53599 (gcc-4.7.1_rc20120606 segfaults compiling boost.karma)
Jason Merrill [Tue, 12 Jun 2012 18:32:04 +0000 (14:32 -0400)]
re PR c++/53599 (gcc-4.7.1_rc20120606 segfaults compiling boost.karma)

PR c++/53599
* name-lookup.c (pushtag_1): Add a DECL_EXPR for a local class.
* semantics.c (finish_cond): Build a COMPOUND_EXPR.
* pt.c (tsubst_expr) [COMPOUND_EXPR]: Handle.
[DECL_EXPR]: Don't call cp_finish_decl for an implicit typedef.
Don't return the decl.

From-SVN: r188473

12 years agoutf8
Jason Merrill [Tue, 12 Jun 2012 18:31:54 +0000 (14:31 -0400)]
utf8

From-SVN: r188472

12 years agore PR target/53511 (SH Target: Add support for fma patterns)
Oleg Endo [Tue, 12 Jun 2012 18:25:40 +0000 (18:25 +0000)]
re PR target/53511 (SH Target: Add support for fma patterns)

PR target/53511
* gcc.target/sh/pr51340-1.c: Delete obsolete test case.
* gcc.target/sh/pr51340-2.c: Likewise.
* gcc.target/sh/pr51340-3.c: Likewise.

From-SVN: r188471

12 years agosync.md (atomic_load, [...]): Use INT1 mode iterator instead of INT.
Richard Henderson [Tue, 12 Jun 2012 15:38:21 +0000 (08:38 -0700)]
sync.md (atomic_load, [...]): Use INT1 mode iterator instead of INT.

        * config/rs6000/sync.md (atomic_load, atomic_store): Use INT1 mode
        iterator instead of INT.

From-SVN: r188463

12 years agoMove Ada specific ChangeLog entry to Ada specific ChangeLog file.
Olivier Hainque [Tue, 12 Jun 2012 15:09:11 +0000 (15:09 +0000)]
Move Ada specific ChangeLog entry to Ada specific ChangeLog file.

From-SVN: r188461

12 years agoopts.c: Add -fhoist-adjacent-loads to -O2 and above.
Bill Schmidt [Tue, 12 Jun 2012 13:38:16 +0000 (13:38 +0000)]
opts.c: Add -fhoist-adjacent-loads to -O2 and above.

2012-06-12  Bill Schmidt  <wschmidt@linux.ibm.com>

* opts.c: Add -fhoist-adjacent-loads to -O2 and above.
* tree-ssa-phiopt.c (tree_ssa_phiopt_worker): Add argument to forward
declaration.
(hoist_adjacent_loads, gate_hoist_loads): New forward declarations.
(tree_ssa_phiopt): Call gate_hoist_loads.
(tree_ssa_cs_elim): Add parm to tree_ssa_phiopt_worker call.
(tree_ssa_phiopt_worker): Add do_hoist_loads to formal arg list; call
hoist_adjacent_loads.
(local_mem_dependence): New function.
(hoist_adjacent_loads): Likewise.
(gate_hoist_loads): Likewise.
* common.opt (fhoist-adjacent-loads): New switch.
* Makefile.in (tree-ssa-phiopt.o): Added dependencies.

From-SVN: r188457

12 years ago[multiple changes]
Arnaud Charlet [Tue, 12 Jun 2012 13:16:38 +0000 (15:16 +0200)]
[multiple changes]

2012-06-12  Robert Dewar  <dewar@adacore.com>

        * gcc-interface/Make-lang.in: Update dependencies.
* sem_ch9.ads, einfo.adb, einfo.ads, sem_prag.adb, freeze.adb,
sem_util.adb, sem_ch13.adb, sem_ch13.ads, exp_ch3.adb: Add comments.
Minor reformatting.

2012-06-12  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Instantiate_Formal_Subprogram): Remove code that
implements AI05-0296, because the actual may be overloaded.
* sem_ch8.adb (Analyze_Subprogram_Renaming): and move it here,
to be applied once the actual subprogram is properly resolved.

From-SVN: r188456

12 years ago[multiple changes]
Arnaud Charlet [Tue, 12 Jun 2012 13:01:22 +0000 (15:01 +0200)]
[multiple changes]

2012-06-12  Robert Dewar  <dewar@adacore.com>

* switch-c.adb, a-exexpr-gcc.adb: Minor reformatting.

2012-06-12  Vincent Pucci  <pucci@adacore.com>

* checks.adb (Tag_Checks_Suppressed): Remove Kill_Tag_Checks check.
* einfo.adb (Universal_Aliasing): Apply to the implementation
base type instead of the base type.
(Get_Rep_Item_For_Entity):
Return a pragma if the pragma node is not present in the Rep
Item chain of the parent.
(Kill_Tag_Checks): Removed (unused flag).
(Set_Kill_Tag_Checks): Removed.
(Get_First_Rep_Item): New routine.
(Get_Rep_Pragma_For_Entity): New routine.
(Has_Rep_Item): New routine.
(Has_Rep_Pragma_For_Entity): New routine.
(Present_In_Rep_Item): New routine.
* einfo.ads (Kill_Tag_Checks): Removed.
(Set_Kill_Tag_Checks): Removed.
(Get_First_Rep_Item): New routine.
(Get_Rep_Pragma_For_Entity): New routine.
(Has_Rep_Item): New routine.
(Has_Rep_Pragma_For_Entity): New routine.
(Present_In_Rep_Item): New routine.
* exp_attr.adb, sem_attr.adb: Attribute_CPU,
Attribute_Dispatching_Domain and Attribute_Interrupt_Priority
case added.
* exp_ch13.adb (Expand_N_Attribute_Definition_Clause): For
attribute Storage_Size, insert the new assignement statement
after the Size variable declaration.
* exp_ch3.adb (Build_Init_Statements): Fill the CPU,
Dispatching_Domain, Priority and Size components with the Rep
Item expression (if any).
* exp_ch9.adb (Expand_N_Task_Type_Declaration): _CPU,
_Priority, _Domain fields are always present in the
corresponding record type.
(Find_Task_Or_Protected_Pragma): Removed.
(Get_Relative_Deadline_Pragma): New routine.
(Make_Initialize_Protection): Find_Task_Or_Protected_Pragma removed.
(Make_Task_Create_Call): Check CPU, Size or
Dispatching_Domain Rep Item is present using new routine Has_Rep_Item.
* freeze.adb (Freeze_All): Push_Scope_And_Install_Discriminants
and Uninstall_Discriminants_And_Pop_Scope calls added.
(Freeze_Entity): Evaluate_Aspects_At_Freeze_Point call added.
* sem_aux.adb (Nearest_Ancestor): Retrieve the nearest ancestor
for private derived types.
* sem_ch13.adb (Analyze_Aspect_Specifications): Clean-up
and reordering. Delay analysis for all aspects (except some
peculiar cases).
(Analyze_Attribute_Definition_Clause):
Attribute_CPU, Attribute_Dispatching_Domain,
Interrupt_Priority and Attribute_Priority cases added.
(Analyze_Freeze_Entity): Push_Scope_And_Install_Discriminants
and Uninstall_Discriminants_And_Pop_Scope calls added.
(Check_Aspect_At_Freeze_Point): Reordering and clean-up.
(Duplicate_Clause): Issue an explicit error msg when the current
clause duplicates an aspect specification, an attribute definition
clause or a pragma.
(Evaluate_Aspects_At_Freeze_Point): New routine.
* sem_ch13.ads (Evaluate_Aspects_At_Freeze_Point): New routine.
* sem_ch9.adb, sem_ch9.ads (Install_Discriminants): New routine.
(Push_Scope_And_Install_Discriminants): New routine.
(Uninstall_Discriminants): New routine.
(Uninstall_Discriminants_And_Pop_Scope): New routine.
* sem_prag.adb (Check_Duplicate_Pragma): Issue an explicit error
msg when the current pragma duplicates an aspect specification,
an attribute definition clause or a pragma.
(Analyze_Pragma): Remove use of flags Has_Pragma_CPU,
Has_Pragma_Priority and Has_Pragma_Dispatching_Domain.
* sem_util.adb (Compile_Time_Constraint_Error): Don't complain
about the type if the corresponding concurrent type doesn't come
from source.
* sinfo.adb, sinfo.ads (Has_Pragma_CPU): Removed.
(Has_Pragma_Dispatching_Domain): Removed.
(Has_Pragma_Priority): Removed.
(Has_Task_Info_Pragma): Removed.
(Has_Task_Name_Pragma): Removed.
(Set_Has_Pragma_CPU): Removed.
(Set_Has_Pragma_Dispatching_Domain): Removed.
(Set_Has_Pragma_Priority): Removed.
(Set_Has_Task_Info_Pragma): Removed.
(Set_Has_Task_Name_Pragma): Removed.
* snames.adb-tmpl (Get_Pragma_Id): Pragma_CPU,
Pragma_Dispatching_Domain and Pragma_Interrupt_Priority added.
(Is_Pragma_Name): Name_CPU, Name_Dispatching_Domain and
Name_Interrupt_Priority added.
* snames.ads-tmpl: Name_Dispatching_Domain, Name_CPU
and Name_Interrupt_Priority moved to the list of
Attribute_Name. Attribute_CPU, Attribute_Dispatching_Domain and
Attribute_Interrupt_Priority added.  Pragma_Dispatching_Domain,
Pragma_CPU and Pragma_Interrupt_Priority moved to the end of
the Pragma_Name list.

From-SVN: r188455

12 years ago[multiple changes]
Arnaud Charlet [Tue, 12 Jun 2012 12:32:29 +0000 (14:32 +0200)]
[multiple changes]

2012-06-12  Arnaud Charlet  <charlet@adacore.com>

* xref_lib.adb (Get_Full_Type): Add support for 'G'.

2012-06-12  Tristan Gingold  <gingold@adacore.com>

* a-exexpr-gcc.adb (Unwind_Exception): Add 4 more private fields.

2012-06-12  Fedor Rybin  <frybin@adacore.com>

* gnat_ugn.texi: Update doc on gnattest.

2012-06-12  Robert Dewar  <dewar@adacore.com>

* sem_ch12.adb: Add comments.

From-SVN: r188453

12 years agoswitch-c.adb, [...]: Minor reformatting.
Robert Dewar [Tue, 12 Jun 2012 12:19:14 +0000 (12:19 +0000)]
switch-c.adb, [...]: Minor reformatting.

2012-06-12  Robert Dewar  <dewar@adacore.com>

* switch-c.adb, inline.adb, usage.adb, opt.ads: Minor reformatting.

From-SVN: r188452

12 years ago[multiple changes]
Arnaud Charlet [Tue, 12 Jun 2012 12:11:50 +0000 (14:11 +0200)]
[multiple changes]

2012-06-12  Robert Dewar  <dewar@adacore.com>

* sem_ch12.adb: Minor reformatting.

2012-06-12  Eric Botcazou  <ebotcazou@adacore.com>

* opt.ads (Inline_Level): New variable.
* gnat1drv.adb (Adjust_Global_Switches): Set it based on optimization
level if it has not been set by the user.
* switch-c.adb (Scan_Front_End_Switches): Accept -gnatn1 and -gnatn2
and set Inline_Level accordingly.
* inline.adb (Add_Inlined_Body): Declate new Inline_Level_Type type.
(Must_Inline): Return Inline_Level_T instead of Boolean to indicate
whether the package of the inlined subprogram must be compiled.
If Inline_Level is set to 1, only compile packages of subprograms
directly called from the main unit.
* usage.adb (Usage): Adjust line for -gnatn switch.
* gnat_ugn.texi (Switches for gcc): Document -gnatn1 and -gnatn2.

From-SVN: r188451

12 years agosem_ch12.adb (Instantiate_Formal_Subprogram): Do not apply AI05-296 if the actual...
Ed Schonberg [Tue, 12 Jun 2012 12:07:11 +0000 (12:07 +0000)]
sem_ch12.adb (Instantiate_Formal_Subprogram): Do not apply AI05-296 if the actual is overloaded.

2012-06-12  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Instantiate_Formal_Subprogram): Do not apply
AI05-296 if the actual is overloaded. In this case The rule must
be applied after resolution, in Analyze_Subprogram_Renaming.

From-SVN: r188450

12 years ago[multiple changes]
Arnaud Charlet [Tue, 12 Jun 2012 11:59:32 +0000 (13:59 +0200)]
[multiple changes]

2012-06-12  Robert Dewar  <dewar@adacore.com>

* stringt.adb: Minor reformatting.

2012-06-12  Robert Dewar  <dewar@adacore.com>

* ali-util.adb, stringt.ads: Minor reformatting.

2012-06-12  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch7.adb (Process_Declarations): Handle the case where
the original context has been wrapped in a block to avoid
interference between exception handlers and At_End handlers.
(Wrap_HSS_In_Block): Mark the block which contains the original
statements of the context as being a finalization wrapper.
* sinfo.adb (Is_Finalization_Wrapper): New routine.
(Set_Is_Finalization_Wrapper): New routine.

* sinfo.ads: Add new attribute Is_Finalization_Wrapper applicable
to block statemnts.
(Is_Finalization_Wrapper): New routine with corresponding pragma Inline.
(Set_Is_Finalization_Wrapper): New routine with corresponding pragma
Inline.

2012-06-12  Steve Baird  <baird@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): No longer need to set
Exception_Extra_Info in CodePeer_Mode.

From-SVN: r188449

12 years agoalias.c (nonoverlapping_component_refs_p): Take two rtx arguments.
Michael Matz [Tue, 12 Jun 2012 11:52:41 +0000 (11:52 +0000)]
alias.c (nonoverlapping_component_refs_p): Take two rtx arguments.

* alias.c (nonoverlapping_component_refs_p): Take two rtx arguments.
(nonoverlapping_memrefs_p): Don't call it here ...
(true_dependence_1): ... but here.

testsuite/
* gcc.dg/torture/alias-1.c: New test.

From-SVN: r188448

12 years ago[multiple changes]
Arnaud Charlet [Tue, 12 Jun 2012 11:09:10 +0000 (13:09 +0200)]
[multiple changes]

2012-06-12  Robert Dewar  <dewar@adacore.com>

* sem_dist.adb, exp_ch7.adb, sem_type.adb, exp_attr.adb,
sinfo.ads, sem_ch7.adb, exp_alfa.adb, sem_scil.adb, sem_ch12.adb,
sem_util.adb, sem_res.adb, sem_attr.adb, sem_elab.adb, exp_ch6.adb,
sem_ch4.adb, sem_warn.adb, scil_ll.adb, exp_cg.adb: Minor code
reorganization.

2012-06-12  Eric Botcazou  <ebotcazou@adacore.com>

* s-tasini.ads: Minor fix in comment.

2012-06-12  Thomas Quinot  <quinot@adacore.com>

* freeze.adb (Freeze_Record_Type): Warn on record with
Scalar_Storage_Order if there is no placed component.

2012-06-12  Thomas Quinot  <quinot@adacore.com>

* sem_ch3.adb: Minor comment fix.

2012-06-12  Vincent Celier  <celier@adacore.com>

* ali-util.adb (Time_Stamp_Mismatch): In minimal recompilation
mode, use Stringt Mark and Release to avoid growing the Stringt
internal tables uselessly.
* stringt.adb (Strings_Last): New global variable
(String_Chars_Last): New global variable.
(Mark, Release): New procedures.
* stringt.ads (Mark, Release) New procedures.

From-SVN: r188445

12 years ago[multiple changes]
Arnaud Charlet [Tue, 12 Jun 2012 11:02:08 +0000 (13:02 +0200)]
[multiple changes]

2012-06-12  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch7.adb (Process_Transient_Objects): Renamed constant
Requires_Hooking to Must_Hook and replace all occurrences of the name.
(Requires_Hooking): New routine. Detect all contexts that require
transient variable export to the outer finalizer due to a potential
exception.

2012-06-12  Eric Botcazou  <ebotcazou@adacore.com>

* einfo.ads: Minor correction in comment.

From-SVN: r188444

12 years ago[multiple changes]
Arnaud Charlet [Tue, 12 Jun 2012 10:36:09 +0000 (12:36 +0200)]
[multiple changes]

2012-06-12  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb: Small adjustment.

2012-06-12  Vincent Celier  <celier@adacore.com>

* vms_cmds.ads (Command_Type): New enumeration value Test
* vms_conv.adb (Initialize): Add component at index Test in
Command_List
* vms_data.ads (Test_Switches): New global variable for the
switches of gnattest, currently empty.

From-SVN: r188443

12 years agosem_ch3.adb (Analyze_Subtype_Declaration): if an incomplete type is tagged, so is...
Ed Schonberg [Tue, 12 Jun 2012 10:34:33 +0000 (10:34 +0000)]
sem_ch3.adb (Analyze_Subtype_Declaration): if an incomplete type is tagged, so is a subtype of it.

2012-06-12  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Analyze_Subtype_Declaration): if an incomplete
type is tagged, so is a subtype of it.
* sem_ch12.adb (Validate_Actual_Subprogram): implement AI05-0296,
concerning freeze rules in the presence of formal incomplete
types: a formal abstract subprogram cannot have an incomplete
controlling type, and the profile of the actual subprogram does
not freeze if it includes an incomplete untagged type.

From-SVN: r188442

12 years ago[multiple changes]
Arnaud Charlet [Tue, 12 Jun 2012 10:33:06 +0000 (12:33 +0200)]
[multiple changes]

2012-06-12  Robert Dewar  <dewar@adacore.com>

* a-direct.adb: Minor reformatting.

2012-06-12  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Add missing documentation for -gnatw.v and
-gnatw.V.

2012-06-12  Thomas Quinot  <quinot@adacore.com>

* sem_ch7.adb, sem_prag.adb, sem_ch12.adb, sem_ch4.adb,
sem_ch13.adb: Minor rewording of error messages for unchecked unions.

From-SVN: r188441

12 years ago[multiple changes]
Arnaud Charlet [Tue, 12 Jun 2012 10:16:11 +0000 (12:16 +0200)]
[multiple changes]

2012-06-12  Robert Dewar  <dewar@adacore.com>

* lib-xref.ads: Minor reformatting.

2012-06-12  Pascal Obry  <obry@adacore.com>

* a-direct.adb (Delete_File): Delete symbolic links silently
instead of raising the Name_Error exception when the symbolic
link is pointing to a non existent file.

From-SVN: r188440

12 years ago[multiple changes]
Arnaud Charlet [Tue, 12 Jun 2012 10:14:44 +0000 (12:14 +0200)]
[multiple changes]

2012-06-12  Robert Dewar  <dewar@adacore.com>

* xref_lib.adb, sem_ch13.adb, lib-xref.adb: Minor reformatting.

2012-06-12  Javier Miranda  <miranda@adacore.com>

* lib-xref.ads Adding missing documentation.

From-SVN: r188439

12 years ago[multiple changes]
Arnaud Charlet [Tue, 12 Jun 2012 10:12:40 +0000 (12:12 +0200)]
[multiple changes]

2012-06-12  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch7.adb (Create_Finalizer): Add the
exception reraise mechanism at the very end of the finalizer
statements. This placement ensures that all objects are finalized,
the secondary stack mark released and aborts undeferred before
propagating an exception.

2012-06-12  Ed Schonberg  <schonberg@adacore.com>

* sem_ch10.adb (Remove_Unit_From_Visibility): if the unit is a
wrapper package. remove from visibility the original subprogram
instance.

2012-06-12  Javier Miranda  <miranda@adacore.com>

* sem_prag.adb (Process_Convention): Generate reference to entity
exported to foreign language. Needed for GPS navigation.
* xref_lib.adb (Parse_Identifier_Info): Parse exported entities.
* lib-xref (Output_References): Output exported entities.

2012-06-12  Pascal Obry  <obry@adacore.com>

* prj-attr.adb: Add install package and corresponding attributes.
* snames.ads-tmpl (Name_Active): New constant.
(Name_Exec_Subdir): Likewise.
(Name_Install): Likewise.
(Name_Lib_Subdir): Likewise.
(Name_Project_Subdir): Likewise.
(Name_Sources_Subdir): Likewise.

2012-06-12  Bob Duff  <duff@adacore.com>

* sem_res.adb (Check_Infinite_Recursion):
Suppress spurious warning on recursion after "raise with ...".

From-SVN: r188438

12 years agosem_prag.adb (Analyze_Pragma, [...]): Do not crash on illegal unchecked union that...
Thomas Quinot [Tue, 12 Jun 2012 10:07:29 +0000 (10:07 +0000)]
sem_prag.adb (Analyze_Pragma, [...]): Do not crash on illegal unchecked union that is a null record.

2012-06-12  Thomas Quinot  <quinot@adacore.com>

* sem_prag.adb (Analyze_Pragma, case Unchecked_Union): Do
not crash on illegal unchecked union that is a null record.

2012-06-12  Thomas Quinot  <quinot@adacore.com>

* exp_ch4.adb (Has_Inferable_Discriminants): Reorganize code to
treat implicit dereferences with a constrained unchecked union
nominal subtype as having inferable discriminants.

From-SVN: r188437

12 years ago[multiple changes]
Arnaud Charlet [Tue, 12 Jun 2012 10:05:20 +0000 (12:05 +0200)]
[multiple changes]

2012-06-12  Robert Dewar  <dewar@adacore.com>

* sem_ch6.adb: Minor reformatting.

2012-06-12  Eric Botcazou  <ebotcazou@adacore.com>

* gnat_ugn.texi: Couple of minor corrections.

2012-06-12  Thomas Quinot  <quinot@adacore.com>

* sem_prag.adb (Check_Variant): An empty component list is not
illegal in an unchecked union variant.

From-SVN: r188436

12 years ago[multiple changes]
Arnaud Charlet [Tue, 12 Jun 2012 10:03:26 +0000 (12:03 +0200)]
[multiple changes]

2012-06-12  Gary Dismukes  <dismukes@adacore.com>

* projects.texi: Remove comments.

2012-06-12  Thomas Quinot  <quinot@adacore.com>

* back_end.adb (Scan_Back_End_Switches): Treat -fdump-scos as
synonym of -gnateS.
(gnat_post_options): Disable gimple-based SCO generator.
* gnat_ugn.texi: Document that -gnateS is an obsolete synonym
of -fdump-scos.

2012-06-12  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Different_Generic_Profile): new predicate for
Find_Corresponding_Spec, to handle a rare case of accidental
overloading in an instance, when the profile of a subprogram body
that depends on a formal type becomes compatible with that of
a homonym whose profile in the generic mentions the actual type.

2012-06-12  Thomas Quinot  <quinot@adacore.com>

* gnat1drv.adb: Minor reformatting.

From-SVN: r188435

12 years ago[multiple changes]
Arnaud Charlet [Tue, 12 Jun 2012 09:56:58 +0000 (11:56 +0200)]
[multiple changes]

2012-06-12  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Build_Explicit_Dereference): If the expression
is an entity, ensure that the type of the expression is the same
as that of the entity.

2012-06-12  Pat Rogers  <rogers@adacore.com>

* projects.texi: Corrected instances of the word "build" that
should be "built" instead. Other similar changes and minor
punctuation changes.

From-SVN: r188434

12 years ago[multiple changes]
Arnaud Charlet [Tue, 12 Jun 2012 09:01:03 +0000 (11:01 +0200)]
[multiple changes]

2012-06-12  Eric Botcazou  <ebotcazou@adacore.com>

* sem_util.adb (Is_Atomic_Object): Return true for an atomic
component as well as a prefix which is an atomic component.

2012-06-12  Ed Schonberg  <schonberg@adacore.com>

* exp_prag.adb (Expand_Pragma_Import_Or_Interface): revert previous
patch. The processing of interfacing aspects now generates a
proper Ada 2005 pragma.
* sem_prag.adb (Analyze_Pragma, cases Pragma_Export and
Pragma_Import): revert previous patch. The processing of
interfacing aspects now generates a proper Ada 2005 pragma.
* sem_ch13.adb (Analyze_Aspect_Specifications): generate proper
pragam for aspects Convention, Import and Export. Scan list
of aspects to collect link name and external name if present,
and verify that a complete pragma can be generated.

From-SVN: r188430

12 years agoemit-rtl.c (set_mem_attributes_minus_bitpos): Remove dead code.
Richard Guenther [Tue, 12 Jun 2012 08:43:55 +0000 (08:43 +0000)]
emit-rtl.c (set_mem_attributes_minus_bitpos): Remove dead code.

2012-06-12  Richard Guenther  <rguenther@suse.de>

* emit-rtl.c (set_mem_attributes_minus_bitpos): Remove dead code.
* alias.c (ao_ref_from_mem): MEM_EXPR is conservative, MEM_OFFSET
and MEM_SIZE only refines it.  Reflect that and be less conservative
if either of the latter is not known.

From-SVN: r188429

12 years agore PR rtl-optimization/53589 (ICE in maybe_record_trace_start with asm goto)
Jakub Jelinek [Tue, 12 Jun 2012 07:52:47 +0000 (09:52 +0200)]
re PR rtl-optimization/53589 (ICE in maybe_record_trace_start with asm goto)

PR rtl-optimization/53589
* cfgrtl.c (force_nonfallthru_and_redirect): Do asm_goto_edge
discovery even when e->dest != target.  If any LABEL_REF points
to e->dest label, redirect it to target's label.

* gcc.dg/torture/pr53589.c: New test.

From-SVN: r188428

12 years agore PR rtl-optimization/50749 (Auto-inc-dec does not find subsequent contiguous mem...
Oleg Endo [Tue, 12 Jun 2012 07:09:52 +0000 (07:09 +0000)]
re PR rtl-optimization/50749 (Auto-inc-dec does not find subsequent contiguous mem accesses)

PR target/50749
* gcc.target/sh/pr50749-sf-postinc-2.c: New.
* gcc.target/sh/pr50749-sf-postinc-4.c: New.
* gcc.target/sh/pr50749-qihisi-postinc-2.c: New.
* gcc.target/sh/pr50749-qihisi-postinc-4.c: New.
* gcc.target/sh/pr50749-sf-predec-2.c: New.
* gcc.target/sh/pr50749-sf-predec-4.c: New.
* gcc.target/sh/pr50749-qihisi-predec-1.c: New.
* gcc.target/sh/pr50749-qihisi-predec-3.c: New.
* gcc.target/sh/pr50749-sf-postinc-1.c: New.
* gcc.target/sh/pr50749-sf-postinc-3.c: New.
* gcc.target/sh/pr50749-qihisi-postinc-1.c: New.
* gcc.target/sh/pr50749-qihisi-postinc-3.c: New.
* gcc.target/sh/pr50749-sf-predec-1.c: New.
* gcc.target/sh/pr50749-sf-predec-3.c: New.
* gcc.target/sh/pr50749-qihisi-predec-2.c: New.
* gcc.target/sh/pr50749-qihisi-predec-4.c: New.

From-SVN: r188426

12 years agosh.c (output_stack_adjust): Remove !epilogue_p condition for generating REG_FRAME_REL...
Chung-Lin Tang [Tue, 12 Jun 2012 06:11:09 +0000 (06:11 +0000)]
sh.c (output_stack_adjust): Remove !epilogue_p condition for generating REG_FRAME_RELATED_EXPR note.

2012-06-12  Chung-Lin Tang  <cltang@codesourcery.com>

* config/sh/sh.c (output_stack_adjust): Remove !epilogue_p
condition for generating REG_FRAME_RELATED_EXPR note.
(pop): Add code for generating REG_CFA_RESTORE,
REG_CFA_ADJUST_CFA notes. Set RTX_FRAME_RELATED_P to 1.
(sh_expand_epilogue): Use frame_insn() for FP to SP move.
Set 'frame_p' of calls to output_stack_adjust() to 'true'.

From-SVN: r188424

12 years agolibgcc-bsd.ver: Version symbol __cpu_indicator_init.
Sriraman Tallam [Tue, 12 Jun 2012 02:55:20 +0000 (02:55 +0000)]
libgcc-bsd.ver: Version symbol __cpu_indicator_init.

2012-06-11  Sriraman Tallam  <tmsriram@google.com>

* config/i386/libgcc-bsd.ver: Version symbol __cpu_indicator_init.
* config/i386/libgcc-sol2.ver: Ditto.
* config/i386/libgcc-glibc.ver: Ditto.

* gcc.target/i386/builtin_target.c (vendor_signatures): New enum.
(check_intel_cpu_model): New function.
(check_amd_cpu_model): New function.
(check_features): New function.
(__get_cpuid_output): New function.
(check_detailed): New function.
(fn1): Rename to quick_check.
(main): Update to call quick_check and call check_detailed.

From-SVN: r188417

12 years agoalpha.c (HWI_HEX2): Add missing shift.
Richard Henderson [Tue, 12 Jun 2012 01:00:39 +0000 (18:00 -0700)]
alpha.c (HWI_HEX2): Add missing shift.

        * config/alpha/alpha.c (HWI_HEX2): Add missing shift.
        * vmsdbgout.c (VMS_EPOCH_OFFSET): Add LL suffix.

From-SVN: r188413

12 years agoDaily bump.
GCC Administrator [Tue, 12 Jun 2012 00:19:26 +0000 (00:19 +0000)]
Daily bump.

From-SVN: r188409

12 years ago* config/alpha/alpha.c (alpha_trampoline_init): Split large constants.
Richard Henderson [Mon, 11 Jun 2012 23:03:14 +0000 (16:03 -0700)]
* config/alpha/alpha.c (alpha_trampoline_init): Split large constants.

From-SVN: r188405

12 years agotm.texi.in (Addressing Modes): Mention that this hook needs to be defined for native...
Hans-Peter Nilsson [Mon, 11 Jun 2012 22:46:45 +0000 (22:46 +0000)]
tm.texi.in (Addressing Modes): Mention that this hook needs to be defined for native TLS.

* doc/tm.texi.in (Addressing Modes) <TARGET_LEGITIMIZE_ADDRESS>:
Mention that this hook needs to be defined for native TLS.
* doc/tm.texi: Regenerate.

From-SVN: r188404

12 years agoemit-rtl.c (init_emit_once): Iterate through the MODE_PARTIAL_INT modes with MIN_MODE...
Mike Stump [Mon, 11 Jun 2012 21:46:55 +0000 (21:46 +0000)]
emit-rtl.c (init_emit_once): Iterate through the MODE_PARTIAL_INT modes with MIN_MODE_PARTIAL_INT and...

* emit-rtl.c (init_emit_once): Iterate through the
MODE_PARTIAL_INT modes with MIN_MODE_PARTIAL_INT and
MAX_MODE_PARTIAL_INT, as GET_MODE_WIDER_MODE doesn't step through
all the MIN_MODE_PARTIAL_INT modes anymore.

From-SVN: r188402

12 years ago* gcc/config/mips/mips-tables.opt (xlp): Fix merge typo.
Maxim Kuvyrkov [Mon, 11 Jun 2012 21:42:02 +0000 (21:42 +0000)]
* gcc/config/mips/mips-tables.opt (xlp): Fix merge typo.

From-SVN: r188401

12 years agogthr-posix.h [...] (__gthread_active_p): If __GLIBC__ is defined, refer to __pthread_...
Roland McGrath [Mon, 11 Jun 2012 21:15:38 +0000 (21:15 +0000)]
gthr-posix.h [...] (__gthread_active_p): If __GLIBC__ is defined, refer to __pthread_key_create instead of pthread_cancel.

* gthr-posix.h [neither FreeBSD nor Solaris] (__gthread_active_p):
If __GLIBC__ is defined, refer to __pthread_key_create instead of
pthread_cancel.

From-SVN: r188400

12 years ago* lib/target-supports.exp
Richard Henderson [Mon, 11 Jun 2012 20:48:30 +0000 (13:48 -0700)]
* lib/target-supports.exp
        (check_effective_target_sync_long_long_runtime): Use
        check_effective_target_lp64 instead of
        check_effective_target_powerpc64 for powerpc targets.

From-SVN: r188399

12 years agoRoland McGrath <mcgrathr@google.com>
Roland McGrath [Mon, 11 Jun 2012 20:42:20 +0000 (20:42 +0000)]
Roland McGrath  <mcgrathr@google.com>

* dwarf2out.c (const_ok_for_output_1): Detect a TLS UNSPEC using
SYMBOL_REF_TLS_MODEL rather than DECL_THREAD_LOCAL_P, in case it's
not a VAR_DECL.  Also don't limit it to UNSPECs with exactly one
operand.

From-SVN: r188398

12 years agoFix ChangeLog formatting.
Oleg Endo [Mon, 11 Jun 2012 19:33:14 +0000 (19:33 +0000)]
Fix ChangeLog formatting.

From-SVN: r188397

12 years agore PR target/53511 (SH Target: Add support for fma patterns)
Oleg Endo [Mon, 11 Jun 2012 19:24:20 +0000 (19:24 +0000)]
re PR target/53511 (SH Target: Add support for fma patterns)

PR target/53511
* config/sh/sh.md (fmasf4): New expander.
(*macsf3): Rename to fmasf4_i.  Adapt to fma pattern.
(mac_media): Rename to fmasf4_media.  Adapt to fma pattern.
* config/sh/sh.opt (mfused-madd): Remove.
* config/sh/sh.c (sh_option_override): Remove mfused-madd handling.
(builtin_description bdesc): Remove __builtin_sh_media_FMAC_S.
* config.gcc (sh[123456789lbe]*-*-* | sh-*-*): Add fused-madd.opt
as extra options.
* doc/invoke.texi (SH Options): Update mfused-madd and mno-fused-madd
descriptions.

PR target/53511
* gcc.target/sh/pr53511-1.c: New.

From-SVN: r188396

12 years ago* dwarf2cfi.c (scan_trace): Handle annulled branch-taken delay slots.
Richard Henderson [Mon, 11 Jun 2012 18:04:25 +0000 (11:04 -0700)]
* dwarf2cfi.c (scan_trace): Handle annulled branch-taken delay slots.

From-SVN: r188391

12 years agoMakefile.in (GNATLIBCFLAGS_FOR_C): Remove $(PIC_FLAG_FOR_TARGET).
Olivier Hainque [Mon, 11 Jun 2012 15:24:12 +0000 (15:24 +0000)]
Makefile.in (GNATLIBCFLAGS_FOR_C): Remove $(PIC_FLAG_FOR_TARGET).

       * Makefile.in (GNATLIBCFLAGS_FOR_C): Remove $(PIC_FLAG_FOR_TARGET).
       (gnatlib-shared-default): Add $(PIC_FLAG_FOR_TARGET) to
       GNATLIBCFLAGS_FOR_C passed to gnatlib.
       (gnatlib-shared-win32): Likewise.
       (gnatlib-shared-darwin): Likewise.
       (gnatlib-shared-dual-win32): Pass PIC_FLAG_FOR_TARGET to
       gnatlib-shared-win32.

       libada/
       * Makefile.in (GNATLIBCFLAGS_FOR_C): Remove $(PICFLAG).

From-SVN: r188390

12 years agoFixup ChangeLog
Richard Biener [Mon, 11 Jun 2012 14:22:01 +0000 (14:22 +0000)]
Fixup ChangeLog

From-SVN: r188388

12 years agore PR debug/53470 (ICE when linking with -g in splice_child_die, at dwarf2out.c:4264)
Richard Guenther [Mon, 11 Jun 2012 14:14:09 +0000 (14:14 +0000)]
re PR debug/53470 (ICE when linking with -g in splice_child_die, at dwarf2out.c:4264)

2012-06-11  Richard Guenther  <rguenther@suse.de>

PR middle-end/53470
* tree.c (free_lang_data_in_type): Do not clear TYPE_CONTEXT but
replace it with the first non-BLOCK context.

* g++.dg/lto/pr53470_0.C: New testcase.
* gcc.dg/lto/pr53470_0.c: Likewise.

From-SVN: r188387

12 years agore PR c++/53605 (Compiler ICEs in size_binop_loc)
Richard Guenther [Mon, 11 Jun 2012 13:58:29 +0000 (13:58 +0000)]
re PR c++/53605 (Compiler ICEs in size_binop_loc)

2012-06-11  Richard Guenther  <rguenther@suse.de>

PR c++/53616
* mangle.c (write_array_type): Use double-ints for array domain
arithmetic.

* g++.dg/ext/pr53605.C: New testcase.

From-SVN: r188386

12 years agoalias.c (aliases_everything_p): Remove.
Richard Guenther [Mon, 11 Jun 2012 10:04:23 +0000 (10:04 +0000)]
alias.c (aliases_everything_p): Remove.

2012-06-11  Richard Guenther  <rguenther@suse.de>

* alias.c (aliases_everything_p): Remove.
(DIFFERENT_ALIAS_SETS_P): Likewise.
(true_dependence_1): Use mems_in_disjoint_alias_sets_p directly.
Do not use aliases_everything_p or special-case ANDs.  Do not
special-case BLKmode moves.
(may_alias_p): Likewise.  Handle BLKmode similar like everywhere
- for SCATCH only.

From-SVN: r188384

12 years agodecl.c (gnat_to_gnu_entity): Convert GNU_SIZE to units before invoking allocatable_si...
Eric Botcazou [Mon, 11 Jun 2012 09:14:20 +0000 (09:14 +0000)]
decl.c (gnat_to_gnu_entity): Convert GNU_SIZE to units before invoking allocatable_size_p on it.

* gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Convert GNU_SIZE
to units before invoking allocatable_size_p on it.
Remove orphaned comment.  Do not use ssize_int.
<E_Record_Subtype>: Traverse list in original order.  Minor tweak.
(allocatable_size_p): Adjust and simplify.
(build_subst_list): Use consistent terminology throughout.
(build_variant_list): Likewise.  Traverse list in original order.
(create_field_decl_from): Likewise.
(copy_and_substitute_in_size): Likewise.
(create_variant_part_from): Add comment about field list order.
* gcc-interface/utils.c (build_vms_descriptor): Do not use ssize_int.
* gcc-interface/utils2.c (build_allocator): Likewise.

From-SVN: r188382

12 years agotrans.c (Identifier_to_gnu): Test Is_Elementary_Type instead of Is_Scalar_Type for...
Eric Botcazou [Mon, 11 Jun 2012 08:54:32 +0000 (08:54 +0000)]
trans.c (Identifier_to_gnu): Test Is_Elementary_Type instead of Is_Scalar_Type for a constant with an...

* gcc-interface/trans.c (Identifier_to_gnu): Test Is_Elementary_Type
instead of Is_Scalar_Type for a constant with an address clause.
Do not return the underlying constant for a constant used by reference
if it holds the address of a constant and an lvalue is required.

From-SVN: r188380

12 years agodecl.c (gnat_to_gnu_entity): Do not specifically deal with external constants wrt...
Eric Botcazou [Mon, 11 Jun 2012 08:34:44 +0000 (08:34 +0000)]
decl.c (gnat_to_gnu_entity): Do not specifically deal with external constants wrt force_global here...

* gcc-interface/decl.c (gnat_to_gnu_entity): Do not specifically deal
with external constants wrt force_global here...
<E_Constant>: ...but here instead.
* gcc-interface/utils.c (gnat_pushdecl): Do not put external DECLs onto
the list of global DECLs.

From-SVN: r188379

12 years agodecl.c (gnat_to_gnu_entity): Translate the Esize on entry only for elementary types...
Eric Botcazou [Mon, 11 Jun 2012 08:02:35 +0000 (08:02 +0000)]
decl.c (gnat_to_gnu_entity): Translate the Esize on entry only for elementary types and abort if it is too large.

* gcc-interface/decl.c (gnat_to_gnu_entity): Translate the Esize on
entry only for elementary types and abort if it is too large.
<E_Record_Type>: Make sure the Esize is known before using it.

From-SVN: r188378

12 years agoDaily bump.
GCC Administrator [Mon, 11 Jun 2012 00:17:34 +0000 (00:17 +0000)]
Daily bump.

From-SVN: r188375

12 years agoDaily bump.
GCC Administrator [Sun, 10 Jun 2012 00:17:20 +0000 (00:17 +0000)]
Daily bump.

From-SVN: r188370

12 years agoFix CRIS build errors with --enable-build-with-cxx.
Hans-Peter Nilsson [Sat, 9 Jun 2012 20:53:39 +0000 (20:53 +0000)]
Fix CRIS build errors with --enable-build-with-cxx.

* config/cris/cris.c (cris_emit_trap_for_misalignment): Rename
variable "and" to "andop".
* config/cris/sync.md ("atomic_fetch_<atomic_op_name><mode>"): Use
temporary variable for memory model, passing C++-type-correct
parameter type to expand_mem_thread_fence.
("atomic_compare_and_swap<mode>"): Ditto.

From-SVN: r188362

12 years agosfp-machine.h (__gcc_CMPtype, [...]): Move ...
Uros Bizjak [Sat, 9 Jun 2012 17:32:27 +0000 (19:32 +0200)]
sfp-machine.h (__gcc_CMPtype, [...]): Move ...

* config/i386/32/sfp-machine.h (__gcc_CMPtype, CMPtype,
_FP_KEEPNANFRACP, _FP_CHOOSENAN, FP_EX_INVALID, FP_EX_DENORM,
FP_EX_DIVZERO, FP_EX_OVERFLOW, FP_EX_UNDERFLOW, FP_EX_INEXACT,
FP_HANDLE_EXCEPTIONS, FP_RND_NEAREST, FP_RND_ZERO, FP_RND_PINF,
FP_RND_MINF, _FP_DEXL_EX, FP_INIT_ROUNDMODE, FP_ROUNDMODE,
__LITTLE_ENDIAN, __BIG_ENDIAN, strong_alias): Move ...
* config/i386/64/sfp-machine: ... (delete here) ...
* config/i386/sfp-machine.h: ... to here.
(FP_EX_MASK): New.
(__sfp_handle_exceptions): New function declaration.
(FP_HANDLE_EXCEPTIONS): Use __sfp_handle_exceptions.
* config/i386/sfp-exceptions.c: New.
* config/i386/t-softfp: New.
* config.host (i[34567]86-*-* and x86_64-*-* soft-fp targets): Add
i386/t-softfp to tmake_file.

From-SVN: r188361

12 years agore PR c++/53602 (Libre Office causes an internal compiler error)
Richard Henderson [Sat, 9 Jun 2012 16:27:52 +0000 (09:27 -0700)]
re PR c++/53602 (Libre Office causes an internal compiler error)

PR c++/53602
        * cfgcleanup.c (execute_jump): Rename from rest_of_handle_jump2.
        (pass_jump): Rename from pass_jump2.
        (execute_jump2, pass_jump2): New.
        * combine-stack-adj.c (rest_of_handle_stack_adjustments): Don't
        perform cfg cleanup here.  Move the test of PUSH_ROUNDING
        and ACCUMULATE_OUTGOING_ARGS test...
        (gate_handle_stack_adjustments): ... here.
        * passes.c (init_optimization_passes): Update for pass_jump2 rename.
        Place new pass_jump2 after pass_stack_adjustments.
        * tree-pass.h (pass_jump): Declare.

From-SVN: r188360

12 years agosimplify-rtx.c (simplify_const_binary_operation): Fixed shift count trucation.
Kenneth Zadeck [Sat, 9 Jun 2012 12:40:40 +0000 (12:40 +0000)]
simplify-rtx.c (simplify_const_binary_operation): Fixed shift count trucation.

2012-06-09  Kenneth Zadeck <zadeck@naturalbridge.com>

* simplify-rtx.c (simplify_const_binary_operation): Fixed shift
count trucation.

From-SVN: r188359

12 years agore PR c++/53602 (Libre Office causes an internal compiler error)
Richard Henderson [Sat, 9 Jun 2012 06:18:38 +0000 (23:18 -0700)]
re PR c++/53602 (Libre Office causes an internal compiler error)

PR c++/53602

From-SVN: r188358

12 years agore PR c++/53602 (Libre Office causes an internal compiler error)
Richard Henderson [Sat, 9 Jun 2012 06:17:12 +0000 (23:17 -0700)]
re PR c++/53602 (Libre Office causes an internal compiler error)

PR c++/53602
        * combine-stack-adj.c (force_move_args_size_note): Add ARGS_SIZE
        note to a clobber insn when no other insn is available.

From-SVN: r188357

12 years agoDaily bump.
GCC Administrator [Sat, 9 Jun 2012 00:18:01 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r188354

12 years agoAdjust last commit.
Jakub Jelinek [Fri, 8 Jun 2012 18:52:32 +0000 (20:52 +0200)]
Adjust last commit.

From-SVN: r188338

12 years agodwarf2.def (DW_FORM_GNU_ref_alt, [...]): New forms.
Jakub Jelinek [Fri, 8 Jun 2012 18:48:46 +0000 (20:48 +0200)]
dwarf2.def (DW_FORM_GNU_ref_alt, [...]): New forms.

* dwarf2.def (DW_FORM_GNU_ref_alt, DW_FORM_GNU_strp_alt): New
forms.
* dwarf2.h (enum dwarf_macro_record_type): Add
DW_MACRO_GNU_define_indirect_alt, DW_MACRO_GNU_undef_indirect_alt
and DW_MACRO_GNU_transparent_include_alt.

From-SVN: r188337

12 years agoavr.c (avr_case_values_threshold): Return 7.
Georg-Johann Lay [Fri, 8 Jun 2012 18:32:25 +0000 (18:32 +0000)]
avr.c (avr_case_values_threshold): Return 7.

* config/avr/avr.c (avr_case_values_threshold): Return 7.

From-SVN: r188336

12 years agore PR fortran/52552 ([OOP] ICE when trying to allocate non-allocatable object giving...
Janus Weil [Fri, 8 Jun 2012 17:26:11 +0000 (19:26 +0200)]
re PR fortran/52552 ([OOP] ICE when trying to allocate non-allocatable object giving a dynamic type)

2012-06-08  Janus Weil  <janus@gcc.gnu.org>

PR fortran/52552
* match.c (gfc_match_allocate): Modify order of checks. Change wording
of error message. Remove FIXME note.
* resolve.c (resolve_allocate_expr): Add a comment.

2012-06-08  Janus Weil  <janus@gcc.gnu.org>

PR fortran/52552
* gfortran.dg/allocate_alloc_opt_1.f90: Modified.
* gfortran.dg/allocate_class_1.f90: Modified.
* gfortran.dg/allocate_with_typespec_4.f90: Modified.
* gfortran.dg/allocate_class_2.f90: New.

From-SVN: r188335

12 years agoFix discrepancies in submitted patch vs.
Hans-Peter Nilsson [Fri, 8 Jun 2012 02:25:08 +0000 (02:25 +0000)]
Fix discrepancies in submitted patch vs.

Fix discrepancies in submitted patch vs. committed patch for CRIS
-march= fix change on 2012-05-31 and ditto typo ChangeLog.

From-SVN: r188324

12 years agoDaily bump.
GCC Administrator [Fri, 8 Jun 2012 00:18:06 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r188322

12 years agore PR middle-end/53535 (non-aligned memset on non-strict-alignment targets not optimi...
Hans-Peter Nilsson [Thu, 7 Jun 2012 20:44:01 +0000 (20:44 +0000)]
re PR middle-end/53535 (non-aligned memset on non-strict-alignment targets not optimized where aligned memset is)

PR middle-end/53535
* gcc.dg/pr46647.c: xfail for cris-* and crisv32-*.

From-SVN: r188317

12 years agore PR fortran/52861 ((missed optimisation) missed transformation to memset with -O3)
Thomas Koenig [Thu, 7 Jun 2012 14:33:51 +0000 (14:33 +0000)]
re PR fortran/52861 ((missed optimisation) missed transformation to memset with -O3)

2012-06-07  Thomas König  <tkoenig@gcc.gnu.org>

PR fortran/52861
* frontend-passes.c (optimize_assignment):  Don't set the
length of an empty string for deferred-length character
variables.

2012-06-07  Thomas König  <tkoenig@gcc.gnu.org>

PR fortran/52861
* gfortran.dg/string_assign_2.f90:  New test case.

From-SVN: r188305

12 years agogenhooks.c (main): Set progname.
Andreas Schwab [Thu, 7 Jun 2012 12:12:01 +0000 (12:12 +0000)]
genhooks.c (main): Set progname.

* genhooks.c (main): Set progname.
(emit_documentation): Remove variable found_start, always bail out
when a place is missing.
* doc/tm.texi.in (C++ ABI): Add @hook
TARGET_CXX_DECL_MANGLING_CONTEXT.

From-SVN: r188302

12 years agore PR fortran/52861 ((missed optimisation) missed transformation to memset with -O3)
Thomas Koenig [Thu, 7 Jun 2012 11:11:55 +0000 (11:11 +0000)]
re PR fortran/52861 ((missed optimisation) missed transformation to memset with -O3)

2012-06-07  Thomas König  <tkoenig@gcc.gnu.org>

PR fortran/52861
* frontend-passes (empty_string):  Add prototype.
(optimize_assignment):  Set the length of an empty string
constant to zero.

2012-06-07  Thomas König  <tkoenig@gcc.gnu.org>

PR fortran/52861
* gfortran.dg/string_assign_1.f90:  New test case.

From-SVN: r188300

12 years agocompiler: Fix taking address of field of local variable.
Ian Lance Taylor [Thu, 7 Jun 2012 08:06:08 +0000 (08:06 +0000)]
compiler: Fix taking address of field of local variable.

From-SVN: r188299

12 years agore PR c/53580 (Internal Segmentation fault in nested "omp parallel", "omp parallel...
Jakub Jelinek [Thu, 7 Jun 2012 06:36:55 +0000 (08:36 +0200)]
re PR c/53580 (Internal Segmentation fault in nested "omp parallel", "omp parallel for" and "omp parallel for reduction" Directives)

PR middle-end/53580
* omp-low.c (scan_omp): Change first argument to
gimple_seq *, call walk_gimple_seq_mod instead of
walk_gimple_seq.
(scan_sharing_clauses, scan_omp_parallel, scan_omp_task,
scan_omp_for, scan_omp_sections, scan_omp_single,
execute_lower_omp): Adjust callers.
(scan_omp_1_stmt): Likewise.  If check_omp_nesting_restrictions
returns false, replace stmt with GIMPLE_NOP.
(check_omp_nesting_restrictions): Instead of issuing warnings,
issue errors and return false if any errors were reported.

* gcc.dg/gomp/nesting-1.c: Expect errors rather than warnings.
* gcc.dg/gomp/critical-4.c: Likewise.
* gfortran.dg/gomp/appendix-a/a.35.1.f90: Likewise.
* gfortran.dg/gomp/appendix-a/a.35.3.f90: Likewise.
* gfortran.dg/gomp/appendix-a/a.35.4.f90: Likewise.
* gfortran.dg/gomp/appendix-a/a.35.6.f90: Likewise.
* c-c++-common/gomp/pr53580.c: New test.

* testsuite/libgomp.c/pr26943-2.c: Remove #pragma omp barrier,
use GOMP_barrier () call instead.
* testsuite/libgomp.c/pr26943-3.c: Likewise.
* testsuite/libgomp.c/pr26943-4.c: Likewise.
* testsuite/libgomp.fortran/vla4.f90: Remove !$omp barrier,
call GOMP_barrier instead.
* testsuite/libgomp.fortran/vla5.f90: Likewise.

From-SVN: r188298

12 years agoruntime: Fix printing of names in stack dumps.
Ian Lance Taylor [Thu, 7 Jun 2012 06:34:52 +0000 (06:34 +0000)]
runtime: Fix printing of names in stack dumps.

From-SVN: r188297

12 years agocompiler: Fix unsafe.Sizeof for named structs with named struct fields.
Ian Lance Taylor [Thu, 7 Jun 2012 05:49:44 +0000 (05:49 +0000)]
compiler: Fix unsafe.Sizeof for named structs with named struct fields.

From-SVN: r188295

12 years agore PR c++/51214 ([C++11] name lookup issue with c++11 enums)
Fabien Chêne [Thu, 7 Jun 2012 05:36:18 +0000 (07:36 +0200)]
re PR c++/51214 ([C++11] name lookup issue with c++11 enums)

gcc/testsuite/ChangeLog

2012-06-07  Fabien Chêne  <fabien@gcc.gnu.org>

PR c++/51214
* g++.dg/cpp0x/forw_enum11.C: New.

gcc/cp/ChangeLog

2012-06-07  Fabien Chêne  <fabien@gcc.gnu.org>

PR c++/51214
* cp-tree.h (insert_late_enum_def_into_classtype_sorted_fields):
Declare.
* class.c (insert_into_classtype_sorted_fields): New.
(add_enum_fields_to_record_type): New.
(count_fields): Adjust the comment.
(add_fields_to_record_type): Likewise.
(finish_struct_1): Move the code that inserts the fields for the
sorted case, into insert_into_classtype_sorted_fields, and call
it.
(insert_late_enum_def_into_classtype_sorted_fields): Define.
* decl.c (finish_enum_value_list): Call
insert_late_enum_def_into_classtype_sorted_fields if a late enum
definition is encountered.

From-SVN: r188294

12 years agoruntime: Use dl_iterate_phdr to get TLS size.
Ian Lance Taylor [Thu, 7 Jun 2012 00:55:20 +0000 (00:55 +0000)]
runtime: Use dl_iterate_phdr to get TLS size.

From-SVN: r188290

12 years agoDaily bump.
GCC Administrator [Thu, 7 Jun 2012 00:18:57 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r188289

12 years agoMove Changelog entries to the right file.
Sterling Augustine [Wed, 6 Jun 2012 23:06:06 +0000 (23:06 +0000)]
Move Changelog entries to the right file.

From-SVN: r188284

12 years agore PR c++/53567 ("ICE: Error reporting routines re-entered" on missing enum entry)
Paolo Carlini [Wed, 6 Jun 2012 23:01:45 +0000 (23:01 +0000)]
re PR c++/53567 ("ICE: Error reporting routines re-entered" on missing enum entry)

/cp
2012-06-06  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/53567
* typeck.c (cp_perform_integral_promotions): New, like
perform_integral_promotions but also takes a tsubst_flags_t parameter.
(pointer_diff): Add tsubst_flags_t parameter.
(decay_conversion, cp_default_conversion, cp_build_array_ref,
cp_build_binary_op, cp_build_unary_op, build_static_cast_1,
build_reinterpret_cast_1, cp_build_modify_expr,
convert_for_assignment): Adjust.
* optimize.c (build_delete_destructor_body): Adjust.
* init.c (expand_virtual_init, expand_default_init, build_new_1,
build_new, build_vec_delete_1, build_vec_init, build_delete): Adjust.
(construct_virtual_base): Adjust LOOKUP_COMPLAIN -> 0.
* class.c (build_base_path): Adjust.
* decl.c (compute_array_index_type, finish_destructor_body): Likewise.
* method.c (synthesized_method_walk): Adjust flag and complain.
* rtti.c (ifnonnull): Add tsubst_flags_t parameter.
(build_typeid, build_dynamic_cast_1): Adjust.
* except.c (initialize_handler_parm): Likewise.
* typeck2.c (process_init_constructor_record): Likewise.
* pt.c (tsubst_friend_class): Don't change flags.
* semantics.c (finish_goto_stmt, handle_omp_for_class_iterator,
finish_static_assert): Likewise.
* parser.c (cp_parser_lookup_name): Just pass 0 as flags to
lookup_name_real.
* call.c (build_op_delete_call): Add tsubst_flags_t parameter.
(convert_like_real, convert_arg_to_ellipsis, convert_for_arg_passing):
Adjust.
(standard_conversion): Adjust LOOKUP_COMPLAIN -> 0.
(implicit_conversion): Mask out tf_error with a FIXME.
(build_user_type_conversion_1, build_new_op_1, build_over_call): Use
complain & tf_error instead of flags & LOOKUP_COMPLAIN.
* cvt.c (cp_convert_to_pointer, convert_to_pointer_force,
build_up_reference, convert_to_reference, cp_convert,
cp_convert_and_check, ocp_convert, convert_force): Add tsubst_flags_t
parameter.
(convert_to_reference, ocp_convert): Use complain & tf_error instead
of flags & LOOKUP_COMPLAIN.
(convert_force): Adjust LOOKUP_COMPLAIN -> 0.
* name-lookup.c (identifier_type_value_1, lookup_qualified_name,
lookup_name_real, lookup_function_nonclass, lookup_name,
lookup_name_prefer_type): Adjust LOOKUP_COMPLAIN -> 0.
* cp-tree.h: Adjust prototypes; remove LOOKUP_COMPLAIN.

/testsuite
2012-06-06  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/53567
* g++.dg/cpp0x/alias-decl-19.C: New.

From-SVN: r188283

12 years agoinvoke.texi (fconserve-space): Remove documentation.
Steven Bosscher [Wed, 6 Jun 2012 21:38:20 +0000 (21:38 +0000)]
invoke.texi (fconserve-space): Remove documentation.

gcc/
* doc/invoke.texi (fconserve-space): Remove documentation.

c-family/
* c.opt (fconserve-space): Turn into a no-op.

cp/
* decl.c: Do not include output.h.
(start_decl): Remove code for flag_conserve_space.

testsuite/
* g++.old-deja/g++.brendan/array1.C: Remove dg-options.

From-SVN: r188282

12 years agore PR libgomp/52993 (gomp_init_nest_lock_25: possible bad call to memset)
Jakub Jelinek [Wed, 6 Jun 2012 18:31:06 +0000 (20:31 +0200)]
re PR libgomp/52993 (gomp_init_nest_lock_25: possible bad call to memset)

PR libgomp/52993
* config/linux/lock.c (gomp_init_nest_lock_25): Fix up last
argument to memset call.

From-SVN: r188276

12 years agoavx-os-support.h (XCR_XFEATURE_ENABLED_MASK): New.
Uros Bizjak [Wed, 6 Jun 2012 18:11:39 +0000 (20:11 +0200)]
avx-os-support.h (XCR_XFEATURE_ENABLED_MASK): New.

* gcc.target/i386/avx-os-support.h (XCR_XFEATURE_ENABLED_MASK): New.
(XSTATE_FP): Ditto.
(XSTATE_SSE): Ditto.
(XSTATE_YMM): Ditto.
(avx_os_support): Use new defines.

From-SVN: r188275

12 years agors6000-tables.opt: Regenerated.
Edmar Wienskoski [Wed, 6 Jun 2012 18:09:18 +0000 (18:09 +0000)]
rs6000-tables.opt: Regenerated.

2012-06-06  Edmar Wienskoski  <edmar@freescale.com>

* config/rs6000/rs6000-tables.opt: Regenerated.

From-SVN: r188274

12 years agoFix comments
Georg-Johann Lay [Wed, 6 Jun 2012 16:40:06 +0000 (16:40 +0000)]
Fix comments

From-SVN: r188270

12 years agoFix comments
Georg-Johann Lay [Wed, 6 Jun 2012 16:39:52 +0000 (16:39 +0000)]
Fix comments

From-SVN: r188269

12 years agore PR fortran/32380 (misaligned stores don't get vectorized)
Richard Guenther [Wed, 6 Jun 2012 12:53:30 +0000 (12:53 +0000)]
re PR fortran/32380 (misaligned stores don't get vectorized)

2012-06-06  Richard Guenther  <rguenther@suse.de>

PR testsuite/32380
* gfortran.dg/vect/pr32380.f: Adjust number of expected vectorized
loops.

From-SVN: r188266

12 years agoThe new mklog script prints three spaces after the date part, which is wrong.
Marek Polacek [Wed, 6 Jun 2012 12:50:55 +0000 (12:50 +0000)]
The new mklog script prints three spaces after the date part, which is wrong.

The new mklog script prints three spaces after the date part, which
is wrong.  Thus fixed by adjusting the split pattern.  Tested manually.

2012-05-31  Marek Polacek  <polacek@redhat.com>

       * mklog: Prevent printing three spaces after the date.

From-SVN: r188265

12 years agore PR c++/52841 (error: type 'Solvable' is not a base type for type 'Resolvable')
Richard Biener [Wed, 6 Jun 2012 12:22:16 +0000 (12:22 +0000)]
re PR c++/52841 (error: type 'Solvable' is not a base type for type 'Resolvable')

2012-06-06  Fabien Chene  <fabien@gcc.gnu.org>

PR c++/52841
* parser.c (cp_parser_alias_declaration): Return earlier
if an error occured.

* g++.dg/cpp0x/pr52841.C: New testcase.

From-SVN: r188264

12 years agore PR tree-optimization/53081 (memcpy/memset loop recognition)
Richard Guenther [Wed, 6 Jun 2012 09:45:27 +0000 (09:45 +0000)]
re PR tree-optimization/53081 (memcpy/memset loop recognition)

2012-06-06  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/53081
* tree-data-ref.h (adjacent_store_dr_p): Rename to ...
(adjacent_dr_p): ... this and make it work for reads, too.
* tree-loop-distribution.c (enum partition_kind): Add PKIND_MEMCPY.
(struct partition_s): Change main_stmt to main_dr, add
secondary_dr member.
(build_size_arg_loc): Change to date data-reference and not
gimplify here.
(build_addr_arg_loc): New function split out from ...
(generate_memset_builtin): ... here.  Use it and simplify.
(generate_memcpy_builtin): New function.
(generate_code_for_partition): Adjust.
(classify_partition): Streamline pattern detection.  Detect
memcpy.
(ldist_gen): Adjust.
(tree_loop_distribution): Adjust seed statements for memcpy
recognition.

* gcc.dg/tree-ssa/ldist-20.c: New testcase.
* gcc.dg/tree-ssa/loop-19.c: Add -fno-tree-loop-distribute-patterns.

From-SVN: r188261