OSDN Git Service

10 years ago * collect2.c (main): Match exactly --version and --help.
amodra [Thu, 24 Jun 2010 08:39:11 +0000 (08:39 +0000)]
* collect2.c (main): Match exactly --version and --help.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161311 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-24 Tobias Burnus <burnus@net-b.de>
burnus [Thu, 24 Jun 2010 07:51:22 +0000 (07:51 +0000)]
2010-06-24  Tobias Burnus  <burnus@net-b.de>

        PR fortran/44614
        * decl.c (variable_decl): Fix IMPORT diagnostic for CLASS.

2010-06-24  Tobias Burnus  <burnus@net-b.de>

        PR fortran/44614
        * gfortran.dg/import8.f90: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161310 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago* config/m32c/m32c-pragma.c: Don't include rtl.h.
dj [Thu, 24 Jun 2010 04:26:04 +0000 (04:26 +0000)]
* config/m32c/m32c-pragma.c: Don't include rtl.h.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161307 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoDaily bump.
gccadmin [Thu, 24 Jun 2010 00:17:50 +0000 (00:17 +0000)]
Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161305 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago/java
aesok [Wed, 23 Jun 2010 19:18:10 +0000 (19:18 +0000)]
* decl.c (java_init_decl_processing): Use double_int_to_tree instead
of build_int_cst_wide.
* boehm.c (set_bit): Remove.
(mark_reference_fields): Use double_int type for 'mask' argument.
Use double_int_setbit instead of set_bit.
(get_boehm_type_descriptor): Use double_int_setbit instead of
set_bit. Use double_int_to_tree instead of build_int_cst_wide.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161288 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * config/i386/i386 (mov<mode>): Macroize expander from mov{sf,df,xf}
uros [Wed, 23 Jun 2010 19:02:42 +0000 (19:02 +0000)]
* config/i386/i386 (mov<mode>): Macroize expander from mov{sf,df,xf}
using X87MODEF mode iterator.
(pushsf splitter): Macroize splitter using P mode iterator.
(*swap<mode>): Macroize insn from *swap{sf,df} using MODEF
mode iterator.

(*movxf_internal): Rename from *movxf_integer.
(*movxf_internal_nointeger): Rename from *movxf_nointeger.
(*movdf_internal_rex64): Rename from *movdf_integer_rex64.
(*movdf_internal): Rename from *movdf_integer.
(*movdf_internal_nointeger): Rename from *movdf_nointeger.
(*movsf_internal): Rename from *movdf_1.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161287 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Basile Starynkevitch <basile@starynkevitch.net>
bstarynk [Wed, 23 Jun 2010 16:10:01 +0000 (16:10 +0000)]
2010-06-23  Basile Starynkevitch  <basile@starynkevitch.net>

* coretypes.h: (gimple_seq_node_d, gimple_seq_node)
(const_gimple_seq_node): Removed typedefs.

* gimple.h: (gimple_seq_node_d, gimple_seq_node)
(const_gimple_seq_node): Added typedefs moved from coretypes.h.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161283 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago PR other/44644
amylaar [Wed, 23 Jun 2010 14:25:33 +0000 (14:25 +0000)]
    PR other/44644
        * df-core.c (struct df): Rename to df_d.
        * df.h (struct df): Likewise.
        * dse.h (struct df): Remove forward declaration.
        * recog.h (struct insn_data): Rename to:
        (struct_insn_data_d).  Adjusted all users.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161281 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoSplit AVX vec_extract_lo_XXX and 128bit to 256bit cast.
hjl [Wed, 23 Jun 2010 14:11:23 +0000 (14:11 +0000)]
Split AVX vec_extract_lo_XXX and 128bit to 256bit cast.
Remove 256bit to 128bit cast.

2010-06-23  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/i386.c (bdesc_args): Replace CODE_FOR_avx_si_si256,
CODE_FOR_avx_ps_ps256 and CODE_FOR_avx_pd_pd256 with
CODE_FOR_vec_extract_lo_v8si, CODE_FOR_vec_extract_lo_v8sf
and CODE_FOR_vec_extract_lo_v4df.

* config/i386/sse.md (vec_extract_lo_<AVX256MODE4P:mode>):
Changed to define_insn_and_split.
(vec_extract_lo_<AVX256MODE8P:mode>): Likewise.
(vec_extract_lo_v16hi): Likewise.
(vec_extract_lo_v32qi): Likewise.
(avx_<avxmodesuffixp><avxmodesuffix>_<avxmodesuffixp>): Likewise.
(avx_<avxmodesuffixp>_<avxmodesuffixp><avxmodesuffix>): Removed.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161279 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoFix header.
charlet [Wed, 23 Jun 2010 12:51:37 +0000 (12:51 +0000)]
Fix header.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161278 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Thomas Quinot <quinot@adacore.com>
charlet [Wed, 23 Jun 2010 12:44:34 +0000 (12:44 +0000)]
2010-06-23  Thomas Quinot  <quinot@adacore.com>

* exp_attr.adb (Expand_Access_To_Protected_Op): When rewriting a
reference to a protected subprogram outside of the protected's scope,
ensure the corresponding external subprogram is frozen before the

2010-06-23  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb: Fix typo in error message.
* sem.adb: Refine previous change.

2010-06-23  Robert Dewar  <dewar@adacore.com>

* impunit.adb, a-suewen.adb, a-suewen.ads, a-suenco.adb, a-suenco.ads,
a-suezen.adb, a-suezen.ads, a-stuten.adb, a-stuten.ads, Makefile.rtl:
Implement Ada 2012 string encoding packages.

2010-06-23  Arnaud Charlet  <charlet@adacore.com>

* a-stwiun-shared.adb, a-stwiun-shared.ads, a-stzunb-shared.adb,
a-stzunb-shared.ads, a-swunau-shared.adb, a-swuwti-shared.adb,
a-szunau-shared.adb, a-szuzti-shared.adb: New files.
* gcc-interface/Makefile.in: Enable use of above files.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161277 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoAdd PR markers.
amylaar [Wed, 23 Jun 2010 12:40:04 +0000 (12:40 +0000)]
Add PR markers.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161276 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * config/spu/spu.c (ea_load_store_inline): Use add_reg_note.
amylaar [Wed, 23 Jun 2010 12:31:08 +0000 (12:31 +0000)]
    * config/spu/spu.c (ea_load_store_inline): Use add_reg_note.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161275 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * config/spu/spu-protos.h (spu_expand_epilogue) Use bool.
amylaar [Wed, 23 Jun 2010 12:29:32 +0000 (12:29 +0000)]
    * config/spu/spu-protos.h (spu_expand_epilogue) Use bool.
        * config/spu/spu.c (spu_scalar_mode_supported_p): Declare with bool.
        (spu_vector_mode_supported_p, spu_handle_fndecl_attribute): Likewise.
        (spu_handle_vector_attribute, spu_pass_by_reference): Likewise.
        (spu_rtx_costs, spu_function_ok_for_sibcall): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161274 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Ed Schonberg <schonberg@adacore.com>
charlet [Wed, 23 Jun 2010 10:21:23 +0000 (10:21 +0000)]
2010-06-23  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Check_Constant_Address_Clauses): Do not check legality
of address clauses if if Ignore_Rep_Clauses is active.
* freeze.adb (Check_Address_Clause): If Ignore_Rep_Clauses is active,
remove address clause from tree so that it does not reach the backend.

2010-06-23  Arnaud Charlet  <charlet@adacore.com>

* exp_attr.adb (Expand_N_Attribute_Reference [Attribute_Valid]): Do not
expand 'Valid from user code in CodePeer mode, will be handled by the
back-end directly.

2010-06-23  Bob Duff  <duff@adacore.com>

* g-comlin.ads: Minor comment improvements.

2010-06-23  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Uses_SS): The expression that initializes a controlled
component of a record type may be a user-defined operator that is
rewritten as a function call.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161271 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Bob Duff <duff@adacore.com>
charlet [Wed, 23 Jun 2010 10:13:57 +0000 (10:13 +0000)]
2010-06-23  Bob Duff  <duff@adacore.com>

* g-comlin.ads, sem_ch13.adb: Minor comment fix.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161270 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Eric Botcazou <ebotcazou@adacore.com>
charlet [Wed, 23 Jun 2010 09:53:24 +0000 (09:53 +0000)]
2010-06-23  Eric Botcazou  <ebotcazou@adacore.com>

* exp_ch11.adb (Expand_Local_Exception_Handlers): Propagate the end
label to the new sequence of statements.  Set the sloc of the raise
statement onto the new goto statements.

2010-06-23  Robert Dewar  <dewar@adacore.com>

* a-stuten.ads, a-stuten.adb: New files.
* impunit.adb: Add engtry for Ada.Strings.UTF_Encoding (a-stuten.ads)
* Makefile.rtl: Add entry for a-stuten (Ada.Strings.UTF_Encoding)

