Commit Graph

93376 Commits

Author SHA1 Message Date
Paolo Carlini
262118b947 configure.ac: Bump libtool_VERSION to 6:12:0.
2009-05-07  Paolo Carlini  <paolo.carlini@oracle.com>

	* configure.ac: Bump libtool_VERSION to 6:12:0.
	* configure: Regenerate.

From-SVN: r147228
2009-05-07 10:22:46 +00:00
Arnaud Charlet
59141a28ca * gcc-interface/Make-lang.in: Update dependencies
From-SVN: r147227
2009-05-07 12:00:43 +02:00
Paolo Bonzini
1cee34299e [multiple changes]
2009-05-07  Paolo Bonzini  <bonzini@gnu.org>

	* config.guess: Sync with src.

config:
2009-05-07  Paolo Bonzini

	Sync from src:
	2009-02-02  Doug Evans  <dje@google.com>

	* tcl.m4 (SC_PATH_TCLCONFIG): Don't exit 0 if tclconfig fails.
	(SC_PATH_TKCONFIG): Don't exit 0 if tkconfig fails.
	(SC_LOAD_TCLCONFIG): Quote all uses of TCL_BIN_DIR, it may contain
	"# no Tcl configs found".
	(SC_LOAD_TKCONFIG): Similarily for TK_BIN_DIR.

From-SVN: r147225
2009-05-07 08:36:43 +00:00
Uros Bizjak
0d50d55aa1 md.texi (Standard Pattern Names For Generation): Remove wrong description of "nand" functionality.
* doc/md.texi (Standard Pattern Names For Generation) [sync_nand]:
	Remove wrong description of "nand" functionality.

From-SVN: r147222
2009-05-07 10:11:04 +02:00
Uros Bizjak
aa016ff75a ChangeLog: Whitespace fixes.
* ChangeLog: Whitespace fixes.
	* testsuite/ChangeLog: Ditto.

From-SVN: r147220
2009-05-07 09:47:35 +02:00
Matthias Klose
76104d42a4 re PR libstdc++/40038 (symbols ceill@GLIBCXX_3.4.3 not exported)
2009-05-07  Matthias Klose  <doko@ubuntu.com>

	PR libstdc++/40038
	* src/math_stubs_long_double.cc: Add ceill.

From-SVN: r147217
2009-05-07 06:55:15 +00:00
Dave Korn
0b70eafda5 configure.ac ($with_ppl): Default to no if not supplied.
* configure.ac ($with_ppl):  Default to no if not supplied.
	($with_cloog):  Likewise.
	configure:  Regenerate.

From-SVN: r147216
2009-05-07 05:23:16 +00:00
Jim Wilson
585be9ef56 Correct changelog from last checkin, cut-n-paste from wrong patch file.
* gcc.c-torture/compile/const-high-part.c: New test.

From-SVN: r147214
2009-05-06 17:26:46 -07:00
James E. Wilson
e289f7a42d * gcc.target/mips/const-high-part.c: New test.
From-SVN: r147213
2009-05-06 17:24:53 -07:00
GCC Administrator
8aa7ac967f Daily bump.
From-SVN: r147212
2009-05-07 00:17:11 +00:00
Richard Guenther
22f597f1ad gimple.def (GIMPLE_ASSIGN): Fix incorrect information in the comment.
* gimple.def (GIMPLE_ASSIGN): Fix incorrect information in the
	comment.  Add that if LHS is not a gimple register, then RHS1 has
	to be a single object (GIMPLE_SINGLE_RHS).

Co-Authored-By: Adam Nemet <anemet@caviumnetworks.com>

