aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2007-08-16Makefile.in (gnatlib): Propagate FORCE_DEBUG_ADAFLAGS value to sub makefilesNicolas Roche2-31/+37
2007-08-16 Nicolas Roche <roche@adacore.com> * Makefile.in (gnatlib): Propagate FORCE_DEBUG_ADAFLAGS value to sub makefiles * Make-lang.in: Update dependencies From-SVN: r127543
2007-08-16make.adb (Collect_Arguments): Call Test_If_Relative_Path with ↵Vincent Celier3-11/+20
Including_Non_Switch set to False. 2007-08-16 Vincent Celier <celier@adacore.com> * make.adb (Collect_Arguments): Call Test_If_Relative_Path with Including_Non_Switch set to False. (Gnatmake): For the compiler, call Test_If_Relative_Path with Including_Non_Switch set to False. * makeutl.adb, makeutl.ads (Test_If_Relative_Path): New Boolean parameter Including_Non_Switch, defaulted to True. When Including_Non_Switch is False, options that are not switches and appear as relative path are not converted to absolute paths. From-SVN: r127542
2007-08-16g-dyntab.adb, [...]: (Set_Item): Suppress Range_Check on Allocated_Table.Thomas Quinot3-3/+31
2007-08-16 Thomas Quinot <quinot@adacore.com> * g-dyntab.adb, g-table.adb, table.adb: (Set_Item): Suppress Range_Check on Allocated_Table. From-SVN: r127541
2007-08-16exp_ch9.adb (Build_Protected_Entry): Undo previous change because it is not ↵Javier Miranda1-5/+3
really required and can introduce... 2007-08-16 Javier Miranda <miranda@adacore.com> * exp_ch9.adb (Build_Protected_Entry): Undo previous change because it is not really required and can introduce regression with the debugger. The original problem is fixed with the patch written for checks.adb. From-SVN: r127540
2007-08-16exp_attr.adb (Attribute_Priority): Add missing support for entries and entry ↵Javier Miranda1-10/+66
barriers. 2007-08-16 Javier Miranda <miranda@adacore.com> * exp_attr.adb (Attribute_Priority): Add missing support for entries and entry barriers. From-SVN: r127539
2007-08-16exp_aggr.adb (Build_Record_Aggr_Code): Extend the test for an ancestor part ↵Gary Dismukes8-91/+246
given by an aggregate to test for an... 2007-08-16 Gary Dismukes <dismukes@adacore.com> Ed Schonberg <schonberg@adacore.com> Javier Miranda <miranda@adacore.com> * exp_aggr.adb (Build_Record_Aggr_Code): Extend the test for an ancestor part given by an aggregate to test for an unchecked conversion, since this can occur in some cases when the ancestor part is a function call, and we don't want to fall into the recursive call to this procedure in that case. * exp_ch3.adb (Stream_Operation_OK): Revise tests for availability of stream attributes on limited types to account for user-specified attributes as well as whether Input (resp. Output) becomes available due to Read (resp. Write) being available for the type. Change Boolean variable to the more accurate name Has_Predefined_Or_Specified_Stream_Attribute. Change convoluted double-"not" predicate at beginning of return statement to more understandable form. * exp_ch5.adb (Expand_N_Extended_Return_Statement): If the extended return has an associated N_Handled_Sequence_Of_Statements, then wrap it in a block statement and use that as the first statement of the expanded return rather than incorrectly using the handled sequence as the first statement. * exp_ch6.adb (Expand_N_Subprogram_Declaration): If this is a protected operation, generate an explicit freeze node for it rather than generating extra formals, to ensure that gigi has the proper order of elaboration for anonymous subtypes in the signature of the subprograms. (Build_In_Place_Formal): Move assertion to beginning of loop. (Is_Build_In_Place_Function_Call): Allow for an unchecked conversion applied to a function call (occurs for some cases of 'Input). (Make_Build_In_Place_Call_In_*): Allow for an unchecked conversion applied to a function call (occurs for some cases of 'Input). * exp_strm.adb (Build_Record_Or_Elementary_Input_Function): For Ada 2005, generate an extended return statement enclosing the result object and 'Read call. * freeze.adb (Freeze_Record_Type): Extend the current management of components that are access type with an allocator as default value: add missing support to the use of qualified expressions of the allocator (which also cause freezing of the designated type!) (Freeze_Entity): Call Freeze_Subprogram in the case of a predefined dispatching operation, since extra formals may be needed by calls to build-in-place functions (such as stream 'Input). * sem_ch6.adb (Create_Extra_Formals): Skip creation of the extra formals for 'Constrained and accessibility level in the case of a predefined dispatching operation. * exp_util.adb (Insert_Actions): A protected body is a valid insertion point, no need to find the parent node. From-SVN: r127538
2007-08-16cstand.adb (Create_Standard): Create an entity for a zero-sized type ↵Gary Dismukes5-65/+140
associated with... 2007-08-16 Gary Dismukes <dismukes@adacore.com> * cstand.adb (Create_Standard): Create an entity for a zero-sized type associated with Standard_Debug_Renaming_Type, to be used as the type of the special variables whose names provide debugger encodings for renaming declarations. * einfo.ads, einfo.adb (Debug_Renaming_Link): Change to return Node25. (Set_Debug_Renaming_Link): Change to set Node25. (Write_Field13_Name): Remove case for E_Enumeration_Literal. (Write_Field25_Name): Add case for E_Variable to output "Debug_Renaming_Link". (Write_Field23_Name): Correct the output string for "Limited_View". * exp_dbug.adb: Add with and use of Tbuild. (Debug_Renaming_Declaration): Replace creation of an enumeration type and literal with creation of a variable of type Standard_Debug_Renaming_Type whose name encodes both the renamed object and the entity of the renaming declaration. (Qualify_Entity_Name): Add the delayed qualification of the entity name part of the name of a variable that has a Debug_Renaming_Link. * stand.ads (Standard_Debug_Renaming_Type): New Entity_Id denoting a special type to be associated with variables that provide debugger encodings for renaming declarations. From-SVN: r127537
2007-08-16re PR middle-end/32897 (Invalid rematerialisation of subregs)Richard Sandiford4-9/+53
gcc/ PR middle-end/32897 * reload.c (find_reloads): Check that the memory returned by find_reloads_toplev was not the result of forcing a constant to memory. (find_reloads_toplev): Always use simplify_gen_subreg to get the subreg of a constant. If the result is also a constant, but not a legitimate one, force it into the constant pool and reload its address. gcc/testsuite/ * gcc.dg/torture/pr32897.c: New test. From-SVN: r127536
2007-08-16re PR c++/31132 (ICE on inconsistent friend declaration)Paolo Carlini4-1/+24
/cp 2007-08-16 Paolo Carlini <pcarlini@suse.de> PR c++/31132 * pt.c (tsubst_friend_function): When check_classfn returns error_mark_node likewise return it. /testsuite 2007-08-16 Paolo Carlini <pcarlini@suse.de> PR c++/31132 * g++.dg/template/crash69.C: New. From-SVN: r127535
2007-08-16Add test casesArnaud Charlet5-0/+69
From-SVN: r127534
2007-08-16Add test cases.Arnaud Charlet9-0/+119
From-SVN: r127533
2007-08-15rs6000.c (rs6000_rtx_costs): Add CLZ, CTZ, and POPCOUNT.David Edelsohn2-0/+11
* config/rs6000/rs6000.c (rs6000_rtx_costs): Add CLZ, CTZ, and POPCOUNT. From-SVN: r127532
2007-08-16Daily bump.GCC Administrator1-1/+1
From-SVN: r127530
2007-08-15rs6000.c (rs6000_file_start): Output a .gnu_attribute directive for the ↵Daniel Jacobowitz2-2/+13
current vector ABI. * config/rs6000/rs6000.c (rs6000_file_start): Output a .gnu_attribute directive for the current vector ABI. From-SVN: r127526
2007-08-15re PR target/32963 (ICE in failed_reload, could not find a spill register)Steve Ellcey2-0/+7
PR target/32963 caller-save.c (reg_save_code): Set invalide status on restore code. From-SVN: r127523
2007-08-15target-supports.exp (check_effective_target_arm32): Use ↵Daniel Jacobowitz2-33/+10
check_no_compiler_messages. * lib/target-supports.exp (check_effective_target_arm32): Use check_no_compiler_messages. From-SVN: r127522
2007-08-15tree-ssa-alias.c (compute_memory_partitions): Use alias_bitmap_obstack to ↵Diego Novillo4-69/+177
allocate bitmaps. * tree-ssa-alias.c (compute_memory_partitions): Use alias_bitmap_obstack to allocate bitmaps. (reset_alias_info): Factor out of init_alias_info. Mark all name tags not associated to an SSA name for renaming. (init_alias_info): Call it. (create_name_tags): Tidy. Add comments. (dump_points_to_info_for): Do not call get_mem_sym_stats_for. testsuite/ChangeLog gcc.dg/tree-ssa/20070815.c: New test. From-SVN: r127520
2007-08-15mips.c (vr4130_swap_insns_p): Use new interface to scheduler dependencies.Maxim Kuvyrkov2-6/+12
* config/mips/mips.c (vr4130_swap_insns_p): Use new interface to scheduler dependencies. From-SVN: r127516
2007-08-15i386.md (subsi3_carry_zext): Remove "m" constraint for "register_operand".Rask Ingemann Lambertsen3-7/+17
* config/i386/i386.md (subsi3_carry_zext): Remove "m" constraint for "register_operand". (*iorsi_1_zext): Likewise. (*iorsi_1_zext_imm): Likewise. * config/i386/sse.md: (*sse4_1_extractps): Use "nonimmediate_operand" with "rm"/"xm" constraint. (sse2_vmsqrtv2df2): Likewise. From-SVN: r127515
2007-08-15re PR fortran/29459 (Spurious warnings about anonymous variables)Francois-Xavier Coudert2-1/+15
PR fortran/29459 * trans.c (gfc_create_var_np): Do not emit warnings for anonymous variables. From-SVN: r127513
2007-08-15re PR fortran/33077 (RANDOM_SEED failure for integer(kind=8))Francois-Xavier Coudert2-0/+8
PR fortran/33077 * intrinsics/random.c (random_seed_i8): Fix code logic. * gfortran.dg/random_7.f90: Initialize variable. From-SVN: r127512
2007-08-15re PR middle-end/33074 (ICE in copy_insn_1, at emit-rtl.c:4925)Jakub Jelinek4-1/+18
PR middle-end/33074 * emit-rtl.c (try_split): Use INSN_LIST instead of EXPR_LIST for REG_LIBCALL note. * gfortran.dg/pr33074.f90: New test. From-SVN: r127511
2007-08-15re PR c++/32992 (Incorrect code generated for anonymous union and return)Jakub Jelinek5-1/+53
PR c++/32992 * typeck.c (check_return_expr): Don't NRV optimize vars in anonymous unions. * decl.c (finish_function): Comment fix. * g++.dg/opt/nrv14.C: New test. From-SVN: r127510
2007-08-15* ChangeLog: Remove gcc/ prefix from file names.Uros Bizjak1-26/+25
From-SVN: r127509
2007-08-15re PR c++/33035 (ICE on local class destructor)Paolo Carlini4-1/+30
/cp 2007-08-15 Paolo Carlini <pcarlini@suse.de> PR c++/33035 * pt.c (push_template_decl_real): Depending on TYPE_P use either TYPE_CONTEXT or DECL_CONTEXT. /testsuite 2007-08-15 Paolo Carlini <pcarlini@suse.de> PR c++/33035 * g++.dg/template/crash68.C: New. From-SVN: r127508
2007-08-15sibcall-3.c: Remove m68k from XFAIL list.Maxim Kuvyrkov3-2/+7
* gcc.dg/sibcall-3.c: Remove m68k from XFAIL list. * gcc.dg/sibcall-4.c: Ditto. From-SVN: r127505
2007-08-15Remove stray conflict marker.Ben Elliston1-1/+0
From-SVN: r127504
2007-08-15Daily bump.GCC Administrator1-1/+1
From-SVN: r127502
2007-08-15semantics.c (finish_omp_clauses): Strip a NOP_EXPR if constructors and ↵Mark Mitchell2-0/+27
destructors return this. * semantics.c (finish_omp_clauses): Strip a NOP_EXPR if constructors and destructors return this. From-SVN: r127499
2007-08-14re PR fortran/33066 ("type, bind(C) t": Diagnose missing "::")Francois-Xavier Coudert5-3/+42
PR fortran/33066 * decl.c (gfc_get_type_attr_spec): Fix whitespace. (gfc_match_derived_decl): Fix logic. * gfortran.dg/use_8.f90: New test. * gfortran.dg/c_loc_tests_2.f03: Fix code. From-SVN: r127497
2007-08-14re PR fortran/33073 (Type mismatch in build_fixbound_expr())Francois-Xavier Coudert2-20/+10
PR fortran/33073 * trans-intrinsic.c (build_fixbound_expr): Convert to result type in all cases. From-SVN: r127494
2007-08-14re PR c++/27211 (Bogus error "template definition of non-template" when ↵Paolo Carlini1-1/+1
there is no non-template) /cp 2007-08-14 Paolo Carlini <pcarlini@suse.de> PR c++/27211 * decl2.c (check_classfn): Return error_mark_node in case of error; in that case, do not call add_method. * decl.c (start_decl): Deal with check_classfn returning error_mark_node. (grokfndecl): Likewise. * pt.c (tsubst_friend_function): Likewise. /testsuite 2007-08-14 Paolo Carlini <pcarlini@suse.de> PR c++/27211 * g++.dg/template/error27.C: New. * g++.dg/template/error28.C: New. * g++.dg/other/pr28304.C: Adjust. * g++.old-deja/g++.mike/p811.C: Likewise. From-SVN: r127493
2007-08-14re PR c++/27211 (Bogus error "template definition of non-template" when ↵Paolo Carlini8-20/+44
there is no non-template) /cp 2007-08-14 Paolo Carlini <pcarlini@suse.de> PR c++/27211 * decl2.c (check_classfn): Return error_mark_node in case of error; in that case, do not call add_method. * decl.c (start_decl): Deal with check_classfn returning error_mark_node. (grokfndecl): Likewise. * pt.c (tsubst_friend_function): Likewise. /testsuite 2007-08-14 Paolo Carlini <pcarlini@suse.de> PR c++/27211 * g++.dg/template/error27.C: New. * g++.dg/template/error28.C: New. * g++.dg/other/pr28304.C: Adjust. * g++.old-deja/g++.mike/p811.C: Likewise. From-SVN: r127492
2007-08-14tree-pass.h (PROP_pta): Removed.Daniel Berlin18-92/+86
2007-08-14 Daniel Berlin <dberlin@dberlin.org> * tree-pass.h (PROP_pta): Removed. (TODO_rebuild_alias): New. (pass_may_alias): Removed. * tree-ssa-ccp.c (execute_fold_all_builtins): Only rebuild aliasing if we changed something. * tree-ssa-alias.c (compute_may_aliases): Make non-static. Update SSA internally. (pass_may_alias): Removed. (create_structure_vars): Return TODO_rebuild_alias. * tree-ssa-pre.c (do_pre): Return TODO_rebuild_alias. * tree-sra.c (tree_sra): Only rebuild aliasing if something changed. (tree_sra_early): We never affect aliasing right now. * tree-flow.h (compute_may_aliases): New prototype. * passes.c: Remove pass_may_alias from the passes. (execute_function_todo): Support TODO_rebuild_alias. From-SVN: r127491
2007-08-14i386.c: (legitimize_address): Move dllimported variable check infront of ↵Kai Tietz2-3/+8
legitimizing... * i386.c: (legitimize_address): Move dllimported variable check infront of legitimizing pic address of CONST symbols. From-SVN: r127488
2007-08-14re PR tree-optimization/32941 (Bootstrap comparison failure)Steve Ellcey3-23/+51
PR tree-optimization/32941 * tree-eh.c (struct leh_tf_state): Add goto_queue_map field. (goto_queue_cmp): Remove. (find_goto_replacement): Change search method. (maybe_record_in_goto_queue): Add assert. (lower_try_finally): Remove qsort call, add pointer_map_destroy call. * Makefile.in (tree-eh.o): Add pointer-set.h dependency. From-SVN: r127487
2007-08-14alias.c (component_uses_parent_alias_set): Constify.Kaveh R. Ghazi28-102/+308
* alias.c (component_uses_parent_alias_set): Constify. * alias.h (component_uses_parent_alias_set): Likewise. * cfgrtl.c (print_rtl_with_bb): Likewise. * double-int.c (tree_to_double_int, double_int_fits_to_tree_p, mpz_get_double_int): Likewise. * double-int.h (double_int_fits_to_tree_p, tree_to_double_int, mpz_get_double_int): Likewise. * expr.c (is_aligning_offset, undefined_operand_subword_p, mostly_zeros_p, all_zeros_p, safe_from_p, is_aligning_offset): Likewise. * expr.h (safe_from_p): Likewise. * gimple-low.c (try_catch_may_fallthru, block_may_fallthru): Likewise. * gimplify.c (should_carry_locus_p, zero_sized_field_decl, zero_sized_type, goa_lhs_expr_p): Likewise. * omp-low.c (is_variable_sized, use_pointer_for_field): Likewise. * rtl.h (print_rtl_with_bb): Likewise. * sched-vis.c (print_exp, print_value, print_pattern): Likewise. * tree-cfg.c (const_first_stmt, const_last_stmt): New. * tree-flow-inline.h (bb_stmt_list): Constify. (cbsi_start, cbsi_last, cbsi_end_p, cbsi_next, cbsi_prev, cbsi_stmt): New. * tree-flow.h (const_block_stmt_iterator, cbsi_start, cbsi_last, const_first_stmt, const_last_stmt): New. (block_may_fallthru, empty_block_p): Constify. * tree-iterator.c (EXPR_FIRST_BODY, EXPR_LAST_BODY, EXPR_ONLY_BODY): New. (expr_first, expr_last, expr_only): Use macro for body. (const_expr_first, const_expr_last, const_expr_only): New. * tree-iterator.h (const_tree_stmt_iterator, ctsi_start, ctsi_last, ctsi_end_p, ctsi_one_before_end_p, ctsi_next, ctsi_prev, ctsi_stmt): New. * tree-scalar-evolution.c (get_loop_exit_condition): Constify. * tree-scalar-evolution.h (get_loop_exit_condition): Likewise. * tree-ssa-loop-niter.c (loop_only_exit_p, derive_constant_upper_bound): Likewise. * tree-ssa-phiopt.c (empty_block_p): Likewise. * tree-ssa-threadupdate.c (redirection_block_p): Likewise. * tree-vectorizer.c (slpeel_can_duplicate_loop_p): Likewise. * tree-vectorizer.h (slpeel_can_duplicate_loop_p): Likewise. * tree-vrp.c (vrp_bitmap_equal_p): Likewise. * tree.c (get_type_static_bounds): Likewise. * tree.h (const_expr_first, const_expr_last, const_expr_only): New. (get_type_static_bounds): Constify. From-SVN: r127483
2007-08-14re PR target/30315 (optimize unsigned-add overflow test on x86 to use cpu ↵Rask Ingemann Lambertsen7-11/+244
flags from addl) PR target/30315 * config/i386/i386.h (CANONICALIZE_COMPARISON): New. * config/i386/i386.md (plusminus)(addsub)(SWI): New. (*<addsub><mode>3_cc_overflow): New. (*add<mode>3_cconly_overflow): New. (*sub<mode>3_cconly_overflow): New. (*<addsub>si3_zext_cc_overflow): New. * config/i386/predicates.md (fcmov_comparison_operator): Accept CCCmode for LTU, GTU, LEU and GEU. (ix86_comparison_operator): Likewise. (ix86_carry_flag_operator): Carry flag is set if LTU or GTU in CCCmode. * gcc/config/i386/i386.c (put_condition_code): Support CCCmode. (ix86_cc_mode): Use CCCmode when testing for overflow of PLUS or MINUS expressions. testsuite/ PR target/30315 * gcc.target/i386/pr30315.c: New. From-SVN: r127481
2007-08-14re PR fortran/32594 (substring simplification leads to ICE)Francois-Xavier Coudert5-10/+80
PR fortran/32594 * trans-expr.c (gfc_conv_substring_expr): Only call gfc_conv_substring if expr->ref is not NULL. * expr.c (gfc_is_constant_expr): If e->ref is NULL, the substring expression might be a constant. (gfc_simplify_expr): Handle missing start and end, as well as missing ref. * gfortran.dg/substr_5.f90: New test. From-SVN: r127478
2007-08-14re PR c/30428 (vector float | vector float is accepted)Andrew Pinski7-2/+70
2007-08-14 Andrew Pinski <pinskia@gmail.com> PR c/30428 * c-typeck.c (build_binary_op): Disallow vector float types with BIT_IOR_EXPR, BIT_AND_EXPR, and BIT_XOR_EXPR. 2007-08-14 Andrew Pinski <pinskia@gmail.com> PR c++/30428 * typeck.c (build_binary_op): Disallow vector float types with BIT_IOR_EXPR, BIT_AND_EXPR, and BIT_XOR_EXPR. 2007-08-14 Andrew Pinski <pinskia@gmail.com> PR c/30428 * gcc.dg/vector-2.c: New test. PR c++/30428 * g++.dg/ext/vector8.C: New test. From-SVN: r127477
2007-08-14ResyncArnaud Charlet1-0/+1406
From-SVN: r127476
2007-08-14Minor reformatting.Arnaud Charlet5-23/+17
Update comments. From-SVN: r127475
2007-08-14(Write_Eol): Remove trailing spaces before writing the lineArnaud Charlet1-20/+32
(Write_Eol): Remove trailing spaces before writing the line (Write_Eol_Keep_Blanks): New procedure to write a line, including possible trailing spaces. (Output_Source_Line): Call Write_Eol_Keep_Blanks to output a source line Fix problem with suppressing warning messages from back end Improve handling of deleted warnings From-SVN: r127474
2007-08-14(Task_Cont, Task_Stop): New functions, thin binding to the VxWorks routines ↵Arnaud Charlet1-2/+24
which have changed between VxWorks 5 and 6. (Task_Cont, Task_Stop): New functions, thin binding to the VxWorks routines which have changed between VxWorks 5 and 6. (Int_Lock, Int_Unlock): New function, thin binding to kernel routines which are not callable from a RTP. From-SVN: r127473
2007-08-14(Output_Non_Modifed_In_Out_Warnings, Warn_On_Unassigned_Out_Parameter):Arnaud Charlet1-0/+15
New functions. From-SVN: r127472
2007-08-14(Check_References.Publicly_Referenceable): A formal parameter is never ↵Arnaud Charlet1-303/+893
publicly referenceable outside of its body. (Check_References.Publicly_Referenceable): A formal parameter is never publicly referenceable outside of its body. (Check_References): For an unreferenced formal parameter in an accecpt statement, use the same warning circuitry as for subprogram formal parameters. (Warn_On_Unreferenced_Entity): New subprogram, taken from Output_Unreferenced_Messages, containing the part of that routine that is now reused for entry formals as described above. (Has_Pragma_Unreferenced_Check_Spec): New function (Check_References): Clean up handling of unmodified IN OUT parameters From-SVN: r127471
2007-08-14(lvalue_required_p): Handle N_Parameter_Association like N_Function_Call and ↵Arnaud Charlet1-86/+57
N_Procedure_Call_Statement. (lvalue_required_p): Handle N_Parameter_Association like N_Function_Call and N_Procedure_Call_Statement. (takes_address): Rename to lvalue_required_p, add third parameter 'aliased' and adjust recursive calls. <N_Indexed_Component>: Update 'aliased' from the array type. <N_Selected_Component>: New case. <N_Object_Renaming_Declaration>: New Likewise. (Identifier_to_gnu): Adjust for above changes. (maybe_stabilize_reference) <CONST_DECL>: New case. From-SVN: r127470
2007-08-14(Generic_Separately_Compiled): Rename to Generic_May_Lack_ALI...Arnaud Charlet1-37/+18
(Generic_Separately_Compiled): Rename to Generic_May_Lack_ALI, more descriptive of the current use of the predicate, and update documentation. From-SVN: r127469
2007-08-14exp_atag.adb (Build_Inherit_Prims): Addition of a new formal.Arnaud Charlet1-63/+116
* exp_atag.adb (Build_Inherit_Prims): Addition of a new formal. (Build_Inherit_Predefined_Prims): Replace occurrences of Default_ Prim_Op_Count by Max_Predef_Prims. From-SVN: r127468
2007-08-14[multiple changes]Arnaud Charlet43-2651/+3277
2007-08-14 Geert Bosch <bosch@adacore.com> * i-forbla.ads, i-forbla.adb, a-ngcoar.adb, a-ngcoar.ads, i-forlap.ads, s-gearop.adb, s-gecobl.adb, s-gecobl.ads, s-gerela.adb, s-gerela.ads: Add required linker pragmas for automatically linking with the gnalasup linear algebra support library, and the systems math library. Rename cdot to cdotu and zdot to zdotu. Update header comment to describe purpose of package. 2007-08-14 Thomas Quinot <quinot@adacore.com> * exp_ch7.adb (Find_Final_List): For an anonymous access type that has an explicitly specified Associated_Final_Chain, use that list. (Expand_N_Package_Body): Build dispatch tables of library level tagged types. (Expand_N_Package_Declaration): Build dispatch tables of library level tagged types. Minor code cleanup. 2007-08-14 Vincent Celier <celier@adacore.com> * gnatchop.adb (Terminate_Program): Remove exception and use Types.Terminate_Program instead. * osint.ads, osint.adb (Current_Exit_Status): New global variable (Find_Program_Name): Added protection against empty name. (OS_Exit_Through_Exception): New procedure * s-os_lib.ads, s-os_lib.adb (OS_Exit): New procedure body (OS_Exit_Default): New procedure that contains the previous implementation of procedure OS_Exit. (Final_Value): Remove obsolete Interix stuff. 2007-08-14 Thomas Quinot <quinot@adacore.com> * g-socket.ads: Reorganize example code so that it also works on Windows XP. 2007-08-14 Tristan Gingold <gingold@adacore.com> * g-trasym.ads: AIX now supports symbolic backtraces. 2007-08-14 Ed Schonberg <schonberg@adacore.com> * lib-load.adb (From_Limited_With_Chain): Always scan the stack of units being loaded to detect circularities. A circularity may be present even if the current chain of pending units to load starts from a limited_with_clause. * lib-load.ads: Change profile of Load_Unit to use a with_clause rather than a boolean flag, in order to detect circularities in with_clauses. * par-load.adb: Use current with_clause in calls to Load_Unit, rather than propagating the From_Limited_With flag, in order to handle properly circularities involving with_clauses. 2007-08-14 Nicolas Setton <setton@adacore.com> * link.c (FreeBSD): Add "const" keyword where needed, to eliminate warnings. 2007-08-14 Arnaud Charlet <charlet@adacore.com> * Makefile.in: GNATRTL_LINEARALGEBRA_OBJS: New variable holding objects to build for libgnala. libgnat: Add rules to build libgnala.a (LIBGNAT_TARGET_PAIRS for VxWorks): Remove s-osinte-vxworks.adb from target pairs of the VxWorks 6 kernel runtime, use it only for VxWorks 5. Add s-osinte-vxworks-kernel.adb to the target pairs of the kernel run-time lib for VxWorks 6, which would provide a different implementation for Task_Cont and Task_Stop than the VxWorks 5 version. x86-solaris section (EH_MECHANISM): Set to -gcc, as this port is now running ZCX by default. Add g-sttsne-locking to LynxOS version. Remove g-sttsne-vxworks.ads; use g-sttsne-locking.ads instead. On x86/darwin, use a-numaux-x86.ad? and system-darwin-x86.ads. * system-darwin-x86.ads: New file. * Make-lang.in: Delete files before copying onto them, so if they are read-only, the copy won't fail. Update dependencies 2007-08-14 Pascal Obry <obry@adacore.com> * mdll-fil.adb, * mdll.adb: Implement a more consistent libraries naming scheme. 2007-08-14 Vincent Celier <celier@adacore.com> * mlib-utl.adb (Gcc_Name): Change from constant String to String_Access (Gcc): Initialize Gcc_Name at the first call 2007-08-14 Ed Schonberg <schonberg@adacore.com> * sem_ch7.adb (Analyze_Package_Specification): Do not install private with_clauses of the enclosing unit when analyzing the package specification of a nested instance. 2007-08-14 Hristian Kirtchev <kirtchev@adacore.com> * sinfo.ads, sinfo.adb (Is_Coextension, Set_Is_Coextension): Removed. (Is_Dynamic_Coextension, Set_Is_Dynamic_Coextension): New routines. Remove flag Is_Coextension. Add flag Is_Dynamic_Coextension. Update the layout of N_Allocator. 2007-08-14 Thomas Quinot <quinot@adacore.com> * rtsfind.adb (Check_RPC): Add PCS version check. * gnatvsn.ads, gnatvsn.adb: Add PCS version. (Gnat_Free_Software): New function. * sem_dist.ads, sem_dist.adb (Get_PCS_Version): New subprogram. Returns the PCS_Version value from s-parint, used to check that it is consistent with what exp_dist expects. * s-parint.ads (PCS_Version): New entity for checking consistency between exp_dist and PCS. * gen-soccon.c: (SO_REUSEPORT): New constant. 2007-08-14 Hristian Kirtchev <kirtchev@adacore.com> * a-calfor.adb (Image (Duration; Boolean)): Change type of local variable Sub_Second to Duration in order to accomodate a larger range of arithmetic operations. 2007-08-14 Bob Duff <duff@adacore.com> * g-sttsne-locking.ads: Move comments from spec to body. * g-sttsne-locking.adb: Move comments from spec to body. * g-sttsne-vxworks.ads: Removed. * g-sttsne-vxworks.adb: Removed. From-SVN: r127467