2010-06-23  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Add documentation of -gnat12 switch
Add documentation of -gnatX switch.

2010-06-23  Ed Schonberg  <schonberg@adacore.com>

* inline.ads: Include the current Ada_Version in the info for pending
instance bodies, so that declaration and body are compiled with the
same Ada_Version.
* inline.adb: Move with_clause for Opt to spec.
* sem_ch12.adb (Analyze_Package_Instantiation,
Analyze_Subprogram_Instantiation): Save current Ada_Version in
Pending_Instantiation information.
(Instantiate_Package_Body, Instantiate_Subprogram_Body,
Inline_Package_Body): Use the Ada_Version present in the body

2010-06-23  Robert Dewar  <dewar@adacore.com>

* usage.adb: Add documentation for -gnat12 switch.
* errout.ads: Add VMS alias entry for -gnat12 switch
* gnat_rm.texi: Add documentation for pragma Ada_12 and Ada_2012
Add documentation for pragma Extensions_Allowed.
* opt.ads: Add entry for Ada 2012 mode.
* sem_ch4.adb, par-ch3.adb, par-ch4.adb: Use new Ada 2012 mode for 2012
* sem_prag.adb, par-prag.adb: Add processing for pragma Ada_12 and
* sem_ch13.adb: Add handling for Ada 2012 mode.
* snames.ads-tmpl: Add entries for pragma Ada_2012 and Ada_12.
* switch-c.adb: Add handling for -gnat12 switch.
Implement -gnat2005 and -gnat2012.
* usage.adb: Add documentation for -gnat12 switch.
* vms_data.ads: Add /12 switch for Ada 2012 mode.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161268 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Paolo Carlini <paolo.carlini@oracle.com>
paolo [Wed, 23 Jun 2010 09:50:42 +0000 (09:50 +0000)]
2010-06-23  Paolo Carlini <paolo.carlini@oracle.com>

* include/bits/stl_tree.h (erase(iterator), erase(const_iterator)):
Remove inline specifier.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161267 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Arnaud Charlet <charlet@adacore.com>
charlet [Wed, 23 Jun 2010 09:29:04 +0000 (09:29 +0000)]
2010-06-23  Arnaud Charlet  <charlet@adacore.com>

* exp_ch4.adb (Expand_N_Allocator): Fix potential crash when using
No_Task_Hierarchy restriction. Add comment.
* exp_ch9.adb, exp_ch3.adb: Update comments.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161266 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Robert Dewar <dewar@adacore.com>
charlet [Wed, 23 Jun 2010 09:23:47 +0000 (09:23 +0000)]
2010-06-23  Robert Dewar  <dewar@adacore.com>

* sem_ch5.adb (Process_Bounds): Remove some junk initializations.
* sem_res.adb: Add comments.
* sem_util.adb: Minor reformatting. Add comments.
Change increment on Actuals_In_Call table.
* opt.ads: Minor: add 'constant'.

2010-06-23  Javier Miranda  <miranda@adacore.com>

* exp_disp.adb (Make_DT): Initialize the Size_Func component of the
TSD to Null_Address if No_Dispatching_Calls is active.

2010-06-23  Vincent Celier  <celier@adacore.com>

* a-comlin.ads: Indicate that use of this package is not supported
during the elaboration of an auto-initialized Stand-Alone Library.

2010-06-23  Ed Schonberg  <schonberg@adacore.com>

* exp_util.adb (Is_Possibly_Misaligned_Object): Do not rely on an
alignment clause on a record type to determine if a component may be
misaligned. The decision must be taken in the back-end where target
alignment information is known.

2010-06-23  Arnaud Charlet  <charlet@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): Enable some restrictions
systematically in CodePeer mode to simplify generated code.
* restrict.adb (Check_Restriction): Do nothing in CodePeer mode.
* exp_ch4.adb (Expand_N_Allocator): Generate proper code when
No_Task_Hierarchy is set instead of crasshing.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161265 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Thomas Quinot <quinot@adacore.com>
charlet [Wed, 23 Jun 2010 09:14:55 +0000 (09:14 +0000)]
2010-06-23  Thomas Quinot  <quinot@adacore.com>

* sem_util.adb: Minor code cleanup: test for proper entity instead of
testing just Chars attribute when checking whether a given scope is
* exp_ch4.adb, einfo.adb: Minor reformatting.

2010-06-23  Vincent Celier  <celier@adacore.com>

PR ada/44633
* switch-m.adb (Normalize_Compiler_Switches): Take into account
switches -gnatB, -gnatD=nn, -gnatG (incuding -gnatG=nn), -gnatI,
-gnatl=file, -gnatS, -gnatjnn, -gnateI=nn and -gnatWx.

2010-06-23  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Resolve_Membership_Op): If left operand is a mixed mode
operation with a universal real operand, and the right operand is a
range with universal bounds, find unique fixed point that may be
candidate, and warn appropriately.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161264 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Ed Schonberg <schonberg@adacore.com>
charlet [Wed, 23 Jun 2010 09:08:31 +0000 (09:08 +0000)]
2010-06-23  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Resolve_Intrinsic_Operator): Add guards to handle
properly the rare cases where VMS operators are visible through
Extend_System, but the default System is being used and Address is a
private type.
* sem_util.adb: Widen predicate Is_VMS_Operator.

2010-06-23  Vincent Celier  <celier@adacore.com>

* switch-m.adb (Normalize_Compiler_Switches): Take into account -gnatC
and -gnateS.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161263 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Olivier Hainque <hainque@adacore.com>
charlet [Wed, 23 Jun 2010 09:01:32 +0000 (09:01 +0000)]
2010-06-23  Olivier Hainque  <hainque@adacore.com>

* einfo.adb (Has_Foreign_Convention): Consider Intrinsic with
Interface_Name as foreign. These are GCC builtin imports for
which Ada specific processing doesn't apply.

2010-06-23  Thomas Quinot  <quinot@adacore.com>

* sem_ch12.adb: Minor reformatting.

2010-06-23  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Is_VMS_Operator): Use scope of system extension to
determine whether an intrinsic subprogram is VMS specific.

2010-06-23  Hristian Kirtchev  <kirtchev@adacore.com>

* treepr.adb (Print_Entity_Info): Output the contents of Field28 if it
is present in the entity.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161262 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago(gnat_to_gnu_param): Use void_ptr GCC type for System.Address argument
charlet [Wed, 23 Jun 2010 08:56:20 +0000 (08:56 +0000)]
(gnat_to_gnu_param): Use void_ptr GCC type for System.Address argument
of GCC builtin imports.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161261 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Arnaud Charlet <charlet@adacore.com>
charlet [Wed, 23 Jun 2010 08:53:09 +0000 (08:53 +0000)]
2010-06-23  Arnaud Charlet  <charlet@adacore.com>

* xr_tabls.adb, xref_lib.adb: Update to latest lib-xref.ads
Fix handling of parameters.
Add protection against unexpected cases.
* sem_ch6.adb (Create_Extra_Formals): Use suffix "L" instead of "A" for
access level, since "A" suffix is already used elsewhere. Similarly,
use suffix "O" instead of "C" for 'Constrained since "C" suffix is used
for xxx'Class.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161260 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Thomas Quinot <quinot@adacore.com>
charlet [Wed, 23 Jun 2010 08:46:08 +0000 (08:46 +0000)]
2010-06-23  Thomas Quinot  <quinot@adacore.com>

* sem_util.adb, sem_util.ads: Minor reformatting.

2010-06-23  Vincent Celier  <celier@adacore.com>

* prj.ads (Gprclean_Flags.Missing_Source_Files): Set to Error to keep
the previous behavior of gprclean when there are missing files.

2010-06-23  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Load_Body_Of_Generic): In CodePeer mode, a missing
generic body is not a fatal error.
(Mark_Context): Handle properly names of child units.
* sem.adb (Walk_Library_Items.Do_Action): Remove assertion on

2010-06-23  Vincent Celier  <celier@adacore.com>

* ali.adb (Scan_ALI): When ignoring R lines, do not skip the next
non-empty line.

2010-06-23  Bob Duff  <duff@adacore.com>

* g-pehage.ads, g-pehage.adb: Switch default optimization mode to
Memory_Space, because CPU_Time doesn't seem to provide any significant
speed advantage in practice. Cleanup: Get rid of constant
Default_Optimization; doesn't seem to add anything. Use case
statements instead of if statements; seems cleaner.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161259 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * gcc-interface/decl.c (gnat_to_gnu_entity) <case E_Procedure>: Use
charlet [Wed, 23 Jun 2010 08:40:22 +0000 (08:40 +0000)]
* gcc-interface/decl.c (gnat_to_gnu_entity) <case E_Procedure>: Use
Wshadow instead of Wextra to guard warning on absence of internal
builtin decl for an import.  Fix use of quote in warning text.
(intrin_arglists_compatible_p): Remove processing of integer trailing
args on the Ada side.  Fix use of literal > in warning text.
(intrin_return_compatible_p): Never warn on "function imported as
procedure".  Defer the void/void case to the common type compatibility

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161258 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Olivier Hainque <hainque@adacore.com>
charlet [Wed, 23 Jun 2010 08:28:20 +0000 (08:28 +0000)]
2010-06-23  Olivier Hainque  <hainque@adacore.com>