From-SVN: r147209
2009-05-06 21:40:10 +00:00
H.J. Lu
2ff2235ced re PR testsuite/40050 (plugin tests don't work with multilib)
2009-05-06  H.J. Lu  <hongjiu.lu@intel.com>

	PR testsuite/40050
	* lib/plugin-support.exp (plugin-test-execute): Use HOSTCC to
	build plugin.

From-SVN: r147208
2009-05-06 14:31:56 -07:00
Laurent GUERBY
e84efdce90 s-linux.ads, [...]: Define sa_handler_pos.
2009-05-06  Laurent GUERBY <laurent@guerby.net>

        * s-linux.ads, s-linux-alpha.ads, s-linux-hppa.ads, 
        osinte-linux.ads: Define sa_handler_pos.
        * s-osinte-linux.ads: Use it.
        * s-linux-mipsel.ads: New.	
        * system-linux-mips64el.ads: New.
        * gcc-interface/Makefile.in: Multilib handling for
        mipsel-linux and mips64el-linux.

From-SVN: r147207
2009-05-06 21:22:56 +00:00
Janus Weil
713485cc67 re PR fortran/39630 ([F03] Procedure Pointer Components)
2009-05-06  Janus Weil  <janus@gcc.gnu.org>
	    Paul Thomas  <pault@gcc.gnu.org>

	PR fortran/39630
	* decl.c (match_procedure_interface): New function to match the
	interface for a PROCEDURE statement.
	(match_procedure_decl): Call match_procedure_interface.
	(match_ppc_decl): New function to match the declaration of a
	procedure pointer component.
	(gfc_match_procedure):  Call match_ppc_decl.
	(match_binding_attributes): Add new argument 'ppc' and handle the
	POINTER attribute for procedure pointer components.
	(match_procedure_in_type,gfc_match_generic): Added new argument to
	match_binding_attributes.
	* dump-parse-tree.c (show_expr,show_components,show_code_node): Handle
	procedure pointer components.
	* expr.c (free_expr0,gfc_copy_expr,gfc_simplify_expr): Handle EXPR_PPC.
	(gfc_check_pointer_assign): Handle procedure pointer components, but no
	full checking yet.
	(is_proc_ptr_comp): New function to determine if an expression is a
	procedure pointer component.
	* gfortran.h (expr_t): Add EXPR_PPC.
	(symbol_attribute): Add new member 'proc_pointer_comp'.
	(gfc_component): Add new member 'formal'.
	(gfc_exec_op): Add EXEC_CALL_PPC.
	(gfc_get_default_type): Changed first argument.
	(is_proc_ptr_comp): Add prototype.
	(gfc_match_varspec): Add new argument.
	* interface.c (compare_actual_formal): Handle procedure pointer
	components.
	* match.c (gfc_match_pointer_assignment,match_typebound_call): Handle
	procedure pointer components.
	* module.c (mio_expr): Handle EXPR_PPC.
	* parse.c (parse_derived): Handle procedure pointer components.
	* primary.c (gfc_match_varspec): Add new argument 'ppc_arg' and handle
	procedure pointer components.
	(gfc_variable_attr): Handle procedure pointer components.
	(gfc_match_rvalue): Added new argument to gfc_match_varspec and changed
	first argument of gfc_get_default_type.
	(match_variable): Added new argument to gfc_match_varspec.
	* resolve.c (resolve_entries,set_type,resolve_fl_parameter): Changed
	first argument of gfc_get_default_type.
	(resolve_structure_cons,resolve_actual_arglist): Handle procedure
	pointer components.
	(resolve_ppc_call): New function to resolve a call to a procedure
	pointer component (subroutine).
	(resolve_expr_ppc): New function to resolve a call to a procedure
	pointer component (function).
	(gfc_resolve_expr): Handle EXPR_PPC.
	(resolve_code): Handle EXEC_CALL_PPC.
	(resolve_fl_derived): Copy the interface for a procedure pointer
	component.
	(resolve_symbol): Fix overlong line.
	* st.c (gfc_free_statement): Handle EXEC_CALL_PPC.
	* symbol.c (gfc_get_default_type): Changed first argument.
	(gfc_set_default_type): Changed first argument of gfc_get_default_type.
	(gfc_add_component): Initialize ts.type to BT_UNKNOWN.
	* trans.h (gfc_conv_function_call): Renamed.
	* trans.c (gfc_trans_code): Handle EXEC_CALL_PPC.
	* trans-expr.c (gfc_conv_component_ref): Ditto.
	(gfc_conv_function_val): Rename to 'conv_function_val', add new
	argument 'expr' and handle procedure pointer components.
	(gfc_conv_operator_assign): Renamed gfc_conv_function_val.
	(gfc_apply_interface_mapping_to_expr): Handle EXPR_PPC.
	(gfc_conv_function_call): Rename to 'gfc_conv_procedure_call', add new
	argument 'expr' and handle procedure pointer components.
	(gfc_get_proc_ptr_comp): New function to get the backend decl for a
	procedure pointer component.
	(gfc_conv_function_expr): Renamed gfc_conv_function_call.
	(gfc_conv_structure): Handle procedure pointer components.
	* trans-intrinsic.c (gfc_conv_intrinsic_funcall,
	conv_generic_with_optional_char_arg): Renamed gfc_conv_function_call.
	* trans-stmt.h (gfc_get_proc_ptr_comp): Add prototype.
	* trans-stmt.c (gfc_trans_call): Renamed gfc_conv_function_call.
	* trans-types.h (gfc_get_ppc_type): Add prototype.
	* trans-types.c (gfc_get_ppc_type): New function to build a tree node
	for a procedure pointer component.
	(gfc_get_derived_type): Handle procedure pointer components.


2009-05-06  Janus Weil  <janus@gcc.gnu.org>

	PR fortran/39630
	* gfortran.dg/proc_decl_1.f90: Modified.
	* gfortran.dg/proc_ptr_comp_1.f90: New.
	* gfortran.dg/proc_ptr_comp_2.f90: New.
	* gfortran.dg/proc_ptr_comp_3.f90: New.
	* gfortran.dg/proc_ptr_comp_4.f90: New.
	* gfortran.dg/proc_ptr_comp_5.f90: New.
	* gfortran.dg/proc_ptr_comp_6.f90: New.


Co-Authored-By: Paul Thomas <pault@gcc.gnu.org>

From-SVN: r147206
2009-05-06 23:17:16 +02:00
Adam Nemet
641cac0b19 expr.c (get_def_for_expr): Move it up in the file.
* expr.c (get_def_for_expr): Move it up in the file.
	(store_field): When expanding a bit-field store, look at the
	defining gimple stmt for the masking conversion.

From-SVN: r147203
2009-05-06 20:46:25 +00:00
Dodji Seketeli
c7cb9f42a8 re PR c++/17395 (Incorrect lookup for parameters)
2009-05-06  Dodji Seketeli  <dodji@redhat.com>

    gcc/cp/ChangeLog:
    	PR c++/17395
    	* pt.c (tsubst_copy) <case PARM_DECL>: We don't want to tsubst the
    	whole list of PARM_DECLs, just the current one.
    
    gcc/testsuite/ChangeLog:
    	PR c++/17395
    	* g++.dg/template/call7.C: New test.

From-SVN: r147201
2009-05-06 22:41:52 +02:00
H.J. Lu
ab3426a775 Remove extra '('.
From-SVN: r147198
2009-05-06 11:18:41 -07:00
Diego Novillo
cb079a4db3 plugin-support.exp: Do not prefix $GMPINC with -I.
* lib/plugin-support.exp: Do not prefix $GMPINC with -I.

From-SVN: r147197
2009-05-06 14:13:40 -04:00
H.J. Lu
5416e9bec1 pr40021.f: Moved to ...
2009-05-06  H.J. Lu  <hongjiu.lu@intel.com>

	* gfortran.dg/pr40021.f: Moved to ...
	* gfortran.fortran-torture/execute/pr40021.f: Here.

From-SVN: r147192
2009-05-06 10:33:59 -07:00
Janis Johnson
5a5c6435c6 re PR middle-end/39986 (decimal float constant is incorrect when cc1 is a 64-bit binary)
PR middle-end/39986
	* dfp.c (encode_decimal32, decode_decimal32, encode_decimal64,
	decode_decimal64, encode_decimal128, decode_decimal128): Avoid
	32-bit memcpy into long.

	* gcc.dg/dfp/pr39986.c: New test.

From-SVN: r147188
2009-05-06 16:59:53 +00:00
Jakub Jelinek
96474f366f dwarf2out.c (new_reg_loc_descr): Don't ever create DW_OP_regX.
* dwarf2out.c (new_reg_loc_descr): Don't ever create DW_OP_regX.
	(one_reg_loc_descriptor): Create DW_OP_regX here instead of calling
	new_reg_loc_descr.
	(loc_by_reference): If loc is DW_OP_regX, change it into DW_OP_bregX 0
	instead of appending DW_OP_deref*.

From-SVN: r147187
2009-05-06 18:51:25 +02:00
Michael Matz
529ff44101 re PR middle-end/40021 (Revision 146817 miscompiled DAXPY in BLAS)
PR middle-end/40021
        * cfgexpand.c (maybe_cleanup_end_of_block): New static function.
        (expand_gimple_cond): Use it to cleanup CFG and superfluous jumps.

        * gfortran.dg/pr40021.f: New test.

From-SVN: r147186
2009-05-06 16:49:13 +00:00
Le-Chun Wu
8ba50c2c9e plugin-support.exp: New file containing support procs for plugin testcases.
2009-05-06  Le-Chun Wu  <lcwu@google.com>

	* lib/plugin-support.exp: New file containing support procs for
	plugin testcases.
	* lib/target-supports.exp (check_plugin_available): New proc.
	* gcc.dg/plugin/plugin.exp: New driver script for gcc testcases.
	* gcc.dg/plugin/selfassign.c: New plugin source file.
	* gcc.dg/plugin/self-assign-test-1.c: New test.
	* gcc.dg/plugin/self-assign-test-2.c: Likewise.
	* g++.dg/README: Add description for plugin test.
	* g++.dg/dg.exp: Exclude plugin tests from the general test list.
	* g++.dg/plugin/plugin.exp: New driver script for g++ testcases.
	* g++.dg/plugin/selfassign.c: New plugin source file.
	* g++.dg/plugin/self-assign-test-1.C: New test.
	* g++.dg/plugin/self-assign-test-2.C: Likewise.
	* g++.dg/plugin/self-assign-test-3.C: Likewise.
	* g++.dg/plugin/dumb_plugin.c: New plugin source file.
	* g++.dg/plugin/dumb-plugin-test-1.C: New test.

From-SVN: r147185
2009-05-06 12:22:19 -04:00
Tobias Burnus
b050b2dec6 re PR fortran/40041 (spurious warning with INTRINSIC statement)
2009-05-06  Tobias Burnus  <burnus@net-b.de>

        PR fortran/40041
        * resolve.c (resolve_symbol): Print no warning for implicitly
        typed intrinsic functions.

2009-05-06  Tobias Burnus  <burnus@net-b.de>

        PR fortran/40041
        * gfortran.dg/intrinsic_2.f90: New test.
        * gfortran.dg/intrinsic.f90: Add old and this PR as comment.

From-SVN: r147183
2009-05-06 17:44:18 +02:00
Arnaud Charlet
1f11033528 [multiple changes]
2009-05-06  Robert Dewar  <dewar@adacore.com>

	* sem_attr.adb: Add processing for Standard'Compiler_Version

2009-05-06  Arnaud Charlet  <charlet@adacore.com>

	* exp_ch5.adb, exp_util.adb, exp_attr.adb, sem_util.adb, sem_res.adb,
	targparm.adb, targparm.ads, exp_ch4.adb, exp_ch6.adb, exp_disp.adb,
	opt.ads, exp_aggr.adb, exp_intr.adb, sem_disp.adb, exp_ch3.adb
	(Tagged_Type_Expansion): New flag.
	Replace use of VM_Target related to tagged types expansion by
	Tagged_Type_Expansion, since tagged type expansion is not necessarily
	linked to VM targets.

From-SVN: r147182
2009-05-06 17:15:25 +02:00
Robert Dewar
e0bf7d650c sinput.adb (Expr_Last_Char): Fix some copy-paste errors for paren skipping.
2009-05-06  Robert Dewar  <dewar@adacore.com>

	* sinput.adb (Expr_Last_Char): Fix some copy-paste errors for paren
	skipping.
	(Expr_First_Char): Add ??? comment that paren skipping needs work
	(Expr_Last_Char): Add ??? comment that paren skipping needs work

	* exp_attr.adb: Add processing for Compiler_Version

	* sem_attr.adb: New attribute Compiler_Version

	* snames.ads-tmpl: Add entries for Compiler_Version attribute

	* gnat_rm.texi: Document Compiler_Version attribute

From-SVN: r147181
2009-05-06 17:08:57 +02:00
Rafael Avila de Espindola
9419a9fdc8 Makefile.in (install-plugin): Fix srcdir handling.
2009-05-06  Rafael Avila de Espindola  <espindola@google.com>

	* Makefile.in (install-plugin): Fix srcdir handling.

From-SVN: r147180
2009-05-06 14:50:37 +00:00
Andrey Belevantsev
fff1894cd6 tree-ssa.c (execute_update_address_taken): Handle TARGET_MEM_REF when processing for not_regs_needed bitmap.
* tree-ssa.c (execute_update_address_taken): Handle TARGET_MEM_REF
        when processing for not_regs_needed bitmap.
        * gimple.c (walk_stmt_load_store_addr_ops): When visiting address,
        handle TARGET_MEM_REF in lhs.  Check TMR_BASE for NULL while
        handling it for rhs.

From-SVN: r147179
2009-05-06 18:27:10 +04:00
H.J. Lu
700ae70ccd i386.md ((unnamed inc/dec peephole): Use optimize_insn_for_size_p instead of optimize_size.
2009-05-06  H.J. Lu  <hongjiu.lu@intel.com>

	* config/i386/i386.md ((unnamed inc/dec peephole): Use
	optimize_insn_for_size_p instead
	of optimize_size.
	* config/i386/predicates.md (incdec_operand): Likewise.
	(aligned_operand): Likewise.
	* config/i386/sse.md (divv8sf3): Likewise.
	(sqrtv8sf2): Likewise.

From-SVN: r147178
2009-05-06 06:50:04 -07:00
H.J. Lu
67341fb5ae i386.c (ix86_build_signbit_mask): Make it static.
2009-05-06  H.J. Lu  <hongjiu.lu@intel.com>

	* config/i386/i386.c (ix86_build_signbit_mask): Make it static.

	* config/i386/i386-protos.h (ix86_build_signbit_mask): Removed.

From-SVN: r147177
2009-05-06 06:22:36 -07:00
H.J. Lu
87946f42de i386.md (*avx_<code><mode>3_finite): Replace ssemodesuffixf2c with avxmodesuffixf2c.
2009-05-06  H.J. Lu  <hongjiu.lu@intel.com>

	* config/i386/i386.md (*avx_<code><mode>3_finite): Replace
	ssemodesuffixf2c with avxmodesuffixf2c.

From-SVN: r147175
2009-05-06 06:18:32 -07:00
Joseph Myers
1202aec13a re PR c/40032 (ICE with incomplete type in struct)
PR c/40032
	* c-decl.c (grokdeclarator): Handle incomplete type of unnamed
	field.

testsuite:
	* gcc.dg/noncompile/incomplete-5.c: New test.

From-SVN: r147174
2009-05-06 14:02:48 +01:00
Robert Dewar
483c78cb8e errout.adb: Minor reformatting
2009-05-06  Robert Dewar  <dewar@adacore.com>

	* errout.adb: Minor reformatting

	* scng.adb, sem_prag.adb, par-ch4.adb, sem_res.adb, par-ch6.adb,
	sem_ch6.adb, par-prag.adb, sem_ch8.adb, sem_warn.adb, par-util.adb,
	styleg.adb: Add stylized comments to error messages that are included
	in the codefix circuitry of IDE's such as GPS.

From-SVN: r147173
2009-05-06 14:53:27 +02:00
Arnaud Charlet
4e7a4f6e8a [multiple changes]
2009-05-06  Sergey Rybin  <rybin@adacore.com>

	* gnat_ugn.texi: For Misnamed_Identifiers rule all description of the
	new form of the rule parameter that allows to specify the suffix for
	access-to-access type names.

2009-05-06  Robert Dewar  <dewar@adacore.com>

	* sem_warn.adb (Warn_On_Useless_Assignment): Avoid false negative for
	out parameter assigned when exception handlers are present.

	* sem_ch5.adb (Analyze_Exit_Statement): Kill current value last
	assignments on exit.

	* par-ch9.adb, sem_aggr.adb, par-endh.adb, sem_res.adb, par-ch6.adb,
	sinput-l.adb, par-load.adb, errout.ads, sem_ch4.adb, lib-load.adb,
	prj-dect.adb, par-ch12.adb, sem_ch8.adb, par-util.adb, par-ch3.adb,
	par-tchk.adb, par-ch5.adb: This patch adds stylized comments to error
	messages that are included in the codefix circuitry of IDE's such as
	GPS.

	* sinput.ads, sinput.adb (Expr_First_Char): New function
        (Expr_Last_Char): New function

From-SVN: r147172
2009-05-06 14:49:36 +02:00
Arnaud Charlet
35117aa8a9 [multiple changes]
2009-05-06  Sergey Rybin  <rybin@adacore.com>

	* gnat_ugn.texi: Add subsection for Exits_From_Conditional_Loops rule
	Add formal definition for extra exit point metric

2009-05-06  Pascal Obry  <obry@adacore.com>

	* adaint.c: Support for setting attributes on unicode filename on
	Windows.

From-SVN: r147171
2009-05-06 14:43:39 +02:00
Arnaud Charlet
0c020ddef1 [multiple changes]
2009-05-06  Robert Dewar  <dewar@adacore.com>

	* sem_warn.adb: Minor reformatting

2009-05-06  Javier Miranda  <miranda@adacore.com>

	* sem_prag.adb (Process_Import_Or_Interface): Imported CPP types must
	not have discriminants or components with default expressions.
	(Analyze_Pragma): For pragma CPP_Class check that imported types
	have no discriminants and components have no default expression.

	* sem_aggr.adb (Resolve_Aggr_Expr): Add missing check on wrong use of
	class-wide types in the expression of a record component association.

2009-05-06  Sergey Rybin  <rybin@adacore.com>

	* vms_data.ads: Add qualifier for gnatmetric extra exit points metric

	* gnat_ugn.texi: Add description for the new extra exit points metric
	(gnatmetric section).

From-SVN: r147170
2009-05-06 14:40:06 +02:00
Johannes Singler
c8ecfecfd4 re PR libstdc++/39546 (parallel mode doesn't support implicit string conversion)
2009-05-06  Johannes Singler  <singler@ira.uka.de>

        PR libstdc++/39546
        * include/parallel/algo.h (find_switch):
        Parametrize binder2nd with const T& instead of T.
        * testsuite/25_algorithms/find/39546.cc: new test case

From-SVN: r147169
2009-05-06 11:20:35 +00:00
Arnaud Charlet
b92625409b Minor reformatting.
From-SVN: r147168
2009-05-06 12:16:45 +02:00
Arnaud Charlet
deef4289f2 [multiple changes]
2009-05-06  Robert Dewar  <dewar@adacore.com>

	* s-fileio.adb: Minor comment update

	* sem_ch8.adb: Minor reformatting

	* exp_ch3.adb: Update comments.

2009-05-06  Tristan Gingold  <gingold@adacore.com>

	* init.c, s-osinte-darwin.ads: Reduce alternate stack size

From-SVN: r147167
2009-05-06 12:15:30 +02:00
Arnaud Charlet
965dbd5cd4 Revert previous change.
From-SVN: r147166
2009-05-06 12:13:44 +02:00
Arnaud Charlet
895225568c Makefile.in: Update LIBGNAT_TARGET_PAIRS for Xenomai.
* gcc-interface/Makefile.in: Update LIBGNAT_TARGET_PAIRS for Xenomai.
	Fix missing unit for rtp-smp runtime on both ppc and x86 vxworks

	* gcc-interface/Make-lang.in: Update dependencies

From-SVN: r147165
2009-05-06 12:07:42 +02:00
Arnaud Charlet
a693f55e58 [multiple changes]
2009-05-06  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch12.adb (Build_Instance_Compilation_Unit_Nodes): Revert previous
	change. The context clause of a generic instance declaration must be
	preserved until the end of the compilation, because it may have to be
	installed/removed repeatedly.
	The latest change to sem.adb ensures that the context of both spec and
	body of an instance is traversed before the instance itself, making
	this patch redundant.

2009-05-06  Robert Dewar  <dewar@adacore.com>

	* sem_aggr.adb: Minor code clean-up

From-SVN: r147164
2009-05-06 11:41:39 +02:00
Arnaud Charlet
e264efcc38 [multiple changes]
2009-05-06  Gary Dismukes  <dismukes@adacore.com>

	* sem_aggr.adb: Fix typo.

2009-05-06  Thomas Quinot  <quinot@adacore.com>

	* exp_ch3.adb (Expand_N_Object_Declaration): For a controlled object
	declaration, do not adjust if the declaration is to be rewritten into
	a renaming.

2009-05-06  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch8.adb (Find_Type): Reject the use of a task type in its own
	discriminant part.

2009-05-06  Bob Duff  <duff@adacore.com>

	* s-fileio.adb (File_IO_Clean_Up_Type): Make this type limited, since
	otherwise the compiler would be allowed to optimize away the cleanup
	code.

From-SVN: r147163
2009-05-06 11:33:04 +02:00
Arnaud Charlet
69a0c1741e [multiple changes]
2009-05-06  Gary Dismukes  <dismukes@adacore.com>

	* gnat_ugn.texi: Fix typo.

2009-05-06  Thomas Quinot  <quinot@adacore.com>

	* g-debuti.adb: Minor reformatting

	* exp_attr.adb: Minor reformatting

2009-05-06  Robert Dewar  <dewar@adacore.com>

	* sem_aggr.adb: Minor reformatting.

	* g-socthi-vms.adb: Minor reformatting

2009-05-06  Bob Duff  <duff@adacore.com>

	* g-table.ads, g-table.adb, g-dyntab.ads, g-dyntab.adb:
	(Append_All): Add Append_All to g-table and g-dyntab, similar to table.

From-SVN: r147162
2009-05-06 11:29:35 +02:00
Bob Duff
4e0d20ca84 gnat_ugn.texi, [...]: Add missing documentation for warnings flags.
2009-05-06  Bob Duff  <duff@adacore.com>

	* gnat_ugn.texi, gnat_rm.texi: Add missing documentation for warnings
	flags.

From-SVN: r147161
2009-05-06 11:25:37 +02:00
Javier Miranda
117951856e sem_aggr.adb (Valid_Ancestor_Type): Add support for C++ constructors.
2009-05-06  Javier Miranda  <miranda@adacore.com>

	* sem_aggr.adb (Valid_Ancestor_Type): Add support for C++ constructors.
	(Resolve_Extension_Aggregate): Do not reject C++ constructors in
	extension aggregates.
	(Resolve_Record_Aggregate): Add support for C++ constructors in
	extension aggregates.

	* exp_aggr.adb (Build_Record_Aggr_Code): Add support for C++
	constructors in extension aggregates.

From-SVN: r147160
2009-05-06 11:23:53 +02:00
Arnaud Charlet
426d271775 [multiple changes]
2009-05-06  Robert Dewar  <dewar@adacore.com>

	* freeze.adb (Freeze_Record_Type): Improve error msg for bad size
	clause.

2009-05-06  Thomas Quinot  <quinot@adacore.com>

	* g-socthi-vms.adb (C_Recvmsg, C_Sendmsg): Convert Msg to appropriate
	packed type, since on OpenVMS, struct msghdr is packed.

2009-05-06  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch8.adb (Analyze_Object_Renaming): If the object is a function
	call returning an unconstrained composite value, create the proper
	subtype for it, as is done for object dclarations with unconstrained
	nominal subtypes. Perform this transformation regarless of whether
	call comes from source.

From-SVN: r147159
2009-05-06 11:19:08 +02:00
Arnaud Charlet
8dc10d38cc [multiple changes]
2009-05-06  Robert Dewar  <dewar@adacore.com>

	* freeze.adb (Freeze_Record_Type): Implement Implicit_Packing for
	records

	* gnat_rm.texi:
	Add documentation for pragma Implicit_Packing applied to record
	types.

2009-05-06  Ed Schonberg  <schonberg@adacore.com>

	* sem.adb (Walk_Library_Items): Place all with_clauses of an
	instantiation on the spec, because late instance bodies may generate
	with_clauses for the instance body but are inserted in the instance
	spec.

From-SVN: r147158
2009-05-06 11:13:27 +02:00
Arnaud Charlet
3249690d95 [multiple changes]
2009-05-06  Emmanuel Briot  <briot@adacore.com>

	* prj-nmsc.adb (Locate_Directory): Remove unused parameters, and add
	support for returning the directory even if it doesn't exist. This is
	used for the object directory, since we are always setting it to a
	non-null value, and we should set it to an absolute name rather than a
	relative name for the sake of external tools that might depend on it.
	(Check_Library_Attributes): When Project.Library_Dir is known, check
	that the directory exists.

2009-05-06  Ed Schonberg  <schonberg@adacore.com>

	* sem_attr.adb (Check_Dereference): If the prefix of an attribute
	reference is an implicit dereference, do not freeze the designated type
	if within a default expression or when preanalyzing a pre/postcondtion.

From-SVN: r147157
2009-05-06 11:08:27 +02:00
Arnaud Charlet
fd366a46fa [multiple changes]
2009-05-06  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch8.adb (Analyze_Object_Renaming): If the object is a function
	call returning an unconstrained composite value, create the proper
	subtype for it, as is done for object dclarations with unconstrained
	nominal subtypes

2009-05-06  Robert Dewar  <dewar@adacore.com>

	* sem_ch13.adb (Check_Constant_Address_Clause): Minor error message
	improvements

	* freeze.adb: Minor reformatting

From-SVN: r147156
2009-05-06 11:03:57 +02:00