1. 06 Jun, 2007 40 commits
    • tree-ssa-alias-warnings.c (maybe_add_match): Cast according to the coding conventions. · c22940cd
      	* tree-ssa-alias-warnings.c (maybe_add_match): Cast according to the
      	coding conventions.
      	(add_key): Likewise.
      	* tree-ssa.c (init_tree_ssa): Use type safe memory macros.
      	* tree-ssa-ccp.c (ccp_fold_builtin): Avoid using C++ keywords as
      	variable names.
      	* tree-ssa-coalesce.c (find_coalesce_pair): Use type safe memory macros.
      	(add_cost_one_coalesce): Likewise.
      	* tree-ssa-copy.c (merge_alias_info): Avoid using C++ keywords as
      	variable names. Rename orig to orig_name for consistency.
      	* tree-ssa-dom.c (dom_thread_across_edge): Cast according to the coding
      	conventions.
      	(cprop_into_successor_phis): Avoid using C++ keywords as variable names.
      	(record_equivalences_from_stmt): Likewise.
      	* tree-ssa-dse.c (dse_initialize_block_local_data): Cast according to
      	the coding conventions.
      	(memory_ssa_name_same): Likewise.
      	(dse_optimize_stmt): Likewise.
      	(dse_record_phis): Likewise.
      	(dse_finalize_block): Likewise.
      	* tree-ssa-loop-im.c (outermost_invariant_loop_expr): Avoid using C++
      	keywords as variable names.
      	(may_move_till): Cast according to the coding conventions.
      	(force_move_till_expr): Avoid using C++ keywords as variable names.
      	(force_move_till): Cast according to the coding conventions.
      	(memref_hash): Likewise.
      	(memref_eq): Likewise.
      	(gather_mem_refs_stmt): Likewise.
      	* tree-ssa-loop-ivopts.c (contains_abnormal_ssa_name_p): Avoid using C++
      	keywords as variable names.
      	(idx_find_step): Cast according to the coding conventions.
      	(idx_record_use): Likewise.
      	(find_depends): Likewise.
      	(prepare_decl_rtl): Likewise.
      	(mbc_entry_hash): Likewise.
      	(mbc_entry_eq): Likewise.
      	* tree-ssa-loop-niter.c (SWAP): Use the correct the type for tmp.
      	(simplify_replace_tree): Avoid using C++ keywords as variable names.
      	(idx_infer_loop_bounds): Cast according to the coding conventions.
      	* tree-ssa-loop-prefetch.c (idx_analyze_ref): Likewise.
      	* tree-ssa-math-opts.c (occ_new ): Likwise.
      	* tree-ssanames.c (duplicate_ssa_name_ptr_info): Use type safe memory
      	macros.
      	* tree-ssa-operands.c (add_def_op): Avoid using C++ keywords as variable
      	names.
      	(add_use_op): Likewise.
      	(add_vop): Likewise.
      	(add_vuse_op): Likewise.
      	(add_vdef_op): Likewise.
      	(get_expr_operands): Likewise.
      	(push_stmt_changes): Use type safe memory macros.
      	* tree-ssa-phiopt.c (replace_phi_edge_with_variable): Avoid using C++
      	keywords as variable names.
      	(conditional_replacement): Likewise.
      	(minmax_replacement): Likewise.
      	(abs_replacement): Likewise.
      	* tree-ssa-pre.c (create_expression_by_pieces): Cast according to the
      	coding conventions.
      	(insert_fake_stores): Avoid using C++ keywords as variable names.
      	* tree-ssa-reassoc.c (add_to_ops_vec): Cast according to the coding
      	conventions.
      	* tree-ssa-structalias.c (heapvar_lookup): Likewise.
      	(heapvar_insert): Use type safe memory macros.
      	(new_var_info): Cast according to the coding conventions.
      	(new_constraint): Likewise.
      	(remove_preds_and_fake_succs): Use type safe memory macros.
      	* tree-ssa-threadupdate.c (thread_block): Cast according to the coding
      	conventions.
      	(thread_single_edge): Likewise.
      
      From-SVN: r125504
      Thomas Neumann committed
    • re PR libstdc++/32233 (warning in stl_vector.h:832) · 266a2cba
      2007-06-06  Paolo Carlini  <pcarlini@suse.de>
      
      	PR libstdc++/32233
      	* include/bits/stl_vector.h (_M_fill_initialize): Fix return type.
      	* testsuite/23_containers/vector/requirements/dr438/assign_neg.cc:
      	Adjust dg-error line.
      	* testsuite/23_containers/vector/requirements/dr438/insert_neg.cc:
      	Likewise.
      
      From-SVN: r125499
      Paolo Carlini committed
    • i386.c (override_options): Move handling of TARGET_SUBTARGET* earlier. · d6b0b376
      2007-06-06  Eric Christopher  <echristo@apple.com>
      
              * config/i386/i386.c (override_options): Move handling
              of TARGET_SUBTARGET* earlier.
      
      From-SVN: r125497
      Eric Christopher committed
    • re PR testsuite/31828 (FAIL: gcc.dg/float-range-[3-5].c (test for excess errors)) · 1fd994f1
      	PR testsuite/31828
      	* inclhack.def (hppa_hpux_fp_macros): New.
      	* fixincl.x: Regenerate.
      	* * tests/base/math.h: Update.
      
      From-SVN: r125496
      Steve Ellcey committed
    • genmodes.c (tagged_printf, [...]): Don't use %n on printf. · 7258e976
      2007-06-06  Paolo Bonzini  <bonzini@gnu.org>
      
      	* genmodes.c (tagged_printf, emit_insn_modes_h): Don't
      	use %n on printf.
      
      From-SVN: r125494
      Paolo Bonzini committed
    • haifa-sched.c (restore_bb_notes): Clear bb field of the notes emited outside of basic block. · a7b87f73
      	* haifa-sched.c (restore_bb_notes): Clear bb field of the notes
      	emited outside of basic block.
      	* cfgbuild.c (find_bb_boundaries): Clear bb field for insns between
      	the created blocks.
      	* rtl.h (delete_insn_chain): Declaration changed.
      	* cfgrtl.c (delete_insn_chain): Add option to clear bb field for
      	non-removed insns.
      	(rtl_delete_block, rtl_merge_blocks): Pass true to delete_insn_chain.
      	(delete_insn_chain_and_edges, try_redirect_by_replacing_jump,
      	rtl_tidy_fallthru_edge, cfg_layout_merge_blocks): Pass false 
      	to delete_insn_chain.
      	(rtl_verify_flow_info_1): Verify that the insns in header and footer
      	do not have bb field set.
      	(rtl_verify_flow_info): Verify that insns between basic blocks do not
      	have bb field set.
      	* recog.c (peephole2_optimize): Add argument to delete_insn_chain call.
      	* cfgcleanup.c (try_optimize_cfg): Ditto.
      
      From-SVN: r125492
      Zdenek Dvorak committed
    • lambda-code.c (struct lambda_lattice_s): Add a name to the struct. · 45222d4a
      	* lambda-code.c (struct lambda_lattice_s): Add a name to the struct.
      	(lambda_body_vector_new): Use type safe memory macros.
      	(lambda_linear_expression_new): Likewise.
      	(lambda_loopnest_new): Likewise.
      	(lambda_lattice_new): Likewise.
      	(replace_uses_equiv_to_x_with_y): Cast according to the coding
      	conventions. Use type safe memory macros.
      	* lambda.h (struct lambda_trans_matrix_s): Add a name to the struct.
      	(lambda_body_vector_s): Likewise.
      	* lambda-mat.c (lambda_matrix_new): Use type safe memory macros.
      	* lambda-trans.c (lambda_trans_matrix_new): Likewise.
      
      From-SVN: r125491
      Thomas Neumann committed
    • tree-ssa-forwprop.c (forward_propagate_into_cond): Return 2 if we need to schedule cfg_cleanup. · 68c834d0
      2007-06-06  Richard Guenther  <rguenther@suse.de>
      
      	* tree-ssa-forwprop.c (forward_propagate_into_cond): Return 2
      	if we need to schedule cfg_cleanup.
      	(tree_ssa_forward_propagate_single_use_vars): Do so.
      
      From-SVN: r125490
      Richard Biener committed
    • debug.html: Correct link. · 5a59ef36
      2007-06-06  Benjamin Kosnik  <bkoz@redhat.com>
      	    Frank Mori Hess  <frank.hess@nist.gov>
      	        
          * docs/html/debug.html: Correct link.
      
      From-SVN: r125488
      Benjamin Kosnik committed
    • fold-const.c (merge_ranges): If range_successor or range_predecessor fail, just return 0. · 39ac2ffc
      ./:	* fold-const.c (merge_ranges): If range_successor or
      	range_predecessor fail, just return 0.
      testsuite/:
      	* g++.dg/conversion/enum1.C: New test.
      
      From-SVN: r125486
      Ian Lance Taylor committed
    • 2007-06-06 Benjamin Kosnik <bkoz@redhat.com> · c846e485
      	    Frank Mori Hess  <frank.hess@nist.gov>
      	
      
      
      Co-Authored-By: Frank Mori Hess <frank.hess@nist.gov>
      
      From-SVN: r125485
      Benjamin Kosnik committed
    • configure.ac: Update TOOLS_TARGET_PAIRS configuration to match gcc/ada/Makefile.in. · 4dced6f9
              * configure.ac: Update TOOLS_TARGET_PAIRS configuration to match
              gcc/ada/Makefile.in.
      
              * configure: Regenerated.
      
      From-SVN: r125484
      Arnaud Charlet committed
    • re PR tree-optimization/32216 (ICE: verify_stmts failed (invalid reference… · 9f106823
      re PR tree-optimization/32216 (ICE: verify_stmts failed (invalid reference prefix) with -ftree-vectorize)
      
      	PR tree-optimization/32216
      	* tree-vectorizer.c (supportable_widening_operation): Determine
      	signedness of FIX_TRUNC_EXPR from output operand.
      	(supportable_narrowing_operation): Ditto.
      	* tree-vect-generic.c (expand_vector_operations_1): Determine
      	signedness of VEC_UNPACK_FLOAT_HI_EXPR and VEC_UNPACK_FLOAT_LO_EXPR
      	from input operand.
      
      testsuite/ChangeLog:
      	
      	PR tree-optimization/32216
      	* gcc.dg/vect/pr32216.c: New test.
      
      From-SVN: r125482
      Uros Bizjak committed
    • Resync · ec11296f
      From-SVN: r125481
      Arnaud Charlet committed
    • Add new tests · 1d46f74e
      From-SVN: r125480
      Arnaud Charlet committed
    • Minor editing. · 4491f0ae
      Update constants.
      Update copyright notice.
      
      From-SVN: r125479
      Arnaud Charlet committed
    • a-reatim.adb: Documentation addition · a99ada67
      2007-04-20  Robert Dewar  <dewar@adacore.com>
      
      	* a-reatim.adb: Documentation addition
      
      	* g-cgideb.adb: Minor code reorganization
      
      	* tree_io.adb, treepr.adb, cstand.adb, krunch.adb, par.adb,
      	mdll-utl.adb, par-ch5.adb, par-tchk.adb, s-exctab.ads, s-memory.ads,
      	s-osprim.ads, s-restri.ads, s-soflin.ads: Minor reformatting.
      
      	* debug.ads, debug.adb (Get_Debug_Flag_K): Remove unused obsolete
      	function.  Change name New_Scope to Push_Scope
      	(Get_Debug_Flag_K): Remove unused obsolete function.
      
      	* exp_ch8.adb, inline.adb, sem_ch8.ads: Change name New_Scope to
      	Push_Scope.
      
      	* makeusg.adb: Update Copyright notice
      	Add line for switch -aP
      
      	* makeusg.adb: Fix wording of some usage messages
      
      	* s-assert.adb (Raise_Assert_Failure): Add call to
      	Debug_Raise_Assert_Failure.
      
      	* s-unstyp.ads (type Packed_Bytes2): Change alignment to use 'Min
      	(2, Standard'Alignment) for compatibility with AAMP (where alignment
      	is restricted to 1).
      
      	* s-wchjis.adb: Remove use of System.Pure_Exceptions
      
      	* tbuild.ads, tbuild.adb (Make_Implicit_Exception_Handler): Set the
      	node location to No_Location when we're not debugging the expanded
      	code.
      
      From-SVN: r125478
      Robert Dewar committed
    • a-cidlli.ads, [...] (Empty_Vector, [...]): Move this object declaration after… · 7d2e68b3
      a-cidlli.ads, [...] (Empty_Vector, [...]): Move this object declaration after freezing point of all its associated tagged...
      
      2007-04-20  Javier Miranda  <miranda@adacore.com>
      
      	* a-cidlli.ads, a-cdlili.ads, a-cohama.ads, a-coinve.ads, 
      	a-convec.ads (Empty_Vector, Empty_Map, Empty_List): Move this object
      	declaration after freezing point of all its associated tagged types;
      	otherwise such types are frozen too early.
      
      From-SVN: r125477
      Javier Miranda committed
    • makegpr.adb (Add_Archive_Path): Use untouched object and library dirs and library name. · d579fabd
      2007-04-20  Pascal Obry  <obry@adacore.com>
      	    Vincent Celier  <celier@adacore.com>
      
      	* makegpr.adb (Add_Archive_Path): Use untouched object and library
      	dirs and library name.
      	(Build_Global_Archive): Idem. Minor code clean-up. Removes duplicate
      	comments.
      	(Build_Library): Idem.
      	(Compile_Individual_Sources): Idem.
      	(Compile_Link_With_Gnatmake): Idem.
      	(Compile_Sources): Idem.
      	(Get_Imported_Directories): Idem.
      	(Link_Executables): Idem. Same change for the executable dir.
      	(Check_Compilation_Needed): C_Source_Path new variable containing
      	the canonical form of Source_Path to check against the source names
      	in the dependency file.
      	(Build_Global_Archive, Compile_Individual_Sources, Compile_Sources): In
      	verbose mode, display the name of the object directory we're changing
      	to.
      	(Saved_Switches): New name of table X_Switches
      	(Scan_Arg): Recognize new switch -aP and save in table Saved_Switches
      	(Usage): New line for switch -aP
      	(Get_Imported_Directories.Add): Make sure that Add_Arg is True before
      	testing if a directory should be added to the search path.
      
      From-SVN: r125476
      Pascal Obry committed
    • xgnatugn.adb: Allow dots to be used in ug_words (-gnatw.c and -gnatw.C) · e08b38f5
      2007-04-20  Vincent Celier  <celier@adacore.com>
      	    Robert Dewar  <dewar@adacore.com>
      
      	* xgnatugn.adb: Allow dots to be used in ug_words (-gnatw.c and
      	-gnatw.C)
      
      	* gnat_ugn.texi: Fix ordering of -g switch for gnatmake
      	Document gnatbind switch -a
      	(case Constructions): Document that variables declarations are allowed
      	for previously declared variables.
      	Fix external lib project example
      	-gnatg: Indicate new VMS qualifier /GNAT_INTERNAL
      	Indicate that "#if not X or Y then" is not allowed in input files to
      	gnatprep.
      	Document gnatw.x and gnatw.X warning flags
      	Mention -Winline switch to activate warnings when back-end inlining is
      	ineffective.
      	Add gnatcheck rule descriptions
      	Describe how to use the GNAT driver to call a tool on a closure.
      	Describe how to run project-wide checks or metrics.
      	Document gnatbind's -R option
      	Updated to account for Ada 2005 support
      
      	* gnat_rm.texi (Case Construction): Allow variable declarations for
      	previously declared variables.
      	(Representation Clauses and Pragmas): Lift restriction on alignment
      	clauses for record types.
      	(Ada.Characters.*): Fix typo in reference to A.3.3(27).
      	Document No_Exception_Propagation restriction
      	Document No_Body pragma
      	Updated to account for Ada 2005 support; corrected some typos
      	(Implementation Defined Pragmas): Document pragma Universal_Aliasing.
      
      	* gnat-style.texi: Make it clear that we never use mode IN for
      	procedures or functions
      
      	* ug_words: Add entries for -gnatw.x and -gnatw.X
      	Add entries for -gnatw.c/.C
      
      From-SVN: r125475
      Vincent Celier committed
    • vms_conv.adb (Process_Argument): Keep arguments starting with '+' as is. · 9de6e082
      2007-04-20  Vincent Celier  <celier@adacore.com>
      
      	* vms_conv.adb (Process_Argument): Keep arguments starting with '+' as
      	is.
      
      	* vms_data.ads: Add entries for -gnatw.x and -gnatw.X
      	/STYLE_CHECKS=GNAT: Change meaning to -gnatyg
      	/GNAT_INTERNAL: New compiler qualifier corresponding to -gnatg
      	Add missing comment for /OPTIMIZE=SPACE
      	Add entry for OPTIMIZE=SPACE
      	Add new qualifier /ALL_PROJECTS (= -U) for GNAT LIST
      	Add documentation for new qualifiers corresponding to -gnatw.c/.C
      
      From-SVN: r125474
      Vincent Celier committed
    • types.h, types.ads: Rename PE_Illegal_CW_Actual_E_4_18 to PE_Non_Transportable_Actual. · 96efeb4f
      2007-04-20  Thomas Quinot  <quinot@adacore.com>
      
      	* types.h, types.ads: Rename PE_Illegal_CW_Actual_E_4_18 to
      	PE_Non_Transportable_Actual.
      	(By_Descriptor_Last): New constant.
      	(By_Copy_Return): Likewise.
      
      From-SVN: r125473
      Thomas Quinot committed
    • tracebak.c (FRAME_OFFSET): Add parameter FP. · e7ad2039
      2007-04-20  Eric Botcazou  <ebotcazou@adacore.com>
      
      	* tracebak.c (FRAME_OFFSET): Add parameter FP. On SPARC/Solaris, do not
      	add the stack bias if the offset is computed from a frame address.
      	(__gnat_backtrace): Adjust for above change.
      
      From-SVN: r125472
      Eric Botcazou committed
    • s-stchop-vxworks.adb (Set_Stack_Info): Instead of trying to map the VxWorks task… · c956c1be
      s-stchop-vxworks.adb (Set_Stack_Info): Instead of trying to map the VxWorks task descriptor in the Ada run time...
      
      2007-04-20  Matthew Gingell  <gingell@adacore.com>
      	    Jose Ruiz  <ruiz@adacore.com>
      
      	* s-stchop-vxworks.adb (Set_Stack_Info): Instead of trying to map the
      	VxWorks task descriptor in the Ada run time, call a C subprogram
      	(__gnat_get_stack_info) that extracts the required information.
      
      	* sysdep.c: Back out temporary lynxos workaround.
      	(__gnat_get_stack_info): Add this procedure that passes to the Ada run
      	time the stack information associated to the currently executing task.
      	Only VxWorks systems require this function.
      
      From-SVN: r125471
      Matthew Gingell committed
    • switch-b.adb (Scan_Binder_Switches): Add processing for new switches -R and -Z · c7f0bdd2
      2007-04-20  Vincent Celier  <celier@adacore.com>
      
      	* switch-b.adb (Scan_Binder_Switches): Add processing for new
      	switches -R and -Z
      
      	* switch-m.adb (Normalize_Compiler_Switches): Do not record switch -E
      	(Scan_Make_Switches): Recognize new switch -aP
      
      From-SVN: r125470
      Vincent Celier committed
    • stylesw.ads, [...] (Set_GNAT_Style_Check): New procedure · 94a198aa
      2007-04-20  Robert Dewar  <dewar@adacore.com>
      
      	* stylesw.ads, stylesw.adb (Set_GNAT_Style_Check): New procedure
      	(Set_Style_Check_Options): Recognize new -gnatyg style switch
      
      	* switch-c.adb (Scan_Front_End_Switches, case -gnatg): Set
      	Warn_On_Non_Local_Exception to False, to turn off warnings for
      	No_Exception_Propagation in ZFP runtime.
      	(Scan_Front_End_Switches): Fix handling of --RTS switch for non GCC
      	back-ends.
      	(Scan_Front_End_Switches): For 'g', call Set_GNAT_Style_Checks
      
      From-SVN: r125469
      Robert Dewar committed
    • a-dirval-vms.adb, [...] (Windows): New Boolean function. · c2a49ce6
      2007-04-20  Vincent Celier  <celier@adacore.com>
      
      	* a-dirval-vms.adb, a-dirval.ads, a-dirval.adb (Windows): New Boolean
      	function.
      
      	* a-dirval-mingw.adb (Is_Valid_Path_Name): Forbid a path with a drive
      	letter if it is not followed by a '/' or a '\'.
      	(Windows): New Boolean function
      
      	* a-direct.ads, a-direct.adb: Remove unnecessary and misplaced pragma
      	Ada 2005.
      	(Containing_Directory): On Windows, keep at least one '/' or '\' after a
      	drive letter.
      	(Containing_Directory): Raise Use_Error when the directory is a root
      	directory.
      	(Extension): When returning the result, use a conversion to Result_Type,
      	not a qualification.
      
      From-SVN: r125468
      Vincent Celier committed
    • s-stoele.ads, [...]: Move inline_always subprograms earlier than their first call. · cb65368d
      2007-04-20  Eric Botcazou  <ebotcazou@adacore.com>
      
      	* s-stoele.ads, s-stoele.adb: Move inline_always subprograms earlier
      	than their first call.
      	Add type Dummy_Communication_Block used in the generation of the pre-
      	defined dispatching primitive _disp_asynchronous_select.
      	(Storage_Element): Put Pragma Universal_Aliasing on it.
      
      From-SVN: r125467
      Eric Botcazou committed
    • g-soccon-darwin.ads, [...]: Add new constant Thread_Blocking_IO... · 4ce7ff88
      2007-04-20  Thomas Quinot  <quinot@adacore.com>
      
      	* g-soccon-darwin.ads, gen-soccon.c: Add new constant
      	Thread_Blocking_IO, always True by default, set False on a per-runtime
      	basis.
      	Add Windows-specific constants
      	Add new constant Need_Netdb_Buffer.
      	Add new macros to indicate whether getXXXbyYYY is thread safe and, if
      	not, whether to use getXXXbyYYY_r.
      
      	* gsocket.h: Add new constant Need_Netdb_Buffer.
      	Add new macros to indicate whether getXXXbyYYY is thread safe and, if
      	not, whether to use getXXXbyYYY_r.
      
      From-SVN: r125466
      Thomas Quinot committed
    • s-stausa.ads, [...] (Initialize_Analyzer): Added parameter "Overflow_Guard". · 37000aba
      2007-04-20  Quentin Ochem  <ochem@adacore.com>
      
      	* s-stausa.ads, s-stausa.adb (Initialize_Analyzer): Added parameter
      	"Overflow_Guard".
      	(Stack_Analyzer): Added field "Overflow_Guard"
      	(Task_Result): Added field "Overflow_Guard".
      	(Index_Str): New constant.
      	(Task_Name_Str): New constant.
      	(Actual_Size_Str): New constant.
      	(Pattern_Array_Element_Size): New constant.
      	(Get_Usage_Range): New subprogram.
      	(Output_Result): Added parameter Max_Size_Len and Max_Actual_Use_Len.
      	Now align the output.
      	Added comments.
      	(Initialize): Added value for Overflow_Guard.
      	(Fill_Stack): Use constant Pattern_Array_Elem_Size when relevant.
      	Update the value of the overflow guard according to the actual
      	beginning of the pattern array.
      	(Initialize_Analyzer): Added parameter Overflow_Guard.
      	Take this parameter into accound when computing the max size.
      	(Compute_Result): Use constant Pattern_Array_Elem_Size when relevant.
      	(Report_Result): Removed extra useless procedure.
      	Updated call to Output_Result.
      	Moved full computation of the Task_Result here.
      
      From-SVN: r125465
      Quentin Ochem committed
    • s-secsta.adb (Chunk): Ensure this object has a static size known at compile time... · 1513f9bf
      2007-04-20  Arnaud Charlet  <charlet@adacore.com>
      
      	* s-secsta.adb (Chunk): Ensure this object has a static size known at
      	compile time, to avoid dynamic memory allocation
      	(Elaboration code): Only use dynamic memory allocation when needed.
      
      From-SVN: r125464
      Arnaud Charlet committed
    • sprint.ads, sprint.adb (Sprint_Node_Actual): Output aggregate for exceptions. · 0c1edb56
      2007-04-20  Ed Schonberg  <schonberg@adacore.com>
      	    Robert Dewar  <dewar@adacore.com>
      
      	* sprint.ads, sprint.adb (Sprint_Node_Actual): Output aggregate for
      	exceptions.
      	(Write_Itype): Handle case of string literal subtype, which
      	comes up in this context.
      	(Update_Itype): when debugging expanded code, update sloc of itypes
      	associated with defining_identifiers and ranges, for gdb use.
      	(Sprint_Node_Actual): Add static keyword to object or exception
      	declaration output if Is_Statically_Allocated is True.
      	(Sprint_End_Label): Set entity of end marker for a subprogram, package,
      	or task body, so that the tree carries the proper Sloc information for
      	debugging use.
      	(Write_Indent): In Dump_Source_Text mode, ignore implicit label nodes
      
      From-SVN: r125463
      Ed Schonberg committed
    • sinput-l.ads, [...]: implement a new pragma No_Body · 0600d9bc
      2007-04-20  Robert Dewar  <dewar@adacore.com>
      
      	* sinput-l.ads, sinput-l.adb: implement a new pragma No_Body
      
      From-SVN: r125462
      Robert Dewar committed
    • sem_smem.adb (Check_Shared_Var): Check explicitly for as task object, to prevent… · ff682191
      sem_smem.adb (Check_Shared_Var): Check explicitly for as task object, to prevent subsequent expansion.
      
      2007-04-20  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_smem.adb (Check_Shared_Var): Check explicitly for as task object,
      	to prevent subsequent expansion.
      
      From-SVN: r125461
      Ed Schonberg committed
    • sem_eval.adb (Eval_Relational_Op): nothing to do if an operand is an illegal… · 13f34a3f
      sem_eval.adb (Eval_Relational_Op): nothing to do if an operand is an illegal aggregate and the type is still...
      
      2007-04-20  Robert Dewar  <dewar@adacore.com>
      
      	* sem_eval.adb (Eval_Relational_Op): nothing to do if an operand is an
      	illegal aggregate and the type is still Any_Composite.
      	(Subtypes_Statically_Match): Fix problem of empty discriminant list
      
      From-SVN: r125460
      Robert Dewar committed
    • s-finroo.ads, [...] (Read, Write): Use null procedure declarations instead of an… · 79e44845
      s-finroo.ads, [...] (Read, Write): Use null procedure declarations instead of an explicit null body, for conciseness.
      
      2007-04-20  Thomas Quinot  <quinot@adacore.com>
      
      	* s-finroo.ads, s-finroo.adb (Read, Write): Use null procedure
      	declarations instead of an explicit null body, for conciseness.
      
      From-SVN: r125459
      Thomas Quinot committed
    • s-taprob.adb (Unlock): Change the ceiling priority of the underlying lock, if needed. · 72fb810d
      2007-04-20  Jose Ruiz  <ruiz@adacore.com>
      	    Arnaud Charlet  <charlet@adacore.com>
      
      	* s-taprob.adb (Unlock): Change the ceiling priority of the underlying
      	lock, if needed.
      
      	* s-taprop.ads (Set_Ceiling): Add this procedure to change the ceiling
      	priority associated to a lock.
      
      	* s-tpoben.adb ([Vulnerable_]Complete_Task, Lock_Entries): Relax
      	assertion to take into account case of no abort restriction.
      	(Initialize_Protection_Entries): Add initialization for the field
      	New_Ceiling associated to the protected object.
      	(Unlock_Entries): Change the ceiling priority of the underlying lock, if
      	needed.
      
      	* s-solita.adb (Get_Current_Excep): Moved back to s-tasini/s-tarest,
      	since this function needs to be set consistently with Update_Exception.
      
      	* s-tarest.adb (Get_Current_Excep): Moved back to s-tasini/s-tarest,
      	since this function needs to be set consistently with Update_Exception.
      
      	* s-taskin.ads: Update comments on
      	Interrupt_Server_Blocked_On_Event_Flag.
      	(Unbind_Handler): Fix handling of server_task wakeup
      	(Server_Task): Set self's state so that Unbind_Handler can take
      	appropriate actions.
      	(Common_ATCB): Now use a constant from System.Parameters to determine
      	the max size of the Task_Image field.
      
      	* s-tassta.adb (Task_Wrapper): Now pass the overflow guard to the
      	Initialize_Analyzer function.
      	([Vulnerable_]Complete_Task, Lock_Entries): Relax assertion to
      	take into account case of no abort restriction.
      	([Vulnerable_]Complete_Master): Modify assertion.
      
      	* s-tataat.adb (Finalize): Use the nestable versions of
      	Defer/Undefer_Abort.
      
      	* s-tpobop.adb (Protected_Entry_Call): Relax assertion.
      
      	* s-tpobop.ads: Update comments.
      
      	* s-tposen.adb (Protected_Single_Entry_Call): Call Lock_Entry instead
      	of locking the object manually, to avoid inconsistencies between
      	Lock/Unlock_Entry assertions.
      
      	* s-interr.ads, s-interr.adb (Server_Task): Fix race condition when
      	terminating
      	application and System.Parameters.No_Abort is True.
      	Update comments on Interrupt_Server_Blocked_On_Event_Flag.
      	(Unbind_Handler): Fix handling of server_task wakeup
      	(Server_Task): Set self's state so that Unbind_Handler can take
      	appropriate actions.
      
      From-SVN: r125458
      Jose Ruiz committed
    • 2007-04-20 Thomas Quinot <quinot@adacore.com> · b9f3a4b0
      	    Olivier Hainque  <hainque@adacore.com>
      
      	* a-except-2005.ads, a-except-2005.adb
      	(Raise_From_Controlled_Operation): New procedure in
      	(private part of) Ada.Exceptions (standard runtime version). Used to
      	provide informational exception message when Program_Error is raised as
      	a result of an Adjust or Finalize operation propagating an exception.
      	(Rmsg_28): Fix description for E.4(18) check.
      	(Raise_Current_Excep): Call Debug_Raise_Exception just before
      	propagation starts, to let debuggers know about the event in a reliable
      	fashion.
      	Take the address of E and dereference to make sure it is homed on stack
      	and prevent the stores from being deleted, necessary for proper
      	debugger behavior on "break exception" hits.
      	(Local_Raise): Moved to System.Exceptions
      
      	* s-finimp.adb (Raise_From_Finalize): Code to construct an appropriate
      	exception message from the current occurrence and raise Program_Error
      	has been moved to Ada.Exceptions.Raise_From_Controlled_Operation.
      
      From-SVN: r125457
      Thomas Quinot committed
    • socket.c (__gnat_close_signalling_fd): New function. · 1c8e4e2e
      2007-04-20  Thomas Quinot  <quinot@adacore.com>
      
      	* socket.c (__gnat_close_signalling_fd): New function.
      	(__gnat_safe_gethostbyaddr, __gnat_safe_gethostbyname,
      	__gnat_safe_getservbyname, __gnat_safe_getservbyport):
      	New supporting functions for task safe Netdb operations.
      
      From-SVN: r125456
      Thomas Quinot committed
    • raise-gcc.c (__gnat_eh_personality): Tweak the signature and add special code on… · 2e603994
      raise-gcc.c (__gnat_eh_personality): Tweak the signature and add special code on ia64-vms to handle major...
      
      2007-04-20  Olivier Hainque  <hainque@adacore.com>
      
      	* raise-gcc.c (__gnat_eh_personality): Tweak the signature and add
      	special code on ia64-vms to handle major incompatibilities between the
      	GCC unwinding ABI and the VMS Condition Handling Facility, both calling
      	this routine with a very different set of arguments and expectations on
      	the return value.
      
      From-SVN: r125455
      Olivier Hainque committed