* gcc-interface/decl.c (intrin_types_incompatible_p): New function,
helper for ...
(intrin_arglists_compatible_p, intrin_return_compatible_p): New
functions, helpers for ...
(intrin_profiles_compatible_p): New function, replacement for ...
(compatible_signatures_p): Removed.
(gnat_to_gnu_entity) <case E_Procedure>: If -Wextra, warn on
attempt to bind an unregistered builtin function.  When we have
one, use it and warn on profile incompatibilities.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161257 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoReplace PR 22220 by PR ada/22220.
charlet [Wed, 23 Jun 2010 07:47:57 +0000 (07:47 +0000)]
Replace PR 22220 by PR ada/22220.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161256 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago PR 22220
charlet [Wed, 23 Jun 2010 07:08:46 +0000 (07:08 +0000)]
    PR 22220
        * doc/install.texi: Update requirements to build GNAT.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161255 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoUpdate dependencies.
charlet [Wed, 23 Jun 2010 07:01:12 +0000 (07:01 +0000)]
Update dependencies.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161254 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Ed Schonberg <schonberg@adacore.com>
charlet [Wed, 23 Jun 2010 06:59:47 +0000 (06:59 +0000)]
2010-06-23  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Mark_Coextensions): If the expression in the allocator
for a coextension in an object declaration is a concatenation, treat
coextension as dynamic.

2010-06-23  Javier Miranda  <miranda@adacore.com>

* sem_ch3.adb (Add_Internal_Interface_Entities): Ensure that the
internal entities are added to the scope of the tagged type.
(Derive_Subprograms): Do not stop derivation when we find the first
internal entity that has attribute Interface_Alias. After the change
done to Override_Dispatching_Operations it is no longer true that
these primirives are always located at the end of the list of
* einfo.ads (Primitive_Operations): Add documentation.
* exp_disp.adb (Write_DT): Improve output adding to the name of the
primitive a prefix indicating its corresponding tagged type.
* sem_disp.adb (Override_Dispatching_Operations): If the overridden
entity covers the primitive of an interface that is not an ancestor of
this tagged type then the new primitive is added at the end of the list
of primitives.  Required to fulfill the C++ ABI.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161253 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Javier Miranda <miranda@adacore.com>
charlet [Wed, 23 Jun 2010 06:50:13 +0000 (06:50 +0000)]
2010-06-23  Javier Miranda  <miranda@adacore.com>

* atree.ads (Set_Reporting_Proc): New subprogram.
* atree.adb: Remove dependency on packages Opt and SCIL_LL.
(Allocate_Initialize_Node, Replace, Rewrite): Replace direct calls
to routines of package Scil_ll by indirect call to the registered
(Set_Reporting_Proc): New subprogram. Used to register a subprogram
that is invoked when a node is allocated, replaced or rewritten.
* scil_ll.adb (Copy_SCIL_Node): New routine that takes care of copying
the SCIL node. Used as argument for Set_Reporting_Proc.
(Initialize): Register Copy_SCIL_Node as the reporting routine that
is invoked by atree.

2010-06-23  Thomas Quinot  <quinot@adacore.com>

* sem_ch3.ads: Minor reformatting.

2010-06-23  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Analyze_Package_Instantiation): In CodePeer mode,
always analyze the generic body and instance, because it may be needed
(Mark_Context): Prepend the with clauses for needed generic units, so
they appear in a better order for CodePeer.
* sem_util.adb, sem_util.ads: Prototype code for AI05-0144.

2010-06-23  Emmanuel Briot  <briot@adacore.com>

* prj.ads, prj-nmsc.adb (Error_Or_Warning): New subprogram.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161252 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Robert Dewar <dewar@adacore.com>
charlet [Wed, 23 Jun 2010 06:43:38 +0000 (06:43 +0000)]
2010-06-23  Robert Dewar  <dewar@adacore.com>

* g-pehage.adb, exp_ch13.adb: Minor reformatting.

2010-06-23  Thomas Quinot  <quinot@adacore.com>

* a-tags.ads: Fix description of TSD structure.

2010-06-23  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Mark_Context): When indicating that the body of a
generic unit is needed prior to the unit containing an instantiation,
search recursively the context of the generic to add other generic
bodies that may be instantiated indirectly through the current instance.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161251 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Robert Dewar <dewar@adacore.com>
charlet [Wed, 23 Jun 2010 06:39:36 +0000 (06:39 +0000)]
2010-06-23  Robert Dewar  <dewar@adacore.com>

* freeze.adb: Minor reformatting.

2010-06-23  Bob Duff  <duff@adacore.com>

* g-pehage.adb (Trim_Trailing_Nuls): Fix the code to match the comment.

2010-06-23  Vincent Celier  <celier@adacore.com>

* make.adb (Compile_Sources): Complete previous change.

2010-06-23  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Add_Extra_Formal): Use suffix "C" in the name of the
Constrained extra formal.

2010-06-23  Ed Schonberg  <schonberg@adacore.com>

* exp_ch13.adb (Expand_Freeze_Actions): If validity checks and
Initialize_Scalars are enabled, compile the generated equality function
for a composite type with full checks enabled, so that validity checks
are performed on individual components.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161250 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Emmanuel Briot <briot@adacore.com>
charlet [Wed, 23 Jun 2010 06:35:36 +0000 (06:35 +0000)]
2010-06-23  Emmanuel Briot  <briot@adacore.com>

* prj.adb, prj.ads, prj-nmsc.adb (Processing_Flags): New flag

2010-06-23  Robert Dewar  <dewar@adacore.com>

* exp_ch3.adb, exp_util.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161249 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Jose Ruiz <ruiz@adacore.com>
charlet [Wed, 23 Jun 2010 06:31:57 +0000 (06:31 +0000)]
2010-06-23  Jose Ruiz  <ruiz@adacore.com>

* a-reatim.adb, a-retide.adb: Move the initialization of the tasking
run time from Ada.Real_Time.Delays to Ada.Real_Time. This way, calls to
Clock (without delays) use a run time which is properly initialized.

2010-06-23  Vincent Celier  <celier@adacore.com>

* make.adb: Do not set Check_Readonly_Files when setting Must_Compile,
when -f -u and a main is specified on the command line. However,
attempt to compile even when the ALI file is read-only when
Must_Compile is True.

2010-06-23  Thomas Quinot  <quinot@adacore.com>

* checks.adb, g-pehage.adb, cstand.adb: Minor code factorization.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161248 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Javier Miranda <miranda@adacore.com>
charlet [Wed, 23 Jun 2010 06:26:07 +0000 (06:26 +0000)]
2010-06-23  Javier Miranda  <miranda@adacore.com>

* sem_ch3.adb (Add_Internal_Interface_Entities): Generate internal
entities for parent types that are interfaces. Needed in generics to
handle formals that implement interfaces.
(Derive_Subprograms): Add assertion for derivation of tagged types that
do not cover interfaces. For generics, complete code that handles
derivation of type that covers interfaces because the previous
condition was weak (it required only name consistency; arguments were
not checked). Add new code to locate primitives covering interfaces
defined in generic units or instantiatons.
* sem_util.adb (Has_Interfaces): Add missing support for derived types.
* sem_ch6.adb (Check_Overriding_Indicator): Minor code cleanups.
* exp_disp.adb (Make_Select_Specific_Data_Table): Skip primitives of
interfaces that are parents of the type because they share the primary
dispatch table.
(Register_Primitive): Do not register primitives of interfaces that
are parents of the type.
* sem_ch13.adb (Analyze_Freeze_Entity): Add documentation.
* exp_cg.adb (Write_Type_Info): When displaying overriding of interface
primitives skip primitives of interfaces that are parents of the type.

2010-06-23  Ed Schonberg  <schonberg@adacore.com>

* sem_attr.adb (Eval_Attribute): If the prefix is an array, the
attribute cannot be constant-folded if an index type is a formal type,
or is derived from one.
* checks.adb (Determine_Range): ditto.

2010-06-23  Arnaud Charlet  <charlet@adacore.com>

* gnat_ugn.texi, gnatxref.adb: Add support for --ext switch.

2010-06-23  Bob Duff  <duff@adacore.com>

* g-pehage.ads, g-pehage.adb (Put): Fix off-by-one bug.
(Insert): Disallow nul characters.
(misc output routines): Assert no nul characters.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161247 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Ed Schonberg <schonberg@adacore.com>
charlet [Wed, 23 Jun 2010 06:21:26 +0000 (06:21 +0000)]
2010-06-23  Ed Schonberg  <schonberg@adacore.com>

