David S. Miller [Mon, 5 Sep 2011 16:00:53 +0000 (16:00 +0000)]
sparc-opts.h (PROCESSOR_NIAGARA3, [...]): New.
* config/sparc/sparc-opts.h (PROCESSOR_NIAGARA3,
PROCESSOR_NIAGARA4): New.
* config/sparc/sparc.opt: Handle new processor types.
* config/sparc/sparc.md: Add to "cpu" attribute.
* config/sparc/sparc.h (TARGET_CPU_niagara3,
TARGET_CPU_niagara4): New, treat as niagara2.
* config/sparc/linux64.h: Handle niagara3 and niagara4
like niagara2.
* config/sparc/sol2.h: Likewise.
* config/sparc/niagara2.md: Schedule niagara3 like
niagara2.
* config/sparc/sparc.c (sparc_option_override): Add
niagara3 and niagara4 handling.
(sparc32_initialize_trampoline): Likewise.
(sparc64_initialize_trampoline): Likewise.
(sparc_use_sched_lookahead): Likewise.
(sparc_issue_rate): Likewise.
(sparc_register_move_cost): Likewise.
* config/sparc/driver-sparc.c (cpu_names): Use niagara3
and niagara4 as appropriate.
* doc/invoke.texi: Document new processor types.
From-SVN: r178554
David S. Miller [Mon, 5 Sep 2011 15:58:57 +0000 (15:58 +0000)]
config.host: Add driver-sparc.o and sparc/x-sparc on native sparc*-*-linux* builds.
* config.host: Add driver-sparc.o and sparc/x-sparc on
native sparc*-*-linux* builds.
* config/sparc/driver-sparc.c: Correct Linux strings.
* config/sparc/linux.h: Add DRIVER_SELF_SPECS.
* config/sparc/linux64.h: Likewise.
* doc/invoke.texi: Document that Linux also supports
-mcpu=native and -mtune=native on sparc.
From-SVN: r178553
Arnaud Charlet [Mon, 5 Sep 2011 14:30:30 +0000 (16:30 +0200)]
[multiple changes]
2011-09-05 Hristian Kirtchev <kirtchev@adacore.com>
* s-finmas.adb (Set_Finalize_Address): Explain the reason
for the synchronization. Move the test for null from
s-stposu.Allocate_Any_Controlled to this routine since the check
needs to be protected too.
(Set_Heterogeneous_Finalize_Address): Explain the reason for the
synchronization code.
* s-finmas.ads (Set_Heterogeneous_Finalize_Address): Add comment
explaining the context in which this routine is used.
* s-stposu.adb (Allocate_Any_Controlled): Move the test for null
to s-finmas.Set_Finalize_Address.
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* einfo.ads: Document that itypes have no parent field.
2011-09-05 Robert Dewar <dewar@adacore.com>
* rtsfind.adb (Check_CRT): Check for overloaded entity
* rtsfind.ads: Document that entities to be found by rtsfind
cannot be overloaded
* s-taenca.adb, s-tasren.adb, s-tpobop.adb, s-tpoben.ads, s-tpoben.adb
(Lock_Entries_With_Status): New name for Lock_Entries with two
arguments (changed to meet rtsfind no overloading rule).
From-SVN: r178551
Arnaud Charlet [Mon, 5 Sep 2011 14:18:54 +0000 (16:18 +0200)]
[multiple changes]
2011-09-05 Hristian Kirtchev <kirtchev@adacore.com>
* s-finmas.adb (Set_Finalize_Address (Address,
Finalize_Address_Ptr)): Renamed to Set_Heterogeneous_Finalize_Address.
(Set_Finalize_Address (in out Finalization_Master,
Finalize_Address_Ptr): Add synchronization code.
* s-finmas.ads (Set_Finalize_Address (Address,
Finalize_Address_Ptr)): Renamed to Set_Heterogeneous_Finalize_Address.
* s-stposu.adb (Allocate_Any_Controlled): Update the call to
Set_Finalize_Address for the heterogeneous case.
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb: Undo previous change, not suitable after all.
2011-09-05 Robert Dewar <dewar@adacore.com>
* einfo.ads: Minor comment clarification.
From-SVN: r178550
Arnaud Charlet [Mon, 5 Sep 2011 14:15:16 +0000 (16:15 +0200)]
[multiple changes]
2011-09-05 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Move_Activation_Chain): Rewritten. The routine
no longer needs to search through the entities of the return
statement scope to find the _chain.
* sem_ch5.adb: Add with and use clauses for Exp_Ch6 and Sem_Ch6.
(Analyze_Block_Statement): Add local variable
Is_BIP_Return_Statement. Add machinery to install all entities
produced by the expansion of the return object declaration.
(Install_Return_Entities): New routine.
* sem_ch6.ads, sem_ch6.adb (Install_Entity): Moved from body to spec.
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Analyze_Context): Apply simple fixup if context
of subunit is incomplete.
(Analyze_Proper_Body): If parent spec is not available, do not
attempt analysis.
From-SVN: r178549
Arnaud Charlet [Mon, 5 Sep 2011 14:12:04 +0000 (16:12 +0200)]
[multiple changes]
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* sem_disp.adb (Find_Controlling_Arg): Add checks for
interface type conversions, that are expanded into dereferences.
2011-09-05 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body_Helper):
Examine the parameter and return profile of a subprogram and swap
any incomplete types coming from a limited context with their
corresponding non-limited views.
(Exchange_Limited_Views): New routine.
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Prepare_Private_Subtype_Completion): Set parent
of internal entity to the subtype declaration, so that when
entities are subsequently exchanged in a package body, the tree
remains properly formatted for ASIS.
From-SVN: r178548
Arnaud Charlet [Mon, 5 Sep 2011 14:08:42 +0000 (16:08 +0200)]
[multiple changes]
2011-09-05 Johannes Kanig <kanig@adacore.com>
* g-comlin.adb (Set_Usage): Additional optional argument to set help
message.
(Display_Help): display the user given help message, if available.
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (OK_For_Limited_Init_In_05): The expression
is legal if the original node is an identifier that is a
parameterless function call.
From-SVN: r178547
Pascal Obry [Mon, 5 Sep 2011 14:03:26 +0000 (14:03 +0000)]
prj-nmsc.adb: Minor reformatting.
2011-09-05 Pascal Obry <obry@adacore.com>
* prj-nmsc.adb: Minor reformatting.
Add support for standalone aggregate library.
(Check_Stand_Alone_Library): Handle standalone aggregate library.
* projects.texi: Fix documentation for aggregate library projects.
From-SVN: r178546
Georg-Johann Lay [Mon, 5 Sep 2011 14:00:37 +0000 (14:00 +0000)]
ipcp-3.c (mark_cell): Use mask 1 << 14 instead of 1 << 18 to avoid warning on int=16 platforms..
* gcc.dg/ipa/ipcp-3.c (mark_cell): Use mask 1 << 14 instead of 1
<< 18 to avoid warning on int=16 platforms..
From-SVN: r178545
Arnaud Charlet [Mon, 5 Sep 2011 14:00:30 +0000 (16:00 +0200)]
[multiple changes]
2011-09-05 Robert Dewar <dewar@adacore.com>
* sem_ch6.adb: Minor reformatting.
2011-09-05 Matthew Gingell <gingell@adacore.com>
* s-tassta.adb (Task_Wrapper): Ensure that we don't try to write the
stack guard page on PPC Linux. This patch ensures the 64K guard page at
the bottom of the stack is not overwritten.
From-SVN: r178544
Arnaud Charlet [Mon, 5 Sep 2011 13:58:39 +0000 (15:58 +0200)]
[multiple changes]
2011-09-05 Thomas Quinot <quinot@adacore.com>
* exp_intr.adb, s-tasini.adb: Minor reformatting.
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Access_Definition): If an access type declaration
appears in a child unit, the scope of whatever anonymous type
may be generated is the child unit itself.
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Analyze_Expression_Function): Do not set
Comes_From_Source on rewritten body.
(Analyze_Subprogram_Body_Helper): Check that the original node for
the body comes from source, when determining whether expansion
of a protected operation is needed.
From-SVN: r178543
Arnaud Charlet [Mon, 5 Sep 2011 13:53:59 +0000 (15:53 +0200)]
[multiple changes]
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* exp_aggr.adb (Replace_Type): If the target of the assignment is
a selected component and the right-hand side is a self-referential
access, the proper prefix of the rewritten attribute is a copy
of the left-hand side, not of its prefix.
2011-09-05 Robert Dewar <dewar@adacore.com>
* sem_ch5.adb: Minor reformatting.
* sem_ch3.adb: Minor code clean up.
2011-09-05 Jose Ruiz <ruiz@adacore.com>
* exp_ch9.adb (Make_Initialize_Protection): The fact that
restriction No_Dynamic_Attachment is in effect or not should
not influence the default priority associated to a protected
object. With this change, when the restriction is in effect (as
is the case for the Ravenscar profile) the default priority of
a protected object with an interrupt handler is in the range of
interrupt priorities (Default_Interrupt_Priority) as required
by D.3(10).
2011-09-05 Arnaud Charlet <charlet@adacore.com>
* a-iteint.ads: Fix header.
2011-09-05 Vincent Celier <celier@adacore.com>
* prj-conf.adb (Do_Autoconf): Make sure Obj_Dir always ends
with a directory separator to avoid output such as:
"/path/to/objauto.cgpr" has been deleted.
From-SVN: r178542
Jakub Jelinek [Mon, 5 Sep 2011 13:53:08 +0000 (15:53 +0200)]
struct-layout-1_test.h: Decrease bitfield size to work even with -fshort-enums.
* gcc.dg/compat/struct-layout-1_test.h: Decrease bitfield size
to work even with -fshort-enums.
From-SVN: r178540
Arnaud Charlet [Mon, 5 Sep 2011 13:48:16 +0000 (15:48 +0200)]
[multiple changes]
2011-09-05 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb: Minor reformatting.
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb: Better error message.
2011-09-05 Hristian Kirtchev <kirtchev@adacore.com>
* exp_aggr.adb: Add with and use clause for Exp_Ch6.
(Expand_Array_Aggregate): Detect a special case of an aggregate
which contains tasks in the context of an unexpanded return
statement of a build-in-place function.
* exp_ch6.adb: Add with and use clause for Exp_Aggr.
(Expand_N_Extended_Return_Statement): Detect a delayed aggregate
which contains tasks and expand it now that the original simple
return statement has been rewritten.
* exp_ch9.adb (Build_Activation_Chain_Entity): Code
reformatting. Do not create a chain for an extended return
statement if one is already available.
(Has_Activation_Chain): New routine.
From-SVN: r178539
Arnaud Charlet [Mon, 5 Sep 2011 13:40:04 +0000 (15:40 +0200)]
[multiple changes]
2011-09-05 Marc Sango <sango@adacore.com>
* sem_ch3.adb (Analyze_Object_Declaration): Remove
the wrong test and add the correct test to detect the violation
of illegal use of unconstrained string type in SPARK mode.
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb (Analyze_Iteration_Specification): Improve error
message on an iterator over an array.
2011-09-05 Robert Dewar <dewar@adacore.com>
* lib-xref-alfa.adb: Minor reformatting.
From-SVN: r178538
Arnaud Charlet [Mon, 5 Sep 2011 13:19:04 +0000 (15:19 +0200)]
[multiple changes]
2011-09-05 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb (Write_Field28_Name): Update the choices for
Extra_Formals.
* einfo.ads: Update the use of Extra_Formals in various entities.
* exp_ch6.adb (Add_Task_Actuals_To_Build_In_Place_Call): Code
reformatting. Handle the case where the function call returns
an incomplete type coming from a limited with context. Generate
a reference to the _master when the master id is associated
with an access type.
(Is_Build_In_Place_Function_Call): Code
reformatting. The Alfa mode case must appear first since otherwise
we will carry out the function name retrieval regardless of the
compilation mode.
(Make_Build_In_Place_Call_In_Allocator): Code
reformatting. Handle the case where the function call returns
an incomplete type coming from a limited with context. Remove
the reference creation when adding the task-related actuals,
this is now done in Add_Task_Actuals_To_Build_In_Place_Call.
* exp_ch7.adb (Make_Set_Finalize_Address_Call): Remove local
variable Call. Remove the useless wrapping of Set_Finalize_Address
when the finalization master is a build-in-place extra formal. The
whole mechanism of controlled allocation in a build-in-place
context is already protected by an if statement.
* sem_aux.adb (Is_Immutably_Limited_Type): Handle the case
where the type might be related to a function which returns an
incomplete type coming from a limited with.
* sem_ch6.adb (Create_Extra_Formals): Comment
reformatting. Handle the case where the function returns an
incomplete type coming from a limited with context.
2011-09-05 Johannes Kanig <kanig@adacore.com>
* lib-xref-alfa.adb (Is_Alfa_Reference): Improve test for constant
objects and rewrite case statement as /if/elsif/endif.
2011-09-05 Thomas Quinot <quinot@adacore.com>
* sem_ch3.adb, sem_ch4.adb: Minor reformatting.
From-SVN: r178537
Robert Dewar [Mon, 5 Sep 2011 13:12:33 +0000 (13:12 +0000)]
sem_ch3.adb, [...]: Minor reformatting.
2011-09-05 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, sem_res.adb, par.adb, par-ch6.adb, g-comlin.adb,
exp_ch6.adb, lib-xref-alfa.adb: Minor reformatting.
From-SVN: r178536
Arnaud Charlet [Mon, 5 Sep 2011 13:11:29 +0000 (15:11 +0200)]
[multiple changes]
2011-09-05 Gary Dismukes <dismukes@adacore.com>
* exp_ch7.adb, exp_ch6.adb: Minor reformatting.
2011-09-05 Johannes Kanig <kanig@adacore.com>
* lib-xref-alfa.adb: Update comments.
2011-09-05 Thomas Quinot <quinot@adacore.com>
* sem_res.adb: Minor reformatting
From-SVN: r178535
Ed Schonberg [Mon, 5 Sep 2011 13:08:30 +0000 (13:08 +0000)]
exp_ch6.adb (Build_In_Place_Formal): If extra formals are not present, create them now.
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* exp_ch6.adb (Build_In_Place_Formal): If extra formals are not
present, create them now. Needed in case the return type was
a limited view in the function declaration.
(Make_Build_In_Place_Call_In_Allocator): If return type contains
tasks, build the activation chain for it. Pass a reference to
the Master_Id in call to Add_Task_Actuals_To_Build_In_Place call.
* exp_ch7.adb (Make_Set_Finalize_Address_Call): Clean up interface
with build_in_place calls.
* sem_ch9.adb (Analyze_Task_Type_Declaration): If partial view was
incomplete, inatialize its Corresponding_Record_Type component.
* sem_ch10.adb (Build_Chain): Initialize Private_Dependents field
of limited views.
From-SVN: r178534
Arnaud Charlet [Mon, 5 Sep 2011 13:02:49 +0000 (15:02 +0200)]
Fix typo.
From-SVN: r178533
Arnaud Charlet [Mon, 5 Sep 2011 13:01:17 +0000 (15:01 +0200)]
[multiple changes]
2011-09-05 Johannes Kanig <kanig@adacore.com>
* lib-xref-alfa.adb (Is_Alfa_Reference): Filter constants from effect
information.
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* par-ch6.adb (P_Subprogram): In
Ada2012 mode, if the subprogram
appears within a package specification and the token after "IS"
is not a parenthesis, assume that this is an unparenthesized
expression function, even if the token appears in a line by
itself.
* par.adb: Clarify use of Labl field of scope stack in error
recovery.
From-SVN: r178532
Arnaud Charlet [Mon, 5 Sep 2011 12:58:26 +0000 (14:58 +0200)]
[multiple changes]
2011-09-05 Bob Duff <duff@adacore.com>
* sem_res.adb (Resolve_Intrinsic_Operator): Use unchecked
conversions instead of normal type conversions in all cases where a
type conversion would be illegal. In particular, use unchecked
conversions when the operand types are private.
2011-09-05 Johannes Kanig <kanig@adacore.com>
* lib-xref-alfa.adb (Is_Alfa_Reference): Never declare effects on
objects of task type or protected type.
From-SVN: r178531
Arnaud Charlet [Mon, 5 Sep 2011 12:51:44 +0000 (14:51 +0200)]
[multiple changes]
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Analyze_Expression_Function): If the expression
function comes from source, indicate that so does its rewriting,
so it is compatible with any subsequent expansion of the
subprogram body (e.g. when it is a protected operation).
* sem_ch4.adb: minor reformatting
2011-09-05 Hristian Kirtchev <kirtchev@adacore.com>
* lib.adb (Check_Same_Extended_Unit): Comment rewriting. Use
Get_Source_Unit rather than Get_Code_Unit as instantiation unfolding
may lead to wrong ancestor package in the case of instantiated subunit
bodies. If a subunit is instantiated, follow the chain of instantiations
rather than the stub structure.
From-SVN: r178530
Georg-Johann Lay [Mon, 5 Sep 2011 12:20:03 +0000 (12:20 +0000)]
re PR target/50289 ([avr]: call-prologues saving/restoring global register variables)
PR target/50289
* config/avr/avr.c (sequent_regs_live): Don't recognize sequences
that contain global register variable.
From-SVN: r178528
Richard Guenther [Mon, 5 Sep 2011 10:31:04 +0000 (10:31 +0000)]
tree-cfg.c (replace_uses_by): Use fold_stmt, not fold_stmt_inplace.
2011-09-05 Richard Guenther <rguenther@suse.de>
* tree-cfg.c (replace_uses_by): Use fold_stmt, not fold_stmt_inplace.
From-SVN: r178527
Richard Guenther [Mon, 5 Sep 2011 09:03:08 +0000 (09:03 +0000)]
stor-layout.c (layout_type): Use size_binop for array size calculations.
2011-09-05 Richard Guenther <rguenther@suse.de>
* stor-layout.c (layout_type): Use size_binop for array size
calculations.
c-family/
* c-common.c (complete_array_type): Use ssize_int (-1) instead
of integer_minus_one_node for empty array upper bounds.
From-SVN: r178526
Georg-Johann Lay [Mon, 5 Sep 2011 08:30:17 +0000 (08:30 +0000)]
avr.h (progmem_section): Remove Declaration.
* config/avr/avr.h (progmem_section): Remove Declaration.
* config/avr/avr.c (progmem_section): Make static and rename to
progmem_swtable_section.
(avr_output_addr_vec_elt): No need to switch sections.
(avr_asm_init_sections): Use output_section_asm_op as section
callback for progmem_swtable_section.
(avr_output_progmem_section_asm_op): Remove Function.
(TARGET_ASM_FUNCTION_RODATA_SECTION): New Define.
(avr_asm_function_rodata_section): New static Function.
* config/avr/elf.h (ASM_OUTPUT_BEFORE_CASE_LABEL): Output
alignment 2**1 for jump tables.
From-SVN: r178525
Jan Hubicka [Mon, 5 Sep 2011 07:39:36 +0000 (09:39 +0200)]
ipa-inline-analysis.c (set_cond_stmt_execution_predicate): Check that parameter is SSA name.
* ipa-inline-analysis.c (set_cond_stmt_execution_predicate): Check that
parameter is SSA name.
From-SVN: r178524
Richard Guenther [Mon, 5 Sep 2011 07:32:37 +0000 (07:32 +0000)]
revert: fold-const.c (extract_muldiv_1): Remove bogus TYPE_IS_SIZETYPE special-casing.
2011-09-05 Richard Guenther <rguenther@suse.de>
Revert
2011-08-31 Richard Guenther <rguenther@suse.de>
* fold-const.c (extract_muldiv_1): Remove bogus TYPE_IS_SIZETYPE
special-casing.
From-SVN: r178523
Jason Merrill [Mon, 5 Sep 2011 04:33:57 +0000 (00:33 -0400)]
re PR c++/49267 (Ambiguity with conversion functions "T&" and "T&&", initializing a "T&&")
PR c++/49267
* call.c (reference_binding): Don't set is_lvalue for an rvalue
reference rfrom.
From-SVN: r178521
Jason Merrill [Mon, 5 Sep 2011 04:33:48 +0000 (00:33 -0400)]
re PR c++/49267 (Ambiguity with conversion functions "T&" and "T&&", initializing a "T&&")
PR c++/49267
PR c++/49458
DR 1328
* call.c (reference_binding): Set rvaluedness_matches_p properly
for reference to function conversion ops.
(compare_ics): Adjust.
From-SVN: r178520
Jason Merrill [Mon, 5 Sep 2011 04:33:40 +0000 (00:33 -0400)]
class.c (trivial_default_constructor_is_constexpr): Rename from synthesized_default_constructor_is_constexpr.
* class.c (trivial_default_constructor_is_constexpr): Rename from
synthesized_default_constructor_is_constexpr.
(type_has_constexpr_default_constructor): Adjust.
(add_implicitly_declared_members): Call it instead.
(explain_non_literal_class): Explain about non-constexpr default ctor.
* cp-tree.h: Adjust.
* method.c (synthesized_method_walk): Adjust.
* semantics.c (explain_invalid_constexpr_fn): Handle defaulted
functions, too.
From-SVN: r178519
Jason Merrill [Mon, 5 Sep 2011 04:33:08 +0000 (00:33 -0400)]
re PR c++/50248 ([C++0x] unnecessary instantiation of constexpr constructor)
PR c++/50248
Core 1358
* init.c (perform_member_init): Don't diagnose missing inits here.
(emit_mem_initializers): Or here.
* method.c (process_subob_fn): Don't instantiate constexpr ctors.
* semantics.c (cx_check_missing_mem_inits): New.
(explain_invalid_constexpr_fn): Call it.
(register_constexpr_fundef): Likewise. Leave
DECL_DECLARED_CONSTEXPR_P set when the body is unsuitable.
(cxx_eval_call_expression): Adjust diagnostics.
(cxx_eval_constant_expression): Catch use of 'this' in a constructor.
From-SVN: r178518
GCC Administrator [Mon, 5 Sep 2011 00:18:52 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r178517
Eric Botcazou [Sun, 4 Sep 2011 20:56:12 +0000 (20:56 +0000)]
* gnat.dg/specs/debug1.ads: Tweak pattern.
From-SVN: r178513
Iain Sandoe [Sun, 4 Sep 2011 19:19:39 +0000 (19:19 +0000)]
re PR libffi/49594 (bootstrap failure in libffi:darwin_closure for powerpc-darwin8)
PR libffi/49594
* src/powerpc/darwin_closure.S (stubs): Make the stub binding
helper reference track the architecture pointer size.
From-SVN: r178512
Iain Sandoe [Sun, 4 Sep 2011 18:50:09 +0000 (18:50 +0000)]
re PR debug/49901 (gfortran.dg/debug/[pr35154-dwarf2.f/pr37738.f] failures on darwin)
PR debug/49901
* config/darwin.h (DEBUG_MACRO_SECTION): New macro.
From-SVN: r178510
Janus Weil [Sun, 4 Sep 2011 10:49:13 +0000 (12:49 +0200)]
re PR fortran/50227 ([OOP] ICE-on-valid with allocatable class variable)
2011-09-04 Janus Weil <janus@gcc.gnu.org>
PR fortran/50227
* trans-types.c (gfc_sym_type): Check for proc_name.
2011-09-04 Janus Weil <janus@gcc.gnu.org>
PR fortran/50227
* gfortran.dg/class_45a.f03: New.
* gfortran.dg/class_45b.f03: New.
From-SVN: r178509
Jakub Jelinek [Sun, 4 Sep 2011 09:22:38 +0000 (11:22 +0200)]
re PR tree-optimization/50208 (ICE: in vinfo_for_stmt at tree-vectorizer.h:598 with -ftree-vectorize -fno-tree-fre -fno-tree-pre)
PR tree-optimization/50208
* tree-vect-patterns.c (vect_handle_widen_mult_by_const): Add an
argument. Check that def_stmt is inside the loop.
(vect_recog_widen_mult_pattern): Update calls to
vect_handle_widen_mult_by_cons.
(vect_operation_fits_smaller_type): Check that def_stmt is
inside the loop.
Co-Authored-By: Ira Rosen <ira.rosen@linaro.org>
From-SVN: r178508
Ira Rosen [Sun, 4 Sep 2011 08:53:43 +0000 (08:53 +0000)]
tree-vectorizer.c (vect_print_dump_info): Print line number when dumping to a file.
* tree-vectorizer.c (vect_print_dump_info): Print line
number when dumping to a file.
(vectorize_loops): Add new messages to dump file.
From-SVN: r178507
GCC Administrator [Sun, 4 Sep 2011 00:18:34 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r178506
Martin Jambor [Sat, 3 Sep 2011 19:48:39 +0000 (21:48 +0200)]
ipa-prop.h (ipa_jump_func_t): New typedef.
2011-09-03 Martin Jambor <mjambor@suse.cz>
* ipa-prop.h (ipa_jump_func_t): New typedef.
(struct ipa_edge_args): Removed field argument_count, field
jump_functions turned into a vector.
(ipa_set_cs_argument_count): Removed.
(ipa_get_cs_argument_count): Updated to work on vectors.
(ipa_get_ith_jump_func): Likewise.
* ipa-prop.c (ipa_count_arguments): Removed.
(compute_scalar_jump_functions): Use ipa_get_ith_jump_func to access
jump functions. Update caller.
(compute_pass_through_member_ptrs): Likewise.
(compute_cst_member_ptr_arguments): Likewise.
(ipa_compute_jump_functions_for_edge): Get number of arguments from
the statement, allocate vector.
(ipa_compute_jump_functions): Do not call ipa_count_arguments.
(duplicate_ipa_jump_func_array): Removed.
(ipa_edge_duplication_hook): Use VEC_copy, do not copy argument count.
(ipa_read_node_info): Allocate vector.
From-SVN: r178502
John David Anglin [Sat, 3 Sep 2011 16:30:32 +0000 (16:30 +0000)]
re PR middle-end/50232 (reorg.c:3971: undefined reference to `make_return_insns')
PR middle-end/50232
Correct log entry for last change.
From-SVN: r178501
John David Anglin [Sat, 3 Sep 2011 16:21:27 +0000 (16:21 +0000)]
PR Bug middle-end/50232
PR Bug middle-end/50232
* config/pa/pa.md (return): Define "return" insn pattern.
(epilogue): Use it when no epilogue is needed.
* config/pa/pa.c (pa_can_use_return_insn): New function.
* config/pa/pa-protos.h (pa_can_use_return_insn): Declare.
From-SVN: r178500
Eric Botcazou [Sat, 3 Sep 2011 14:56:53 +0000 (14:56 +0000)]
cfgexpand.c (add_stack_var): Assert that the alignment is not zero.
* cfgexpand.c (add_stack_var): Assert that the alignment is not zero.
* tree-ssa-ccp.c (fold_builtin_alloca_for_var): Revert latest change.
Force at least BITS_PER_UNIT alignment on the new variable.
From-SVN: r178499
GCC Administrator [Sat, 3 Sep 2011 00:18:53 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r178497
Gary Funck [Fri, 2 Sep 2011 21:19:17 +0000 (21:19 +0000)]
opts.c (print_specific_help): Fix off-by-one compare in assertion check.
2011-09-02 Gary Funck <gary@intrepid.com>
* opts.c (print_specific_help): Fix off-by-one compare in
assertion check.
* opts.h (CL_PARAMS, CL_WARNING, CL_OPTIMIZATION, CL_DRIVER,
CL_TARGET, CL_COMMON, CL_JOINED, CL_SEPARATE, CL_UNDOCUMENTED):
Increase by +5 to allow for more languages.
* optc-gen.awk: Generate #if that ensures that the number of
languages is within the implementation-defined limit.
From-SVN: r178491
Michael Matz [Fri, 2 Sep 2011 18:31:47 +0000 (18:31 +0000)]
re PR middle-end/50260 (internal compiler error: Segmentation fault at ../../gcc/gcc/tree-ssa-live.c:88)
PR middle-end/50260
* ipa-split.c (split_function): Call add_referenced_var.
* tree-ssa-phiopt.c (cond_store_replacement): Don't call get_var_ann.
(cond_if_else_store_replacement_1): Ditto.
* tree-ssa-pre.c (get_representative_for): Ditto.
(create_expression_by_pieces): Ditto.
(insert_into_preds_of_block): Ditto.
* tree-sra.c (create_access_replacement): Ditto.
(get_replaced_param_substitute): Ditto.
From-SVN: r178489
Bernd Schmidt [Fri, 2 Sep 2011 17:53:54 +0000 (17:53 +0000)]
c6x.md (collapse-ndfa, [...]): New automata_options.
* config/c6x/c6x.md (collapse-ndfa, no-comb-vect): New
automata_options.
(d1, l1, s1, m1, d2, l2, s2, m2): Changed to define_query_cpu_unit.
(l1w, s1w, l2w, s2w): Define in the main automaton.
(fps1, fpl1, adddps1, adddpl1, fps2, fpl2, adddps2, adddpl2): New
units.
* config/c6x/c6x.c (c6x_sched_insn_info): Add unit_mask member.
(c6x_unit_names): Add the new units.
(c6x_unit_codes): New static array.
(UNIT_QID_D1, UNIT_QID_L1, UNIT_QID_S1, UNIT_QID_M1, UNIT_QID_FPS1,
UNIT_QID_FPL1, UNIT_QID_ADDDPS1, UNIT_QID_ADDDPL1,
UNIT_QID_SIDE_OFFSET): New macros.
(RESERVATION_S2): Adjust value.
(c6x_option_override): Compute c6x_unit_codes.
(assign_reservations): Take the unit_mask of the last instruction
into account. Detect floating point reservations by looking for
the new units. Don't assign reservations if the field is already
nonzero.
(struct c6x_sched_context): Add member prev_cycle_state_ctx.
(init_sched_state): Initialize it.
(c6x_clear_sched_context): Free it.
(insn_set_clock): Clear reservation.
(prev_cycle_state): New static variable.
(c6x_init_sched_context): Save it.
(c6x_sched_init): Allocate space for it and clear it.
(c6x_sched_dfa_pre_cycle_insn): New static function.
(c6x_dfa_new_cycle): Save state at the start of a new cycle.
(c6x_variable_issue): Only record units in the unit_mask that
were not set at the start of the cycle.
(c6x_variable_issue): Compute and store the unit_mask from the
current state.
(reorg_split_calls): Ensure the new information remains correct.
(TARGET_SCHED_DFA_NEW_CYCLE, TARGET_SCHED_CLEAR_SCHED_CONTEXT,
TARGET_SCHED_DFA_PRE_CYCLE_INSN): Define.
* config/c6x/c6x.h (CPU_UNITS_QUERY): Define.
* config/c6x/c6x-sched.md.in (fp4_ls_N__CROSS_, adddp_ls_N__CROSS_):
Add special reservations.
* config/c6x/c6x-sched.md: Regenerate.
From-SVN: r178488
François Dumont [Fri, 2 Sep 2011 15:54:16 +0000 (15:54 +0000)]
testsuite_allocator.h (tracker_allocator_counter:: allocate): Update allocation count only if allocation succeeded.
2011-09-02 François Dumont <fdumont@gcc.gnu.org>
* testsuite/util/testsuite_allocator.h (tracker_allocator_counter::
allocate): Update allocation count only if allocation succeeded.
From-SVN: r178486
Martin Jambor [Fri, 2 Sep 2011 15:37:38 +0000 (17:37 +0200)]
ipa-prop.h (ipa_node_params): Removed fields called_with_var_arguments and node_versionable.
2011-09-02 Martin Jambor <mjambor@suse.cz>
* ipa-prop.h (ipa_node_params): Removed fields
called_with_var_arguments and node_versionable.
(ipa_set_called_with_variable_arg): Removed.
(ipa_is_called_with_var_arguments): Likewise.
* ipa-cp.c (ipa_get_lattice): Fixed index check in an assert.
(determine_versionability): Do not check for type attributes and va
builtins. Record versionability into inline summary.
(initialize_node_lattices): Do not check
ipa_is_called_with_var_arguments.
(propagate_constants_accross_call): Likewise, ignore arguments we do
not have PARM_DECLs for, set variable flag for parameters that were
not passed a value.
(create_specialized_node): Dump info that we cannot change signature.
* ipa-prop.c (ipa_compute_jump_functions): Do not care about variable
number of arguments.
(ipa_make_edge_direct_to_target): Likewise.
(ipa_update_after_lto_read): Likewise.
(ipa_node_duplication_hook): Do not copy called_with_var_arguments flag.
* tree-inline.c (copy_arguments_for_versioning): Copy PARM_DECLs if
they were remapped.
* testsuite/gcc.dg/ipa/ipcp-3.c: New test.
From-SVN: r178485
Richard Guenther [Fri, 2 Sep 2011 13:53:32 +0000 (13:53 +0000)]
re PR tree-optimization/27460 (Does not vectorize statements with mixed type COND_EXPRs)
2011-09-02 Richard Guenther <rguenther@suse.de>
PR tree-optimization/27460
PR middle-end/29269
* doc/md.texi (vcond): Document.
* genopinit.c (optabs): Turn vcond{,u}_optab into a conversion
optab with two modes.
* optabs.h (enum convert_optab_index): Add COI_vcond, COI_vcondu.
(enum direct_optab_index): Remove DOI_vcond, DOI_vcondu.
(vcond_optab): Adjust.
(vcondu_optab): Likewise.
(expand_vec_cond_expr_p): Adjust prototype.
* optabs.c (get_vcond_icode): Adjust.
(expand_vec_cond_expr_p): Likewise.
(expand_vec_cond_expr): Likewise.
* tree-vect-stmts.c (vect_is_simple_cond): Return the comparison
vector type.
(vectorizable_condition): Allow differing types for comparison
and result.
* config/i386/i386.c (ix86_expand_sse_cmp): Use proper mode
for the comparison.
* config/i386/sse.md (vcond<mode>): Split to
vcond<V_256:mode><VF_256:mode>, vcond<V_128:mode><VF_128:mode>,
vcond<V_128:mode><VI124_128:mode> and
vcondu<V_128:mode><VI124_128:mode>.
(vcondv2di): Change to vcond<VI8F_128:mode>v2di.
(vconduv2di): Likewise.
* config/arm/neon.md (vcond<mode>): Change to vcond*<mode><mode>.
(vcondu<mode>): Likewise.
* config/ia64/vect.md (vcond<mode>): Likewise.
(vcondu<mode>): Likewise.
(vcondv2sf): Likewise.
* config/mips/mips-ps-3d.md (vcondv2sf): Likewise.
* config/rs6000/paired.md (vcondv2sf): Likewise.
* config/rs6000/vector.md (vcond<mode>): Likewise.
(vcondu<mode>): Likewise.
* config/spu/spu.md (vcond<mode>): Likewise.
(vcondu<mode>): Likewise.
* gcc.dg/vect/vect-cond-7.c: New testcase.
From-SVN: r178480
Richard Guenther [Fri, 2 Sep 2011 13:52:12 +0000 (13:52 +0000)]
pretty-print.h (pp_unsigned_wide_integer): New.
2011-09-02 Richard Guenther <rguenther@suse.de>
* pretty-print.h (pp_unsigned_wide_integer): New.
* tree-pretty-print.c (dump_generic_node): Print unsigned
host-wide-int fitting INTEGER_CSTs with pp_unsigned_wide_integer.
From-SVN: r178479
Paolo Carlini [Fri, 2 Sep 2011 13:49:10 +0000 (13:49 +0000)]
bitset: Trivial formatting fixes.
2011-09-02 Paolo Carlini <paolo.carlini@oracle.com>
* include/std/bitset: Trivial formatting fixes.
From-SVN: r178478
Joseph Myers [Fri, 2 Sep 2011 13:45:31 +0000 (14:45 +0100)]
* ja.po: Update.
From-SVN: r178476
Richard Sandiford [Fri, 2 Sep 2011 13:32:10 +0000 (13:32 +0000)]
re PR target/49987 (gcc.c-torture/compile/pr34856.c fails on powerpc-darwin9 from r176228)
gcc/
PR target/49987
* config/rs6000/rs6000.c (paired_expand_vector_init): Check for
valid CONST_VECTOR operands.
(rs6000_expand_vector_init): Likewise.
From-SVN: r178474
Paolo Carlini [Fri, 2 Sep 2011 13:30:32 +0000 (13:30 +0000)]
bitset (_Base_bitset<>::_M_are_all_aux): Remove.
2011-09-02 Paolo Carlini <paolo.carlini@oracle.com>
Marc Glisse <marc.glisse@normalesup.org>
* include/std/bitset (_Base_bitset<>::_M_are_all_aux): Remove.
(_Base_bitset<>::_M_are_all): Add.
(bitset<>::all): Use the latter, improve implementation.
Co-Authored-By: Marc Glisse <marc.glisse@normalesup.org>
From-SVN: r178473
Martin Jambor [Fri, 2 Sep 2011 13:26:30 +0000 (15:26 +0200)]
cgraph.h (cgraph_indirect_call_info): Removed field thunk_delta.
2011-09-02 Martin Jambor <mjambor@suse.cz>
* cgraph.h (cgraph_indirect_call_info): Removed field thunk_delta.
* gimple-fold.c (gimple_get_virt_method_for_binfo): Rewritten to use
BINFO_VTABLE. Parameter delta removed, all callers updated.
* tree.c (free_lang_data_in_binfo): Clear BINFO_VIRTUALs instead
BINFO_VTABLE.
* cgraph.c (cgraph_make_edge_direct): Removed parameter delta, updated
all calls.
* cgraphunit.c (cgraph_redirect_edge_call_stmt_to_callee): Removed
handling of thunk_delta.
* ipa-cp.c (get_indirect_edge_target): Removed parameter delta.
(devirtualization_time_bonus): Do not handle thunk deltas.
(ipcp_discover_new_direct_edges): Likewise.
* ipa-prop.c (ipa_make_edge_direct_to_target): Likewise.
(try_make_edge_direct_simple_call): Likewise.
(try_make_edge_direct_virtual_call): Likewise.
* lto-cgraph.c (output_cgraph_opt_summary_p): Likewise. Mark
parameter set as unused.
(output_edge_opt_summary): Likewise. Mark both parameters as unused.
* lto-cgraph.c (output_cgraph_opt_summary_p): Likewise. Mark
parameter set as unused.
(output_edge_opt_summary): Likewise. Mark both parameters as unused.
(input_edge_opt_summary): Likewise.
* lto-streamer-out.c (lto_output_ts_binfo_tree_pointers): Do not stream
BINFO_VIRTUALS at all.
* lto-streamer-in.c (lto_input_ts_binfo_tree_pointers): Likewise.
* testsuite/g++.dg/ipa/devirt-3.C: Added a distraction method.
* testsuite/g++.dg/ipa/ivinline-7.C: Added a test for direct call
discovery, xfailed test for inlining.
* testsuite/g++.dg/ipa/ivinline-9.C: Likewise.
From-SVN: r178472
Richard Guenther [Fri, 2 Sep 2011 11:53:55 +0000 (11:53 +0000)]
tree-ssa-ccp.c (fold_builtin_alloca_for_var): Do not fold alloca (0).
2011-09-02 Richard Guenther <rguenther@suse.de>
* tree-ssa-ccp.c (fold_builtin_alloca_for_var): Do not
fold alloca (0).
(ccp_fold_stmt): Continue replacing args when folding
alloca fails.
From-SVN: r178465
Paolo Carlini [Fri, 2 Sep 2011 10:28:36 +0000 (10:28 +0000)]
re PR libstdc++/50268 ([C++0x] bitset doesn't sanitize input)
2011-09-02 Paolo Carlini <paolo.carlini@oracle.com>
Marc Glisse <marc.glisse@normalesup.org>
PR libstdc++/50268
* include/std/bitset (struct _Sanitize_val): Add.
(bitset<>::bitset(unsigned long long)): Fix.
* testsuite/23_containers/bitset/cons/50268.cc: New.
Co-Authored-By: Marc Glisse <marc.glisse@normalesup.org>
From-SVN: r178463
Arnaud Charlet [Fri, 2 Sep 2011 10:10:35 +0000 (12:10 +0200)]
[multiple changes]
2011-09-02 Robert Dewar <dewar@adacore.com>
* sem_ch4.adb, sem_ch6.adb: Minor reformatting.
* gcc-interface/Make-lang.in: Update dependencies.
2011-09-02 Marc Sango <sango@adacore.com>
* sem_ch3.adb (Analyze_Object_Declaration): Change
comment and add additional check to differentiate constant of
type string from others unconstrained type.
From-SVN: r178462
Ed Schonberg [Fri, 2 Sep 2011 10:07:35 +0000 (10:07 +0000)]
sinfo.ads, sinfo.adb: New semantic attribute Premature_Use...
2011-09-02 Ed Schonberg <schonberg@adacore.com>
* sinfo.ads, sinfo.adb: New semantic attribute Premature_Use,
present in incomplete type declarations to refine the error
message the full declaration is in the same unit.
* sem_ch4.adb (Analyze_Selected_Component): If the prefix is of
an incomplete type, set the Premature_Use for additional message.
* sem_ch3.adb (Find_Type_Name): If partial view is incomplete
and Premature_Use is set, place additional information at the
point of premature use.
From-SVN: r178461
Arnaud Charlet [Fri, 2 Sep 2011 09:59:32 +0000 (11:59 +0200)]
[multiple changes]
2011-09-02 Bob Duff <duff@adacore.com>
* sem_ch6.adb: (Check_Post_State): Suppress warning
"postcondition refers only to pre-state" when the expression has not
yet been analyzed, because it causes false alarms. This can happen when
the postcondition contains a quantified expression, because those are
analyzed later. This is a temporary/partial fix.
(Process_Post_Conditions): Minor: change wording of warning.
2011-09-02 Marc Sango <sango@adacore.com>
* sem_ch3.adb (Analyze_Object_Declaration): Detect the violation of
illegal use of unconstrained string type in SPARK mode.
* sem_res.adb (Analyze_Operator_Symbol): Set the
right place where the string operand of concatenation should be
violate in SPARK mode.
From-SVN: r178460
Robert Dewar [Fri, 2 Sep 2011 09:57:21 +0000 (09:57 +0000)]
sem_prag.adb, [...]: Minor reformatting.
2011-09-02 Robert Dewar <dewar@adacore.com>
* sem_prag.adb, sem_util.adb, sem_ch6.adb, prj-nmsc.adb,
exp_ch3.adb: Minor reformatting.
From-SVN: r178459
Arnaud Charlet [Fri, 2 Sep 2011 09:52:36 +0000 (11:52 +0200)]
[multiple changes]
2011-09-02 Vincent Celier <celier@adacore.com>
* prj-conf.adb (Add_Default_GNAT_Naming_Scheme): Declare "gcc"
as the compiler driver so Is_Compilable returns True for sources.
* prj-nmsc.adb (Override_Kind): When Kind is Sep, set the source
for the body.
2011-09-02 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze_PPC_In_Decl_Part): for a class-wide
condition, a reference to a controlling formal must be interpreted
as having the class-wide type (or an access to such) so that the
inherited condition can be properly applied to any overriding
operation (see ARM12 6.6.1 (7)).
2011-09-02 Tristan Gingold <gingold@adacore.com>
* init.c (__gnat_is_vms_v7): Fix case and add prototype
for LIB$GETSYI.
2011-09-02 Javier Miranda <miranda@adacore.com>
* exp_ch3.adb (Expand_N_Object_Declaration): Do not copy the
initializing expression of a class-wide interface object declaration
if its type is limited.
2011-09-02 Johannes Kanig <kanig@adacore.com>
* sem_util.adb (Unique_Name): To obtain a unique name for enumeration
literals, take into account the type name; the type is *not*
the scope for an enumeration literal.
2011-09-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Check_Overriding_Indicator): add special check
to reject an overriding indicator on a user-defined Adjust
subprogram for a limited controlled type.
2011-09-02 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Actuals): add missing call to Resolve
for an actual that is a function call returning an unconstrained
limited controlled type.
2011-09-02 Tristan Gingold <gingold@adacore.com>
* g-socthi-vms.adb (c_sendmsg, c_recvmsg): Use unpacked msg if on vms 7
2011-09-02 Johannes Kanig <kanig@adacore.com>
* alfa.ads (Name_Of_Heap_Variable): Change value of the HEAP variable
from "HEAP" to __HEAP Change comment that refers to that variable
* put_alfa.adb: Change comment that refers to that variable
From-SVN: r178458
Arnaud Charlet [Fri, 2 Sep 2011 09:47:42 +0000 (11:47 +0200)]
[multiple changes]
2011-09-02 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb, exp_ch6.adb, prj-nmsc.adb: Minor reformatting.
2011-09-02 Hristian Kirtchev <kirtchev@adacore.com>
* exp_util.adb (Extract_Renamed_Object): Renamed to
Find_Renamed_Object. This routine has been reimplemented and now uses
tree traversal to locate a renamed object.
(Is_Aliased): Replace call to Extract_Renamed_Object with
Find_Renamed_Object.
2011-09-02 Tristan Gingold <gingold@adacore.com>
* init.c: (__gnat_is_vms_v7): New function.
2011-09-02 Olivier Hainque <hainque@adacore.com>
* tracebak.c (STOP_FRAME, ppc elf/vxworks case): Stop on frames
that have a misaligned backchain, necessarily bogus.
From-SVN: r178457
Hristian Kirtchev [Fri, 2 Sep 2011 09:45:45 +0000 (09:45 +0000)]
exp_ch3.adb (Expand_Freeze_Class_Wide_Type): Do not create TSS routine Finalize_Address when compiling in Alfa mode.
2011-09-02 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch3.adb (Expand_Freeze_Class_Wide_Type): Do not create
TSS routine Finalize_Address when compiling in Alfa mode.
(Expand_Freeze_Record_Type): Do not create TSS routine
Finalize_Address when compiling in Alfa mode.
* exp_ch4.adb (Expand_Allocator_Expression): Do not produce a
call to Set_Finalize_Address in Alfa mode because Finalize_Address is
not built.
(Expand_N_Allocator): Do not produce a call to
Set_Finalize_Address in Alfa mode because Finalize_Address is not built.
* exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): Do not
produce a call to primitive Set_Finalize_Address in Alfa mode because
Finalize_Address is not built.
* exp_ch7.adb (Build_Finalization_Master): Do not create
finalization masters in Afa mode since they are not needed.
(Build_Finalizer): Do not create scope and library-level
finalizers in Alfa mode since they are not needed.
* exp_util.adb (Build_Allocate_Deallocate_Proc): Do not expand
"new" and "free" when applied to controlled objects in Alfa mode since
this is not needed.
From-SVN: r178456
Arnaud Charlet [Fri, 2 Sep 2011 09:43:58 +0000 (11:43 +0200)]
[multiple changes]
2011-09-02 Vincent Celier <celier@adacore.com>
* prj-nmsc.db: (Check_Stand_Alone_Library): For SALs, allow
only library names with the syntax of Ada identifiers, to avoid errors
when compiling the binder generated files.
* projects.texi: Document restriction on SAL library names
2011-09-02 Thomas Quinot <quinot@adacore.com>
* a-chtgbo.adb: Minor comment fix.
From-SVN: r178455
Arnaud Charlet [Fri, 2 Sep 2011 09:36:28 +0000 (11:36 +0200)]
[multiple changes]
2011-09-02 Robert Dewar <dewar@adacore.com>
* lib-xref.adb: Minor reformatting
2011-09-02 Vincent Celier <celier@adacore.com>
* bindusg.adb, clean.adb, gnatchop.adb, gnatfind.adb, gnatlink.adb,
gnatls.adb, gnatname.adb, gnatxref.adb, gprep.adb, makeusg.adb: Add
--version and --help in usage.
* switch.ads, switch.adb (Display_Usage_Version_And_Help): New procedure
From-SVN: r178454
Arnaud Charlet [Fri, 2 Sep 2011 09:32:10 +0000 (11:32 +0200)]
[multiple changes]
2011-09-02 Bob Duff <duff@adacore.com>
* lib-xref.adb: (Hash): Avoid use of 'Mod attribute, because old
compilers don't understand it.
2011-09-02 Gary Dismukes <dismukes@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference): Pass the
underlying subtype rather than its base type on the call to
Build_Record_Or_Elementary_Input_Function, so that any
constraints on a discriminated subtype will be available for
doing the check required by AI05-0192.
* exp_strm.adb (Build_Record_Or_Elementary_Input_Function):
If the prefix subtype of the 'Input attribute is a constrained
discriminated subtype, then check each constrained discriminant value
against the corresponding value read from the stream.
From-SVN: r178453
Yannick Moy [Fri, 2 Sep 2011 09:29:53 +0000 (09:29 +0000)]
usage.adb, [...]: Disable by default warnings on suspicious contracts, and enable them with -gnatwa.
2011-09-02 Yannick Moy <moy@adacore.com>
* usage.adb, warnsw.adb, sem_ch6.adb, opt.ads: Disable by default
warnings on suspicious contracts, and enable them with -gnatwa.
From-SVN: r178452
Robert Dewar [Fri, 2 Sep 2011 09:28:52 +0000 (09:28 +0000)]
exp_util.adb, [...]: Minor reformatting.
2011-09-02 Robert Dewar <dewar@adacore.com>
* exp_util.adb, exp_ch9.adb, sem_attr.adb, sem_ch6.adb: Minor
reformatting.
From-SVN: r178450
Arnaud Charlet [Fri, 2 Sep 2011 09:27:35 +0000 (11:27 +0200)]
[multiple changes]
2011-09-02 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch9.adb (Install_Private_Data_Declarations): Add guards
which ensure that restriction No_Dynamic_Attachment has not been
violated.
(Make_Initialize_Protection): Protected types with attach or
interrupt handlers must not violate restriction No_Dynamic_Attachment.
* exp_util.adb (Corresponding_Runtime_Package): Add a guard
which ensures that restriction No_Dynamic_Attachment has not been
violated.
* sem_attr.adb: (Eval_Attribute): Transform
VAX_Float_Type'First and 'Last into references to
the temporaries which store the corresponding bounds. The
transformation is needed since the back end cannot evaluate
'First and 'Last on VAX.
(Is_VAX_Float): New routine.
2011-09-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Analyze_Subprogram_Instantiation): If the
generic unit is not intrinsic and has an explicit convention,
the instance inherits it.
From-SVN: r178449
Arnaud Charlet [Fri, 2 Sep 2011 09:22:16 +0000 (11:22 +0200)]
[multiple changes]
2011-09-02 Robert Dewar <dewar@adacore.com>
* prj-dect.adb, prj-env.adb, prj-nmsc.adb, prj-proc.adb, prj-tree.adb,
prj.adb, prj.ads, sem_ch5.adb: Minor reformatting.
2011-09-02 Thomas Quinot <quinot@adacore.com>
* sem_attr.adb (Analyze_Attribute, case Unrestriced_Access):
Guard against a prefix that is an N_Has_Entity but has no
associated entity.
2011-09-02 Yannick Moy <moy@adacore.com>
* lib-xref-alfa.adb (Is_Alfa_Reference): Ignore IN parameters in Alfa
references.
2011-09-02 Yannick Moy <moy@adacore.com>
* opt.ads (Warn_On_Suspicious_Contract): New warning flag.
* sem_ch3.adb (Analyze_Declarations): Call checker for suspicious
contracts.
* sem_ch6.adb, sem_ch6.ads (Check_Subprogram_Contract): New
procedure looking for suspicious postconditions.
* usage.adb (Usage): New options -gnatw.t and -gnatw.T.
* warnsw.adb (Set_Dot_Warning_Switch): Take into account new
options -gnatw.t and -gnatw.T.
From-SVN: r178448
Arnaud Charlet [Fri, 2 Sep 2011 09:13:01 +0000 (11:13 +0200)]
[multiple changes]
2011-09-02 Pascal Obry <obry@adacore.com>
* prj-proc.adb, prj.adb, prj.ads, prj-dect.adb, prj-nmsc.adb,
prj-conf.adb, projects.texi: Add support for aggregate library projects.
2011-09-02 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch9.adb (Expand_N_Protected_Type_Declaration): Use
Dynamic_Interrupt_Protection as the proper protection type when
dynamic handler association is actually allowed.
2011-09-02 Robert Dewar <dewar@adacore.com>
* makeutl.ads: Minor reformatting
From-SVN: r178446
Pascal Obry [Fri, 2 Sep 2011 09:04:38 +0000 (09:04 +0000)]
prj.adb: Minor code refactoring.
2011-09-02 Pascal Obry <obry@adacore.com>
* prj.adb: Minor code refactoring. Move check for null project in
Project_Changed.
* projects.texi: Fix minor typos.
From-SVN: r178444
Arnaud Charlet [Fri, 2 Sep 2011 09:03:06 +0000 (11:03 +0200)]
[multiple changes]
2011-09-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb (Analyze_Iterator_Specification): If the domain
of iteration is an expression, its value must be captured in a
renaming declaration, so that modification of the elements is
propagated to the original container.
2011-09-02 Pascal Obry <obry@adacore.com>
* prj-proc.adb, prj.adb, makeutl.adb, makeutl.ads, prj-dect.adb,
prj-nmsc.adb, prj-util.adb, prj-conf.adb, prj-env.adb,
prj-tree.adb: Minor reformatting and style fixes.
From-SVN: r178443
Arnaud Charlet [Fri, 2 Sep 2011 08:36:59 +0000 (10:36 +0200)]
Fix typo.
From-SVN: r178442
Arnaud Charlet [Fri, 2 Sep 2011 08:25:44 +0000 (10:25 +0200)]
[multiple changes]
2011-09-02 Robert Dewar <dewar@adacore.com>
* s-rident.ads: Add new restriction No_Implicit_Aliasing
* sem_attr.adb: (Analyze_Access_Attribute): Deal with
No_Implicit_Aliasing
(Analyze_Attribute, case Address): ditto
(Analyze_Attribute, case Unrestricted_Access): ditto
* sem_util.ads, sem_util.adb: (Is_Aliased_View): Handle
No_Implicit_Aliasing restriction.
* gnat_rm.texi: Add documentation for No_Implicit_Aliasing
2011-09-02 Ed Schonberg <schonberg@adacore.com>
* exp_util.adb: (Possible_Bit_Aligned_Object): If the object
is an unchecked conversion, apply test to its expression.
2011-09-02 Javier Miranda <miranda@adacore.com>
* sem_ch3.adb (Check_Abstract_Overriding): When
traversing the chain of aliased subprograms avoid reporting a
redundant error on the current entity.
2011-09-02 Sergey Rybin <rybin@adacore.com>
* gnat_ugn.texi: Minor clean up.
2011-09-02 Bob Duff <duff@adacore.com>
* s-htable.adb (Set_If_Not_Present): Use renaming
instead of ":=", because the type Key is limited in the generic (even
if not in the instances).
From-SVN: r178440
Arnaud Charlet [Fri, 2 Sep 2011 07:42:02 +0000 (09:42 +0200)]
[multiple changes]
2011-09-02 Robert Dewar <dewar@adacore.com>
* exp_util.adb, sem_ch10.adb, sem_attr.adb, s-htable.adb,
g-comlin.adb, g-comlin.ads, lib-xref-alfa.adb, lib-xref.adb: Minor
reformatting.
2011-09-02 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch3.adb: (Set_Anonymous_Type): Associate the itype of an
inherited component with the enclosing derived type. Code reformatting.
2011-09-02 Gary Dismukes <dismukes@adacore.com>
* checks.adb: (Determine_Range): Add test of OK1 to prevent the early
return done when overflow checks are enabled, since comparisons against
Lor and Hir should not be done when OK1 is False.
2011-09-02 Gary Dismukes <dismukes@adacore.com>
* exp_ch6.adb (Add_Finalization_Master_Actual_To_Build_In_Place_Call):
Add new formal Master_Exp. When present, add that expression to the
call as an extra actual.
(Make_Build_In_Place_Call_In_Object_Declaration): Add variable
Fmaster_Actual and in the case of a BIP call initializing a return
object of an enclosing BIP function set it to a
new reference to the implicit finalization master
formal of the enclosing function. Fmaster_Actual is
then passed to the new formal Master_Exp on the call to
Add_Finalization_Master_Actual_To_Build_ In_Place_Call. Move
initializations of Enclosing_Func to its declaration.
2011-09-02 Thomas Quinot <quinot@adacore.com>
* csets.ads: Minor reformatting
2011-09-02 Hristian Kirtchev <kirtchev@adacore.com>
* exp_aggr.adb: (Get_Constraint_Association): Add code to retrieve
the full view of a private type coming from an instantiation.
* exp_ch4.adb: (Current_Anonymous_Master): Reimplement the search
loop to iterate over the declarations rather than use the
First_Entity / Next_Entity scheme.
From-SVN: r178438
Ed Schonberg [Fri, 2 Sep 2011 07:19:46 +0000 (07:19 +0000)]
sem_attr.adb: (Analyze_Attribute, case 'Range): when expanding X'range (N) into X'First (N) ..
2011-09-02 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb: (Analyze_Attribute, case 'Range): when expanding
X'range (N) into X'First (N) .. X'Last (N), do not share the
dimension indicator N, if present. Even though it is a static
constant, its source location may be modified when printing
expanded code under -gnatDL, and node sharing will lead to chaos
in Sprint on large files, by generating a sloc value that does
not correspond to any source file.
From-SVN: r178437
Arnaud Charlet [Fri, 2 Sep 2011 07:14:48 +0000 (09:14 +0200)]
[multiple changes]
2011-09-02 Bob Duff <duff@adacore.com>
* einfo.adb: (Has_Xref_Entry): Do not call
Implementation_Base_Type. Lib.Xref has been
rewritten to avoid the need for it, and it was costly.
* s-htable.ads,s-htable.adb: (Present,Set_If_Not_Present): New
functions in support of efficient xref.
* lib-xref-alfa.adb: Misc changes related to Key component of
type Xref_Entry.
* lib-xref.adb: (Add_Entry,etc): Speed improvement.
(New_Entry): Call Implementation_Base_Type, because Has_Xref_Entry
no longer does. This is the one place where it is needed.
2011-09-02 Johannes Kanig <kanig@adacore.com>
* g-comlin.adb (Getopt): New optional argument Concatenate to have
similar interface as the other Getopt function.
2011-09-02 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch4.adb: (Expand_Allocator_Expression): Do not generate
a call to Set_Finalize_Address if there is no allocator available.
* exp_util.adb: (Build_Allocate_Deallocate_Proc): Account for
a case of allocator expansion where the allocator is not expanded but
needs a custom allocate routine. Code reformatting.
(Is_Finalizable_Transient): Remove local variables Has_Rens and
Ren_Obj. Code reformatting.
(Is_Renamed): Renamed to Is_Aliased. Add code to detect aliasing
through the use of 'reference.
* sem_ch4.adb: (Analyze_Allocator): Detect allocators generated
as part of build-in-place expansion. They are intentionally marked as
coming from source, but their parents are not.
From-SVN: r178436
Arnaud Charlet [Fri, 2 Sep 2011 07:10:07 +0000 (09:10 +0200)]
[multiple changes]
2011-09-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Analyze_With_Clause): If the library unit
is the generated subprogram declaration for a child unit body
that acts as spec, use the original body in the with_clause,
to prevent binding errors.
2011-09-02 Vincent Celier <celier@adacore.com>
* gnat_ugn.texi: Adapt documentation of -gnateInnn to new VMS
qualifier /MULTI_UNIT_INDEX=
2011-09-02 Johannes Kanig <kanig@adacore.com>
* g-comlin.adb (Getopt): Return when switch is dealt with automatically,
instead of calling the callback function
From-SVN: r178435
Robert Dewar [Fri, 2 Sep 2011 07:02:25 +0000 (07:02 +0000)]
[multiple changes]
2011-09-02 Vincent Celier <celier@adacore.com>
* prj-nmsc.adb: (Find_Sources): When the list of sources is
explicitly declared in an extending project, do not warn if a source
for an inherited naming exception is not found.
2011-09-02 Gary Dismukes <dismukes@adacore.com>
* exp_ch6.adb: (Is_Build_In_Place_Function_Call): Return False if
expansion is inactive.
2011-09-02 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Note_Possible_Modification): If the entity
being modified is the renaming generated for an
Ada2012 iterator
element, the enclosing container or array is modified as well.
From-SVN: r178434
Arnaud Charlet [Fri, 2 Sep 2011 06:51:46 +0000 (08:51 +0200)]
[multiple changes]
2011-09-02 Vincent Celier <celier@adacore.com>
* prj-nmsc.adb: (Find_Sources): When the list of sources is
explicitly declared in an extending project, do not warn if a source
for an inherited naming exception is not found.
2011-09-02 Gary Dismukes <dismukes@adacore.com>
* exp_ch6.adb: (Is_Build_In_Place_Function_Call): Return False if
expansion is inactive.
2011-09-02 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Note_Possible_Modification): If the entity
being modified is the renaming generated for an
Ada2012 iterator
element, the enclosing container or array is modified as well.
From-SVN: r178433
Arnaud Charlet [Fri, 2 Sep 2011 06:48:53 +0000 (08:48 +0200)]
[multiple changes]
2011-09-02 Jose Ruiz <ruiz@adacore.com>
* s-taprop-linux.adb (Initialize_Lock, Initialize_TCB,
Initialize): Define and initialize the
mutex attributes and condition variable attributes locally.
2011-09-02 Vincent Celier <celier@adacore.com>
* prj-nmsc.adb (Check_File): Mark as Locally_Removed a naming
exception replaced in an extending project.
(Check_Object): No error when the other source is locally removed.
2011-09-02 Yannick Moy <moy@adacore.com>
* exp_ch6.adb (Is_Build_In_Place_Function_Call): in Alfa mode, allow
unresolved calls.
From-SVN: r178432
GCC Administrator [Fri, 2 Sep 2011 00:18:01 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r178431
Thomas Koenig [Thu, 1 Sep 2011 16:44:16 +0000 (16:44 +0000)]
bessel_r4.c: Regenerated.
2011-09-01 Thomas Koenig <tkoenig@gcc.gnu.org>
* generated/bessel_r4.c: Regenerated.
* generated/bessel_r8.c: Regenerated.
* generated/bessel_r10.c: Regenerated.
* generated/bessel_r16.c: Regenerated.
From-SVN: r178425
Paolo Carlini [Thu, 1 Sep 2011 15:45:20 +0000 (15:45 +0000)]
hashtable.h (_Hashtable<>::_Hashtable(_Hashtable&&)): Remove noexcept, the move constructor allocates memory...
2011-09-01 Paolo Carlini <paolo.carlini@oracle.com>
* include/bits/hashtable.h (_Hashtable<>::_Hashtable(_Hashtable&&)):
Remove noexcept, the move constructor allocates memory; rearrange
the code in the body to consistently update __ht._M_rehash_policy
before using _M_next_bkt on it.
* include/debug/unordered_map: Adjust.
* include/debug/unordered_set: Likewise.
* include/profile/unordered_map: Likewise.
* include/profile/unordered_set: Likewise.
* testsuite/23_containers/unordered_map/cons/
noexcept_move_construct.cc: Remove.
* testsuite/23_containers/unordered_set/cons/
noexcept_move_construct.cc: Likewise.
* testsuite/23_containers/unordered_multimap/cons/
noexcept_move_construct.cc: Likewise.
* testsuite/23_containers/unordered_multiset/cons/
noexcept_move_construct.cc: Likewise.
From-SVN: r178423
Arnaud Charlet [Thu, 1 Sep 2011 14:22:43 +0000 (14:22 +0000)]
Makefile.in: Clean up handling of x86 and x86-64 run-time files.
* gcc-interface/Makefile.in: Clean up handling of x86 and x86-64
run-time files.
* gcc-interface/Make-lang.in: Update dependencies.
From-SVN: r178421
Arnaud Charlet [Thu, 1 Sep 2011 14:13:29 +0000 (16:13 +0200)]
Fix thinko.
From-SVN: r178420
Arnaud Charlet [Thu, 1 Sep 2011 14:02:35 +0000 (16:02 +0200)]
Add missing prototypes.
From-SVN: r178419
Arnaud Charlet [Thu, 1 Sep 2011 13:55:43 +0000 (15:55 +0200)]
[multiple changes]
2011-09-01 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, s-taprop-linux.adb, gnatls.adb: Minor reformatting.
2011-09-01 Jose Ruiz <ruiz@adacore.com>
* adaint.h (__gnat_cpu_free): Fix the name of this profile.
* adaint.c (__gnat_cpu_alloc, __gnat_cpu_alloc_size, __gnat_cpu_free,
__gnat_cpu_zero, __gnat_cpu_set): Create version of these subprograms
specific for systems where their glibc version does not define the
routines to handle dynamically allocated CPU sets.
2011-09-01 Vincent Celier <celier@adacore.com>
* prj-proc.adb, prj.ads, prj-nmsc.adb, prj-util.adb, prj-util.ads,
prj-env.adb: Implement inheritance of naming exceptions in extending
projects.
From-SVN: r178418
Arnaud Charlet [Thu, 1 Sep 2011 13:52:39 +0000 (15:52 +0200)]
[multiple changes]
2011-09-01 Romain Berrendonner <berrendo@adacore.com>
* gnatls.adb: Display simple message instead of content of
gnatlic.adl.
2011-09-01 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch3.adb: (Build_Derived_Record_Type) Remove the kludgy update of
access discriminant and anonymous access component scopes.
(Inherit_Component): Reuse the itype of an access discriminant
or anonymous access component by copying it in order to set the proper
scope. This is done only when the parent and the derived type
are in different scopes.
(Set_Anonymous_Etype): New routine.
2011-09-01 Robert Dewar <dewar@adacore.com>
* a-convec.adb: Minor reformatting throughout.
From-SVN: r178417
Jose Ruiz [Thu, 1 Sep 2011 13:40:48 +0000 (13:40 +0000)]
adaint.c, adaint.h (__gnat_cpu_alloc, [...]): Create these wrappers around the CPU_ALLOC...
2011-09-01 Jose Ruiz <ruiz@adacore.com>
* adaint.c, adaint.h (__gnat_cpu_alloc, __gnat_cpu_alloc_size,
__gnat_cpu_set_free): Create these wrappers around the CPU_ALLOC,
CPU_ALLOC_SIZE and CPU_FREE linux macros.
(__gnat_cpu_zero, __gnat_cpu_set): Use the CPU_ZERO_S and
CPU_SET_S respectively because we are now using dynamically allocated
CPU sets which are more portable across different glibc versions.
* s-osinte-linux.ads (cpu_set_t_ptr, CPU_ALLOC, CPU_ALLOC_SIZE,
CPU_FREE): Add this type and subprograms to be able to create cpu_set_t
masks dynamically according to the number of processors in the target
platform.
(CPU_ZERO, CPU_SET): They are now mapped to the CPU_ZERO_S and CPU_SET_S
respectively, so we need to pass the size of the masks as
parameters.
* s-taprop-linux.adb (Create_Task, Set_Task_Affinity): Use dynamically
created cpu_set_t masks
with the number of processors available in the target platform,
instead of static bit arrays. It enhances portability because
it uses the information from the target platform.
* sem_ch8.adb: (Attribute_Renaming): When checking whether we
are using a restricted run-time library, use the flag
Configurable_Run_Time_Mode instead of Restricted_Profile.
From-SVN: r178416
Arnaud Charlet [Thu, 1 Sep 2011 13:37:13 +0000 (15:37 +0200)]
[multiple changes]
2011-09-01 Vincent Celier <celier@adacore.com>
* ug_words: Add /MULTI_UNIT_INDEX= -> -gnateI
* vms_data.ads: Add new VMS qualifier equivalent for -gnateInnn
2011-09-01 Nicolas Roche <roche@adacore.com>
* adaint.c (__gnat_tmp_name): Don't use tmpnam function from the system
on VxWorks in kernel mode.
From-SVN: r178415
Arnaud Charlet [Thu, 1 Sep 2011 13:29:39 +0000 (15:29 +0200)]
[multiple changes]
2011-09-01 Jose Ruiz <ruiz@adacore.com>
* s-taprop-linux.adb (Create_Task, Set_Task_Affinity): Use the linux
macros for handling CPU sets (CPU_ZERO, CPU_SET) instead of modifying
directly the bit array.
* s-osinte-linux.ads (CPU_ZERO, CPU_SET): Import these wrappers around
the linux macros with the same name.
* adaint.h, adaint.c (__gnat_cpu_zero, __gnat_cpu_set): Create these
wrappers around the CPU_ZERO and CPU_SET linux macros.
2011-09-01 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch7.adb (Find_Insertion_List): Removed.
(Process_Transient_Objects): Insert the declarations of the hook
access type and the hook object before the associated transient object.
2011-09-01 Jose Ruiz <ruiz@adacore.com>
* sem_ch8.adb (Attribute_Renaming): Add missing check to avoid loading
package System.Aux_Dec when using restricted run-time libraries which
do not have this package.
2011-09-01 Tristan Gingold <gingold@adacore.com>
* s-vaflop-vms-alpha.adb: Remove pragma optimize, useless.
2011-09-01 Bob Duff <duff@adacore.com>
* sem_attr.adb (Analyze_Access_Attribute): Do not call
Kill_Current_Values for P'Unrestricted_Access, where P is library level
2011-09-01 Thomas Quinot <quinot@adacore.com>
* exp_ch5.adb: Minor reformatting
* gnat_ugn.texi: Fix minor typos.
* gcc-interface/Make-lang.in: Update dependencies.
From-SVN: r178414
Arnaud Charlet [Thu, 1 Sep 2011 13:22:54 +0000 (15:22 +0200)]
[multiple changes]
2011-09-01 Robert Dewar <dewar@adacore.com>
* inline.adb, sem_aggr.adb: Minor reformatting.
2011-09-01 Ed Schonberg <schonberg@adacore.com>
* a-convec.adb: Proper handling of cursors for
Ada2012 iterators.
From-SVN: r178413
Arnaud Charlet [Thu, 1 Sep 2011 13:21:23 +0000 (15:21 +0200)]
[multiple changes]
2011-09-01 Robert Dewar <dewar@adacore.com>
* prj-proc.adb, exp_ch6.adb, prj-env.adb: Minor reformatting.
2011-09-01 Bob Duff <duff@adacore.com>
* sem_aggr.adb (Resolve_Aggregate): Need to treat "in instance
body" the same as "in inlined body", because visibility shouldn't
apply there.
2011-09-01 Eric Botcazou <ebotcazou@adacore.com>
* inline.adb (Add_Inlined_Body): Refine previous change.
From-SVN: r178412
Arnaud Charlet [Thu, 1 Sep 2011 13:16:58 +0000 (15:16 +0200)]
[multiple changes]
2011-09-01 Gary Dismukes <dismukes@adacore.com>
* exp_ch6.ads (Needs_BIP_Alloc_Form): New utility function.
* exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration):
Test for case where call
initializes an object of a return statement before testing for
a constrained call, to ensure that all such cases get handled
by simply passing on the caller's parameters. Also, in that
case call Needs_BIP_Alloc_Form to determine whether to pass on
the BIP_Alloc_Form parameter of the enclosing function rather
than testing Is_Constrained. Add similar tests for the return
of a BIP call to later processing to ensure consistent handling.
(Needs_BIP_Alloc_Form): New utility function.
* sem_ch6.adb: (Create_Extra_Formals): Replace test for adding
a BIP_Alloc_Form formal with call to new utility function
Needs_BIP_Alloc_Form.
2011-09-01 Pascal Obry <obry@adacore.com>
* prj-part.adb: Minor reformatting.
2011-09-01 Vincent Celier <celier@adacore.com>
* prj-env.adb (Create_Mapping_File.Process): Encode the upper
half character in the unit name.
From-SVN: r178411