* exp_ch4.adb: Use predefined unsigned type in all cases.

2010-06-23  Bob Duff  <duff@adacore.com>

* s-rannum.adb (Reset): Avoid overflow in calculation of Initiator.
* g-pehage.ads: Minor comment fixes.
* g-pehage.adb: Minor: Add some additional debugging printouts under
Verbose flag.

2010-06-23  Robert Dewar  <dewar@adacore.com>

* binde.adb (Better_Choice): Always prefer Pure/Preelab.
(Worse_Choice): Always prefer Pure/Preelab.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161246 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Vincent Celier <celier@adacore.com>
charlet [Wed, 23 Jun 2010 06:17:00 +0000 (06:17 +0000)]
2010-06-23  Vincent Celier  <celier@adacore.com>

* a-reatim.adb: Call System.OS_Primitives.Initialize during elaboration

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161245 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Robert Dewar <dewar@adacore.com>
charlet [Wed, 23 Jun 2010 06:11:20 +0000 (06:11 +0000)]
2010-06-23  Robert Dewar  <dewar@adacore.com>

* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Properly handle
checking returns in generic case.
(Check_Missing_Return): New procedure.

2010-06-23  Robert Dewar  <dewar@adacore.com>

* bindgen.adb, switch-b.adb: Minor reformatting.

2010-06-23  Javier Miranda  <miranda@adacore.com>

* frontend.adb (Frontend): Add call to initialize the new package
* exp_ch7.adb (Wrap_Transient_Expression): Remove call to
(Wrap_Transient_Statement): Remove call to Adjust_SCIL_Node.
* sem_ch5.adb (Analyze_Iteration_Scheme.Process_Bounds): Remove call to
* exp_util.adb (Insert_Actions): Remove code for
N_SCIL_Dispatch_Table_Object_Init and N_SCIL_Tag_Init nodes.
(Remove_Side_Effects): Remove calls to Adjust_SCIL_Node.
* sinfo.adb (SCIL_Entity, SCIL_Tag_Value): Remove checks on
N_SCIL_Tag_Init and N_SCIL_Dispatch_Table_Object_Init in the assertion.
(SCIL_Related_Node, Set_SCIL_Related_Node): Removed.
* sinfo.ads (SCIL_Related_Node): Field removed.
(N_SCIL_Dispatch_Table_Object_Init): Node removed.
(N_SCIL_Tag_Init): Node removed.
* sem_scil.ads, sem_scil.adb (Adjust_SCIL_Node): Removed.
(Check_SCIL_Node): New implementation.
(Find_SCIL_Node): Removed.
* sem.adb (Analyze): Remove management of
N_SCIL_Dispatch_Table_Object_Init and N_SCIL_Tag_Init nodes.
* sem_util.adb (Insert_Explicit_Dereference): Remove call to
* exp_ch4.adb (Expand_N_In): Code cleanup: remove call to
Set_SCIL_Related_Node and avoid adding the SCIL node before the
referenced node using Insert_Action because this is not longer required.
(Expand_Short_Circuit_Operator): Remove call to SCIL node.
* exp_ch6.adb (Expand_Call): Remove call to Adjust_SCIL_Node.
* sem_ch4.adb (Analyze_Type_Conversion): Remove call to Adjust_SCIL_Node
* exp_disp.adb (Expand_Dispatching_Call): Minor code reorganization
because we no longer require to generate the SCIL node before the call.
(Make_DT): Remove generation of SCI_Dispatch_Table_Object_Init node.
Remove calls to Set_SCIL_Related_Node and avoid adding the SCIL
nodes before the referenced node using Insert_Action because this
is not longer required.
* atree.adb (Allocate_Initialize_Node, Replace, Rewrite): Add call to
update the SCIL_Node field.
* sprint.adb (Sprint_Node_Actual): Remove code for
N_SCIL_Dispatch_Table_Object_Init and N_SCIL_Tag_Init nodes.
* treepr.adb (Print_Node): Print the SCIL node field (if available).
* exp_ch3.adb (Build_Init_Procedure): Remove generation of
SCIL_Tag_Init nodes.
* scil_ll.ads, scil_ll.adb: New files.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161244 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Robert Dewar <dewar@adacore.com>
charlet [Wed, 23 Jun 2010 05:48:28 +0000 (05:48 +0000)]
2010-06-23  Robert Dewar  <dewar@adacore.com>

* sem_ch6.adb: Minor reformatting.

2010-06-23  Doug Rupp  <rupp@adacore.com>

* bindusg.adb (Display): Write -Hnn line.
* bindgen.adb (Gen_Adainit_Ada): Write Heap_Size to binder file as
* init.c (__gl_heap_size): Rename from __gl_no_malloc_64 and change
valid values to 32 and 64.
(GNAT$NO_MALLOC_64): Recognize TRUE, 1, FALSE, and 0 in addition to
ENABLE, DISABLE as valid settings.
* switch-b.adb (Scan_Binder_Switches): Process -Hnn switch.
* opt.ads (Heap_Size): New global variable.
* gcc-interface/utils2.c (maybe_wrap_malloc): Remove mostly redundant
TARGET_MALLOC64 check. Fix comment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161243 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-23 Robert Dewar <dewar@adacore.com>
charlet [Wed, 23 Jun 2010 05:40:52 +0000 (05:40 +0000)]
2010-06-23  Robert Dewar  <dewar@adacore.com>

* sem_ch6.adb, exp_ch4.adb, s-rannum.ads, sem.adb, sem_ch12.adb: Minor
reformatting.  Add comments.
* errout.adb (Finalize): Properly adjust warning count when deleting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161242 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * gnat.dg/not_null.adb: Update test case.
charlet [Wed, 23 Jun 2010 05:21:16 +0000 (05:21 +0000)]
* gnat.dg/not_null.adb: Update test case.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161241 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoDaily bump.
gccadmin [Wed, 23 Jun 2010 00:17:33 +0000 (00:17 +0000)]
Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161240 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Paolo Carlini <paolo.carlini@oracle.com>
paolo [Tue, 22 Jun 2010 23:36:32 +0000 (23:36 +0000)]
2010-06-22  Paolo Carlini  <paolo.carlini@oracle.com>

* include/profile/impl/profiler_list_to_slist.h: Fix formatting,
other minor stylistic changes.
* include/profile/impl/profiler_container_size.h: Likewise.
* include/profile/impl/profiler_vector_size.h: Likewise.
* include/profile/impl/profiler_hash_func.h: Likewise.
* include/profile/impl/profiler_trace.h: Likewise.
* include/profile/impl/profiler_list_to_vector.h: Likewise.
* include/profile/impl/profiler_vector_to_list.h: Likewise.
* include/profile/impl/profiler_state.h: Likewise.
* include/profile/impl/profiler_map_to_unordered_map.h: Likewise.
* include/profile/impl/profiler_hashtable_size.h: Likewise.
* include/profile/impl/profiler_node.h: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161236 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Matthias Klose <doko@ubuntu.com>
doko [Tue, 22 Jun 2010 22:09:07 +0000 (22:09 +0000)]
2010-06-22  Matthias Klose  <doko@ubuntu.com>

        * python/libstdcxx/v6/printers.py: Don't use string exceptions.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161233 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago PR c++/44619
jakub [Tue, 22 Jun 2010 20:50:03 +0000 (20:50 +0000)]
PR c++/44619
* typeck2.c (build_m_component_ref): Call mark_lvalue_use on
datum and mark_rvalue_use on component.

* g++.dg/warn/Wunused-var-13.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161230 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago PR c++/44627
jakub [Tue, 22 Jun 2010 20:42:50 +0000 (20:42 +0000)]
PR c++/44627
* error.c (dump_expr): Don't look at CALL_EXPR_ARG (t, 0) if
the CALL_EXPR has no arguments.

* g++.dg/diagnostic/method1.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161227 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago* config/m68k/m68k.c (m68k_output_addr_const_extra): Add cast to
schwab [Tue, 22 Jun 2010 20:03:52 +0000 (20:03 +0000)]
* config/m68k/m68k.c (m68k_output_addr_const_extra): Add cast to
enum type.
(m68k_sched_attr_opx_type): Remove unreachable return.
(m68k_sched_attr_opy_type): Likewise.
(m68k_sched_attr_size): Likewise.
(sched_get_opxy_mem_type): Likewise.
(m68k_sched_attr_op_mem): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161225 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * cgraphunit.c (cgraph_redirect_edge_call_stmt_to_callee): Chain the
ebotcazou [Tue, 22 Jun 2010 18:21:25 +0000 (18:21 +0000)]
* cgraphunit.c (cgraph_redirect_edge_call_stmt_to_callee): Chain the
new statement and adjust VDEF only if necessary.  Remove superfluous
call to maybe_clean_or_replace_eh_stmt.
* gimple.c (gimple_call_copy_skip_args): Use gimple_call_copy_flags to
copy the flags.
* gimple-iterator.c (gsi_replace): Clear BB of old statement here...
* tree-inline.c (copy_bb): ...and not there.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161221 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agogcc/ChangeLog:
ccoutant [Tue, 22 Jun 2010 17:41:05 +0000 (17:41 +0000)]

* dwarf2out.c (is_nested_in_subprogram): New function.
(should_move_die_to_comdat): Use it.
(copy_ancestor_tree): Don't mark DIEs here.
(copy_decls_walk): Start walk from root of newly-added tree;
mark DIEs here instead.


* g++.dg/debug/dwarf2/dwarf4-typedef.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161217 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Robert Dewar <dewar@adacore.com>
charlet [Tue, 22 Jun 2010 17:29:41 +0000 (17:29 +0000)]
2010-06-22  Robert Dewar  <dewar@adacore.com>

* errout.adb (Finalize): Set Prev pointers.
(Finalize): Delete continuations for deletion by warnings off(str).
* erroutc.ads: Add Prev pointer to error message structure.

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem.adb (Do_Unit_And_Dependents): If the spec of the main unit is a
child unit, examine context of parent units to locate instantiated
generics whose bodies may be needed.
* sem_ch12.adb: (Mark_Context): if the enclosing unit does not have a
with_clause for the instantiated generic, examine the context of its
parents, to set Withed_Body flag, so that it can be visited earlier.
* exp_ch4.adb (Expand_N_Op_Not): If this is a VMS operator applied to
an unsigned type, use a type of the proper size for the intermediate
value, to prevent alignment problems on unchecked conversion.

2010-06-22  Geert Bosch  <bosch@adacore.com>

* s-rannum.ads Change Generator type to be self-referential to allow
Random to update its argument. Use "in" mode for the generator in the
Reset procedures to allow them to be called from the Ada.Numerics
packages without tricks.
* s-rannum.adb: Use the self-referencing argument to get write access
to the internal state of the random generator.
* a-nudira.ads: Make Generator a derived type of
* a-nudira.adb: Remove use of 'Unrestricted_Access.
Put subprograms in alpha order and add headers.
* g-mbdira.ads: Change Generator type to be self-referential.
* g-mbdira.adb: Remove use of 'Unrestricted_Access.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161215 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Robert Dewar <dewar@adacore.com>
charlet [Tue, 22 Jun 2010 17:17:57 +0000 (17:17 +0000)]
2010-06-22  Robert Dewar  <dewar@adacore.com>

* freeze.adb: Minor reformatting
Minor code reorganization (use Nkind_In and Ekind_In).

2010-06-22  Bob Duff  <duff@adacore.com>

* gnat1drv.adb (Gnat1drv): Remove the messages that recommend using
-gnatc when a file is compiled that we cannot generate code for, not
helpful and confusing.

2010-06-22  Vincent Celier  <celier@adacore.com>

* switch-m.adb (Normalize_Compiler_Switches): Process correctly
switches -gnatknn.

2010-06-22  Paul Hilfinger  <hilfinger@adacore.com>

* s-rannum.adb: Replace constants with commented symbols.
* s-rannum.ads: Explain significance of the initial value of the data

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* a-ngcoty.adb: Clarify comment.

2010-06-22  Gary Dismukes  <dismukes@adacore.com>

* exp_pakd.adb (Expand_Bit_Packed_Element_Set): Return without
expansion for indexing packed arrays with small power-of-2 component
sizes when the target is AAMP.
(Expand_Packed_Element_Reference): Return without expansion for
indexing packed arrays with small power-of-2 component sizes when the
target is AAMP.

2010-06-22  Geert Bosch  <bosch@adacore.com>

* exp_ch4.adb (Expand_N_In): Do not substitute a valid check for X in

2010-06-22  Robert Dewar  <dewar@adacore.com>

* g-mbdira.adb, g-mbflra.adb, a-nuflra.adb, a-nudira.adb: Minor comment

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161213 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Doug Rupp <rupp@adacore.com>
charlet [Tue, 22 Jun 2010 17:11:54 +0000 (17:11 +0000)]
2010-06-22  Doug Rupp  <rupp@adacore.com>

* system-vms.ads, system-vms-zcx.ads: Remove old unused VMS system
* system-vms_64.ads, system-vms-ia64.ads: Minor reformatting.
(pragma Ident): Add a default ident string in the private part.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* cstand.adb: Minor reformatting.

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* freeze.adb (Build_And_Analyze_Renamed_Body): For expansion purposes,
recognize the Shift and Rotation intrinsics that are known to the
compiler but have no interface name.

2010-06-22  Geert Bosch  <bosch@adacore.com>

* a-ngcoty.adb ("*"): Rewrite complex multiplication to use proper
scaling in case of overflow or NaN results.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161210 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoAlso check sseishft1 for unit attribute.
hjl [Tue, 22 Jun 2010 17:10:29 +0000 (17:10 +0000)]
Also check sseishft1 for unit attribute.

2010-06-22  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/i386.md (unit): Also check sseishft1.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161209 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Janus Weil <janus@gcc.gnu.org>
janus [Tue, 22 Jun 2010 17:07:06 +0000 (17:07 +0000)]
2010-06-22  Janus Weil  <janus@gcc.gnu.org>

PR fortran/44616
* resolve.c (resolve_fl_derived): Avoid checking for abstract on class

2010-06-22  Janus Weil  <janus@gcc.gnu.org>

PR fortran/44616
* gfortran.dg/abstract_type_8.f03: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161208 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * gimple.h (gimple_expr_code): Do checking on when gimple checking is enabled.
hubicka [Tue, 22 Jun 2010 17:06:24 +0000 (17:06 +0000)]
* gimple.h (gimple_expr_code): Do checking on when gimple checking is enabled.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161207 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Robert Dewar <dewar@adacore.com>
charlet [Tue, 22 Jun 2010 17:04:37 +0000 (17:04 +0000)]
2010-06-22  Robert Dewar  <dewar@adacore.com>

* cstand.adb: Complete previous change.
* g-dirope.ads: Add comment.
* s-stchop.adb, sfn_scan.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161206 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Ed Schonberg <schonberg@adacore.com>
charlet [Tue, 22 Jun 2010 16:57:01 +0000 (16:57 +0000)]
2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* cstand.adb: Add tree nodes for pragma Pack on string types.

2010-06-22  Javier Miranda  <miranda@adacore.com>

* einfo.ads, einfo.adb (Last_Formal): New synthesized attribute.
* exp_util.adb (Find_Prim_Op): Use new attribute to locate the last
formal of a primitive.
* exp_disp.adb (Is_Predefined_Dispatching_Operation,
 Is_Predefined_Dispatching_Alias): Use new attribute to locate the last
formal of a primitive.
* exp_cg.adb (Is_Predefined_Dispatching_Operation): Use new attribute
to obtain the last formal of a primitive.

2010-06-22  Geert Bosch  <bosch@adacore.com>

* sysdep.c, init.c, adaint.c, cstreams.c: Remove conditional code
depending on __EMX__ or MSDOS being defined.
* i-cstrea.ads, gnat_rm.texi: Remove mentions of OS/2, DOS and Xenix.
* a-excpol-abort.adb: Update comment indicating users of the file.
* xref_lib.adb, sfn_scan.adb: Remove mention of OS/2, replace NT by
* env.c: Remove empty conditional for MSDOS.
* s-stchop.adb, g-dirope.ads, s-fileio.adb, osint.ads: Remove mention
of OS/2 in comment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161205 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Robert Dewar <dewar@adacore.com>
charlet [Tue, 22 Jun 2010 16:47:55 +0000 (16:47 +0000)]
2010-06-22  Robert Dewar  <dewar@adacore.com>

* s-rannum.adb: Minor reformatting.

2010-06-22  Javier Miranda  <miranda@adacore.com>

* sem_aux.adb, sem_aux.ads, sem_util.adb, sem_util.ads, sem_elim.adb,
exp_cg.adb: Minor code reorganization: Move routine Ultimate_Alias from
package Sem_Util to package Sem_Aux.

2010-06-22  Javier Miranda  <miranda@adacore.com>

* exp_disp.adb (Make_Secondary_DT, Make_DT): Minor code cleanup:
remove useless restriction on imported routines when building the
dispatch tables.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* cstand.adb (Create_Standard): Set Has_Pragma_Pack for standard string

2010-06-22  Javier Miranda  <miranda@adacore.com>

* sem_ch4.adb (Collect_Generic_Type_Ops): Protect code that handles
generic subprogram declarations to ensure proper context. Add missing
support for generic actuals.
(Try_Primitive_Operation): Add missing support for concurrent types that
have no Corresponding_Record_Type. Required to diagnose errors compiling
generics or when compiling with no code generation (-gnatc).
* sem_ch9.adb (Analyze_Protected_Type, Analyze_Task_Type): Do not build
the corresponding record type.
* sem_disp.ads, sem_disp.adb (Check_Dispatching_Operation): Complete
documentation. Do minimum decoration when processing a primitive of a
concurrent tagged type that covers interfaces. Required to diagnose
errors in the Object.Operation notation compiling generics or under
* exp_ch9.ads, exp_ch9.adb (Build_Corresponding_Record): Add missing
propagation of attribute Interface_List to the corresponding record.
(Expand_N_Task_Type_Declaration): Code cleanup.
(Expand_N_Protected_Type_Declaration): Code cleanup.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161203 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Matthew Heaney <heaney@adacore.com>
charlet [Tue, 22 Jun 2010 16:35:15 +0000 (16:35 +0000)]
2010-06-22  Matthew Heaney  <heaney@adacore.com>

* a-convec.adb, a-coinve.adb: Removed 64-bit types Int and UInt.

2010-06-22  Paul Hilfinger  <hilfinger@adacore.com>

* s-rannum.adb (Random_Float_Template): Replace with unbiased version
that is able to produce all representable floating-point numbers in the
unit interval. Remove template parameter Shift_Right, no longer used.
* gnat_rm.texi: Document the period of the pseudo-random number
generator under the description of its algorithm.
* gcc-interface/Make-lang.in: Update dependencies.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161202 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Thomas Quinot <quinot@adacore.com>
charlet [Tue, 22 Jun 2010 16:22:58 +0000 (16:22 +0000)]
2010-06-22  Thomas Quinot  <quinot@adacore.com>

* exp_aggr.adb (Rewrite_Discriminant): Fix predicate used to identify
reference to discriminant (can be an expanded name as well as an

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb: Clarify comment.

2010-06-22  Geert Bosch  <bosch@adacore.com>

* exp_imgv.adb (Expand_Image_Attribute): Treat ordinary fixed point
with decimal small as decimal types, avoiding floating-point arithmetic.
(Has_Decimal_Small): New function.
* einfo.ads, einfo.adb (Aft_Value): New synthesized attributed for
fixed point types.
* sem_attr.adb (Eval_Attribute): Remove Aft_Value function and update
callers to call the new function in Einfo that takes the entity as

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161200 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoFix version of patch from previous commit ;(
hubicka [Tue, 22 Jun 2010 16:02:34 +0000 (16:02 +0000)]
Fix version of patch from previous commit ;(

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161199 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Robert Dewar <dewar@adacore.com>
charlet [Tue, 22 Jun 2010 15:54:12 +0000 (15:54 +0000)]
2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb, sem_ch8.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161198 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * df-problems.c (df_rd_confluence_n, df_lr_confluence_n, df_live_confluence_n,
hubicka [Tue, 22 Jun 2010 15:51:15 +0000 (15:51 +0000)]
* df-problems.c (df_rd_confluence_n, df_lr_confluence_n, df_live_confluence_n,
df_byte_lr_confluence_n, df_md_confluence_n): Return true if something changed.
* df.h (df_confluence_function_n): Return bool.
* df-core.c (df_worklist_propagate_forward, df_worklist_propagate_backward):
track changes and ages.
(df_worklist_dataflow_doublequeue): Use bitmap iterator for main walk;
track ages.
* dse.c (dse_confluence_n): Return always true.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161197 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Thomas Quinot <quinot@adacore.com>
charlet [Tue, 22 Jun 2010 15:41:47 +0000 (15:41 +0000)]
2010-06-22  Thomas Quinot  <quinot@adacore.com>

* sem_elab.adb: Minor reformatting.

2010-06-22  Vincent Celier  <celier@adacore.com>

* gnatsym.adb: Put the object files in the table in increasing
aphabetical order of base names.

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Set_Entity_Or_Discriminal): New procedure used by
Find_Direct_Name and Find_Expanded_Name, to replace a discriminant with
the corresponding discriminal within a record declaration.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161196 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Thomas Quinot <quinot@adacore.com>
charlet [Tue, 22 Jun 2010 15:37:19 +0000 (15:37 +0000)]
2010-06-22  Thomas Quinot  <quinot@adacore.com>

* exp_aggr.adb (Rewrite_Discriminant): Rewriting must occur only for an
expression referring to a discriminal of the type of the aggregate (not
a discriminal of some other unrelated type), and the prefix in the
generated selected component must come from Lhs, not Obj.

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* sem_ch3.adb (Build_Derived_Record_Type): Fix predicate determining
when to freeze the parent type.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161195 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Robert Dewar <dewar@adacore.com>
charlet [Tue, 22 Jun 2010 15:32:18 +0000 (15:32 +0000)]
2010-06-22  Robert Dewar  <dewar@adacore.com>

* s-rannum.adb, a-nudira.adb, types.ads, freeze.adb, sem_aggr.adb,
exp_aggr.adb: Minor reformatting.
* gnat_rm.texi: Document GNAT.MBBS_Discrete_Random and
* g-mbdira.adb, g-mbflra.adb, g-mbdira.ads, g-mbflra.ads: Fix header.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161194 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Paolo Carlini <paolo.carlini@oracle.com>
paolo [Tue, 22 Jun 2010 15:28:02 +0000 (15:28 +0000)]
2010-06-22  Paolo Carlini  <paolo.carlini@oracle.com>

PR libstdc++/44630
* include/profile/impl/profiler_trace.h (__min, __max): Remove,
use std::min, std::max everywhere.
* include/profile/impl/profiler_container_size.h: Use std::min and
* include/profile/impl/profiler_hash_func.h: Likewise.
* include/profile/impl/profiler_list_to_vector.h: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161192 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Paul Hilfinger <hilfinger@adacore.com>
charlet [Tue, 22 Jun 2010 15:24:10 +0000 (15:24 +0000)]
2010-06-22  Paul Hilfinger  <hilfinger@adacore.com>

* a-nudira.adb, a-nudira.ads, a-nuflra.adb, a-nuflra.ads,
gnat_rm.texi, impunit.adb, Makefile.rtl, s-rannum.adb
(Random_Float_Template, Random): New method of creating
uniform floating-point variables that allow the creation of all machine
values in [0 .. 1).

* g-mbdira.adb, g-mbflra.adb, g-mbdira.ads, g-mbflra.ads: New file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161191 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * bitmap.c (bitmap_clear_bit): Micro optimize.
hubicka [Tue, 22 Jun 2010 14:44:24 +0000 (14:44 +0000)]
* bitmap.c (bitmap_clear_bit): Micro optimize.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161189 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Gary Dismukes <dismukes@adacore.com>
charlet [Tue, 22 Jun 2010 13:53:46 +0000 (13:53 +0000)]
2010-06-22  Gary Dismukes  <dismukes@adacore.com>

* sem_ch5.adb (Analyze_Assignment): Revise test for illegal assignment
to abstract targets to check that the type is tagged and comes from
source, rather than only testing for targets of interface types. Remove
premature return.

2010-06-22  Vincent Celier  <celier@adacore.com>

* vms_data.ads: Modify the declarations of qualifiers
/UNCHECKED_SHARED_LIB_IMPORTS to allow the generation of gnat.hlp
without error.

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb (Is_Build_In_Place_Function): Predicate is false if
expansion is disabled.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* makeusg.adb: Minor reformatting.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* types.ads: (Dint): Removed, no longer used anywhere.
* uintp.adb (UI_From_CC): Use UI_From_Int, range is sufficient.
(UI_Mul): Avoid use of UI_From_Dint.
(UI_From_Dint): Removed, not used.
* uintp.ads (UI_From_Dint): Removed, not used.
(Uint_Min/Max_Simple_Mul): New constants.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161187 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Vincent Celier <celier@adacore.com>
charlet [Tue, 22 Jun 2010 13:43:47 +0000 (13:43 +0000)]
2010-06-22  Vincent Celier  <celier@adacore.com>

* clean.adb (Parse_Cmd_Line): Recognize switch
(Usage): Add line for switch --unchecked-shared-lib-imports
* makeusg.adb: Add line for switch --unchecked-shared-lib-imports
* makeutl.ads: (Unchecked_Shared_Lib_Imports): New constant string
moved from GPR_Util.
* switch-m.adb (Scan_Make_Switches): Recognize switch
* vms_data.ads: Add VMS qualifiers /UNCHECKED_SHARED_LIB_IMPORTS.
* gnat_ugn.texi: Add documentation for new switch
--unchecked-shared-lib-imports.  Add also documentation for --subdirs.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161186 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * config/i386/i386.md (SWI1248x): New mode iterator.
uros [Tue, 22 Jun 2010 13:36:15 +0000 (13:36 +0000)]
* config/i386/i386.md (SWI1248x): New mode iterator.
(SWI48x): Ditto.
(SWI12): Ditto.
(SWI24): Ditto.

(mov<mode>): Macroize expander from mov{qi,hi,si,di} using
SWI1248x mode iterator.
(*push<mode>2_rex64): Macroize insn from *push{qi,hi,si}_rex64
using SWI124 mode iterator.
(*push<mode>2): Macroize insn from *push{qi,hi} using SWI12
mode iterator.
(*push<mode>2_prologue): Macroize insn from  *pushsi2_prologue and
*pushdi2_prologue_rex64 using P mode iterator.
(*mov<mode>_xor): Macroize insn from *movsi_xor and *movdi_xor_rex64
using SWI48 mode iterator.
(*mov<mode>_or): Ditto from *movsi_or and *movdi_or_rex64.
(*movabs<mode>_1): Macroize insn from *movabs{qi,hi,si,di}_1_rex64
using SWI1248x mode iterator.
(*movabs<mode>_2): Ditto from *movabs{qi,hi,si,di}_1_rex64.
(*swap<mode>): Macroize insn from *swapsi and *swapdi_rex64 using
SWI48 mode iterator.
(*swap<mode>_1): Macroize insn from *swap{qi,hi}_1 using SWI12 mode
(*swap<mode>_2): Ditto from *swap{qi,hi}_2.
(movstrict<mode>): Macroize expander from movstrict{qi,hi} using
SWI12 mode iterator.
(*movstrict<mode>_1): Macroize insn from *movstrict{qi,hi}_1 using
SWI12 mode iterator.
(*movstrict<mode>_xor): Ditto from *movstrict{qi,hi}_xor.
(*mov<mode>_extv_1): Macroize insn from *mov{hi,si}_extv_1 using
SWI24 mode iterator.
(*mov<mode>_extzv_1): Macroize insn from *mov{si,di}_extzv_1 using
SWI48 mode iterator.
(mov<mode>_insn_1): New expander.
(*mov<mode>_insv_1_rex64): Macroize insn from *mov{si,di}_insv_1_rex64
using SWI48x mode iterator.

(*movoi_internal_avx): Rename from *movoi_internal.
(*movti_internal_rex64): Rename from *movti_rex64.
(*movti_internal_sse): Rename from *movti_sse.
(*movdi_internal_rex64): Rename from *movdi_1_rex64.
(*movdi_internal): Rename from *movdi_2.
(*movsi_internal): Rename from *movsi_1.
(*movhi_internal): Rename from *movhi_1.
(*movqi_internal): Rename from *movqi_1.

(insv): Update the call to gen_movsi_insv_1 for rename.
* config/i386/i386.c (promote_duplicated_reg): Ditto.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161185 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Javier Miranda <miranda@adacore.com>
charlet [Tue, 22 Jun 2010 13:32:54 +0000 (13:32 +0000)]
2010-06-22  Javier Miranda  <miranda@adacore.com>

* sem_prag.adb, sem_util.adb, sem_util.ads, sem_attr.adb, exp_ch6.adb,
exp_disp.adb, sem_eval.adb, exp_dist.adb lib-xref.adb: Code cleanup,
this patch replaces duplication of code that traverses the chain of
aliased primitives by a call to routine Ultimate_Alias that
provides this functionality.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161184 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Arnaud Charlet <charlet@adacore.com>
charlet [Tue, 22 Jun 2010 13:26:32 +0000 (13:26 +0000)]
2010-06-22  Arnaud Charlet  <charlet@adacore.com>

* fmap.adb, opt.ads, osint.adb, osint.ads, output.ads, scng.adb,
sinput-c.adb, switch-m.ads, tree_io.ads: Use simpler form of
Warnings Off/On.

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* einfo.ads: Minor reformatting.

2010-06-22  Javier Miranda  <miranda@adacore.com>

* exp_disp.adb (Expand_Interface_Thunk): Do not generate thunk of
eliminated primitives.
(Make_DT): Avoid referencing eliminated primitives.
(Register_Primitive): Do not register eliminated primitives in the
dispatch table. Required to add this functionality when the program is
compiled without static dispatch tables (-gnatd.t)

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161183 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Emmanuel Briot <briot@adacore.com>
charlet [Tue, 22 Jun 2010 13:20:17 +0000 (13:20 +0000)]
2010-06-22  Emmanuel Briot  <briot@adacore.com>

* fmap.adb, scng.adb, switch-m.ads, sinput-c.adb, opt.ads, output.ads,
tree_io.ads, osint.adb, osint.ads: Use configuration pragmas to prevent
warnings on use of internal GNAT units.

2010-06-22  Jose Ruiz  <ruiz@adacore.com>

* s-taprop-vxworks.adb (Set_Priority): Update comments.

2010-06-22  Paul Hilfinger  <hilfinger@adacore.com>

* s-rannum.adb: Make stylistic change to remove mystery constant in
Extract_Value.  Image_Numeral_Length: new symbolic constant.

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* einfo.ads, einfo.adb: Make Is_Protected_Interface,
Is_Synchronized_Interface, Is_Task_Interface into computable
predicates, to free three flags in entity nodes.
* sem_ch3.adb: Remove setting of these flags.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161181 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Robert Dewar <dewar@adacore.com>
charlet [Tue, 22 Jun 2010 13:15:15 +0000 (13:15 +0000)]
2010-06-22  Robert Dewar  <dewar@adacore.com>

* uintp.adb, osint.adb, prj-conf.adb, prj-part.adb, prj.adb: Minor
* s-taprop-vxworks.adb: Add comment for Set_Priority.
* impunit.adb (Map_Array): Add entries for s-htable.ads and s-crc32.ads
* projects.texi: Move @cindex to the left margin, since otherwise we
are missing entries in the index.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161179 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago Add missing '*'.
danglin [Tue, 22 Jun 2010 13:03:56 +0000 (13:03 +0000)]
Add missing '*'.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161175 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Emmanuel Briot <briot@adacore.com>
charlet [Tue, 22 Jun 2010 12:57:07 +0000 (12:57 +0000)]
2010-06-22  Emmanuel Briot  <briot@adacore.com>

* prj-part.adb, prj.adb, tempdir.ads, makeutl.adb: Use
packages from the GNAT hierarchy instead of System when possible.
* gcc-interface/Make-lang.in: Update dependencies.

2010-06-22  Jose Ruiz  <ruiz@adacore.com>

* s-taprop-vxworks.adb (Set_Priority): Remove the code that was
previously in place to reorder the ready queue when a task drops its
priority due to the loss of inherited priority.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161174 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Vincent Celier <celier@adacore.com>
charlet [Tue, 22 Jun 2010 12:45:13 +0000 (12:45 +0000)]
2010-06-22  Vincent Celier  <celier@adacore.com>

* projects.texi: Minor spelling error fixes.
Minor reformatting.

2010-06-22  Emmanuel Briot  <briot@adacore.com>

* prj-part.adb, prj-ext.adb, prj.adb, makeutl.adb, prj-conf.adb: Remove
warnings for some with clauses.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161172 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Robert Dewar <dewar@adacore.com>
charlet [Tue, 22 Jun 2010 12:42:24 +0000 (12:42 +0000)]
2010-06-22  Robert Dewar  <dewar@adacore.com>

* errout.adb (Unwind_Internal_Type): Improve handling of First_Subtype
test to catch more cases where first subtype is the results we want.
* sem_res.adb (Make_Call_Into_Operator): Don't go to First_Subtype in
error case, since Errout will now handle this correctly.
* gcc-interface/Make-lang.in: Add Sem_Aux to list of GNATBIND objects.
Update dependencies.

2010-06-22  Arnaud Charlet  <charlet@adacore.com>

* exp_ch4.adb (Expand_Allocator_Expression): Set Related_Node properly
when calling Make_Temporary.

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Access_Subprogram_Declaration): An anonymous access to
subprogram can be associated with an entry body.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* scos.ads: Add note on membership test handling.

2010-06-22  Vincent Celier  <celier@adacore.com>

* projects.texi: Minor spelling fixes.
Minor reformatting.

2010-06-22  Paul Hilfinger  <hilfinger@adacore.com>

* s-rannum.adb: Correct off-by-one error in Extract_Value.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161171 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Vincent Celier <celier@adacore.com>
charlet [Tue, 22 Jun 2010 12:32:34 +0000 (12:32 +0000)]
2010-06-22  Vincent Celier  <celier@adacore.com>

* mlib-prj.adb (Display): In non verbose mode, truncate after fourth
* mlib-utl.adb (Gcc): In non verbose mode, truncate the display of the
gcc command if it is too long.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* errout.adb (Set_Msg_Node): Fix incorrect reference to node.

2010-06-22  Arnaud Charlet  <charlet@adacore.com>

* exp_ch6.adb (Expand_Actuals): Use Actual as the related node when
calling Make_Temporary.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161170 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Robert Dewar <dewar@adacore.com>
charlet [Tue, 22 Jun 2010 12:25:00 +0000 (12:25 +0000)]
2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_res.adb, sem_aux.adb, errout.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161169 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago * passes.c (execute_function_todo): Move call of statistics_fini_pass
hubicka [Tue, 22 Jun 2010 12:24:17 +0000 (12:24 +0000)]
* passes.c (execute_function_todo): Move call of statistics_fini_pass
to ...
(execute_todo) ... this one.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161168 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Ed Schonberg <schonberg@adacore.com>
charlet [Tue, 22 Jun 2010 12:21:29 +0000 (12:21 +0000)]
2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb: Additional special-case for VMS.

2010-06-22  Vincent Celier  <celier@adacore.com>

* gnatsym.adb: Minor comment fix.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161167 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Vincent Celier <celier@adacore.com>
charlet [Tue, 22 Jun 2010 12:11:53 +0000 (12:11 +0000)]
2010-06-22  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Process_Naming_Scheme): Initialize table Lib_Data_Table.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* par-ch4.adb (P_Name): Recognize 'Mod attribute in Ada 95 mode
* sem_attr.adb (Attribute_05): Add Name_Mod so that 'Mod recognized in
Ada 95 mode as an implementation defined attribute.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161166 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago PR target/44364
amodra [Tue, 22 Jun 2010 10:44:11 +0000 (10:44 +0000)]
PR target/44364
* config/rs6000/e500.h (HARD_REGNO_CALLER_SAVE_MODE): Define.
* caller-save.c (insert_restore, insert_save): Use non-validate
form of adjust_address.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161163 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Vincent Celier <celier@adacore.com>
charlet [Tue, 22 Jun 2010 10:15:49 +0000 (10:15 +0000)]
2010-06-22  Vincent Celier  <celier@adacore.com>

* bindusg.adb (Display): Update line for -R
* switch-b.adb (Scan_Binder_Switches): Allow generation of the binder
generated files when -R is used.

2010-06-22  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Lib_Data_Table): New table.
(Check_Library_Attributes): Check if the same library name is used in
two different projects that do not extend each other.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161161 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Robert Dewar <dewar@adacore.com>
charlet [Tue, 22 Jun 2010 10:07:05 +0000 (10:07 +0000)]
2010-06-22  Robert Dewar  <dewar@adacore.com>

* lib-writ.ads, errout.adb, einfo.adb, einfo.ads: Minor reformatting.

2010-06-22  Vincent Celier  <celier@adacore.com>

* adaint.c (__gnat_locate_regular_file): If a directory in the path is
empty, make it the current working directory.

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* sem_ch3.adb (Build_Derived_Record_Type): When deriving a tagged
private type with discriminants, make sure the parent type is frozen.

2010-06-22  Eric Botcazou  <ebotcazou@adacore.com>

* exp_attr.adb (Expand_N_Attribute_Reference) <Attribute_Bit>: Deal
with packed array references specially.
* exp_ch4.adb (Expand_N_Indexed_Component): Do not convert a reference
to a component of a bit packed array if it is the prefix of 'Bit.
* exp_pakd.ads (Expand_Packed_Bit_Reference): Declare.
* exp_pakd.adb (Expand_Packed_Bit_Reference): New procedure.  Expand a
'Bit reference, where the prefix involves a packed array reference.
(Get_Base_And_Bit_Offset): New helper, extracted from...
(Expand_Packed_Address_Reference): ...here.  Call above procedure to
get the outer object and offset expression.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161160 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Thomas Quinot <quinot@adacore.com>
charlet [Tue, 22 Jun 2010 10:00:49 +0000 (10:00 +0000)]
2010-06-22  Thomas Quinot  <quinot@adacore.com>

* exp_attr.adb, lib-writ.ads, bindgen.adb: Minor reformatting.
* einfo.adb (Related_Expression, Set_Related_Expression): Add

2010-06-22  Javier Miranda  <miranda@adacore.com>

* sem_ch3.adb (Add_Internal_Interface_Entities): Minor code
reorganization to properly check if the operation has been inherited as
an abstract operation.

2010-06-22  Ed Falis  <falis@adacore.com>

* s-osinte-vxworks.ads: Complete previous change.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161159 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Thomas Quinot <quinot@adacore.com>
charlet [Tue, 22 Jun 2010 09:51:06 +0000 (09:51 +0000)]
2010-06-22  Thomas Quinot  <quinot@adacore.com>

* sem_res.adb: Add comment.
* projects.texi, gnat_ugn.texi: Remove macro.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161158 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Vincent Celier <celier@adacore.com>
charlet [Tue, 22 Jun 2010 09:46:58 +0000 (09:46 +0000)]
2010-06-22  Vincent Celier  <celier@adacore.com>

* prj-attr.adb: Remove project level attribute Main_Language.

2010-06-22  Robert Dewar  <dewar@adacore.com>

* switch-b.adb, osint-b.adb: Minor reformatting.

2010-06-22  Pascal Obry  <obry@adacore.com>

* g-socthi-mingw.adb (C_Sendmsg): Do not attempt to send data from a
vector if previous send was not fully successful. If only part of
the vector data was sent, we exit the loop.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161157 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoComplete previous change.
charlet [Tue, 22 Jun 2010 09:40:03 +0000 (09:40 +0000)]
Complete previous change.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161155 138bc75d-0d04-0410-961f-82ee72b054a4

10 years agoRemove unused variable.
charlet [Tue, 22 Jun 2010 09:39:24 +0000 (09:39 +0000)]
Remove unused variable.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161154 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Thomas Quinot <quinot@adacore.com>
charlet [Tue, 22 Jun 2010 09:36:25 +0000 (09:36 +0000)]
2010-06-22  Thomas Quinot  <quinot@adacore.com>

* sem_res.adb (Make_Call_Into_Operator): Use First_Subtype for better
error reporting with generic types.

2010-06-22  Thomas Quinot  <quinot@adacore.com>

* bindgen.adb, bindusg.adb, gnatbind.adb, gnat_ugn.texi, opt.ads,
osint-b.adb, osint-b.ads, output.adb, output.ads, switch-b.adb,
vms_data.ads: Add a new command line switch -A to gnatbind to output
the list of all ALI files for the partition.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161153 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Arnaud Charlet <charlet@adacore.com>
charlet [Tue, 22 Jun 2010 09:28:49 +0000 (09:28 +0000)]
2010-06-22  Arnaud Charlet  <charlet@adacore.com>

* s-osinte-vxworks.ads: Fix casing.
* s-vxwext-kernel.ads, s-vxwext-rtp.ads: Complete previous
change: Interfaces.C does not provide a long_long type.

2010-06-22  Emmanuel Briot  <briot@adacore.com>

* gnat_ugn.texi, projects.texi: Preprocess projects.texi for VMS and
native user's guide, since this document contains the two versions.
* gcc-interface/Make-lang.in: Update doc dependencies.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161152 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Robert Dewar <dewar@adacore.com>
charlet [Tue, 22 Jun 2010 09:11:16 +0000 (09:11 +0000)]
2010-06-22  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb: Minor reformatting.  Minor code reorganization.

2010-06-22  Emmanuel Briot  <briot@adacore.com>

* gnat_ugn.texi, projects.texi: Remove toplevel menu, since we should
not build this file on its own (only through gnat_ugn.texi).
Remove macro definitions and insert simpler version in gnat_ugn.texi.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161151 138bc75d-0d04-0410-961f-82ee72b054a4

10 years ago2010-06-22 Robert Dewar <dewar@adacore.com>
charlet [Tue, 22 Jun 2010 09:02:09 +0000 (09:02 +0000)]
2010-06-22  Robert Dewar  <dewar@adacore.com>

* ali-util.ads: Minor comment update.
* g-socthi-mingw.adb: Minor reformatting.

2010-06-22  Ed Falis  <falis@adacore.com>

* s-osinte-vxworks.ads: take sigset_t definition from System.VxWorks.Ext
* s-vxwext.ads, s-vxwext-kernel.ads, s-vxwext-rtp.ads: Define sigset_t
for specific versions of VxWorks.

2010-06-22  Emmanuel Briot  <briot@adacore.com>

* gnat_rm.texi, gnat_ugn.texi, projects.texi: Remove all project files
related sections from user's guide and reference manual, since they
have now been merged together into a separate document (projects.texi).
This removes a lot of duplication where attributes where described
in several places.
The grammar for the project files is now in each of the sections
(packages,expressions,...) instead of being duplicates in two other
sections (one in the user's guide that contained the full grammar,
and various sections in the rm that contained extracts of the same
Added the full list of all supported attributes, since existing lists
were incomplete
Rename "associative array" into "indexed attribute"
Remove sections that were duplicates ("External References in
Project Files" and "External Values", and "Project Extensions"
for instance). The list of valid packages in project files is now in
a single place.

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Add_Internal_Interface_Entities): If
Find_Primitive_Covering_Interface does not find the operation, it may
be because of a name conflict between the inherited operation and a
local non-overloadable name. In that case look for the operation among
the primitive operations of the type. This search must succeed
regardless of visibility.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161150 138bc75d-0d04-0410-961f-82ee72b054a4