Vincent Celier [Tue, 29 Mar 2005 16:16:42 +0000 (18:16 +0200)]
make.adb (Gnatmake): Don't fail if the main project file is declared as having no Ada sources.
2005-03-29 Vincent Celier <celier@adacore.com>
* make.adb (Gnatmake): Don't fail if the main project file is declared
as having no Ada sources. Do not display message "no sources to
compile" in quiet output.
Ed Schonberg [Tue, 29 Mar 2005 16:16:25 +0000 (18:16 +0200)]
freeze.adb (Freeze_Record_Type): If the type of the component is an itype whose parent is controlled and not yet...
2005-03-29 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Freeze_Record_Type): If the type of the component is an
itype whose parent is controlled and not yet frozen, do not create a
freeze node for the itype if expansion is disabled.
Robert Dewar [Tue, 29 Mar 2005 16:16:09 +0000 (18:16 +0200)]
exp_util.adb (Remove_Side_Effects): Properly propagate arguments to recursive calls.
2005-03-29 Robert Dewar <dewar@adacore.com>
* exp_util.adb (Remove_Side_Effects): Properly propagate arguments to
recursive calls.
(Is_Possibly_Unaligned_Object): Correct typo that
resulted in inaccurate result for unaligned scalars within records.
Gary Dismukes [Tue, 29 Mar 2005 16:15:45 +0000 (18:15 +0200)]
re PR ada/20300 (ICE on undefined value of type derived from Character)
2005-03-29 Gary Dismukes <dismukes@adacore.com>
Robert Dewar <dewar@adacore.com>
* exp_intr.adb (Expand_Dispatching_Constructor_Call): New procedure to
expand a call to an instance of
Ada.Tags.Generic_Dispatching_Constructor into a dispatching call to the
Constructor actual of the instance. A class-wide membership
check is also generated, to ensure that the tag passed to the instance
denotes a type in the class.
(Expand_Intrinsic_Call): Call Expand_Dispatching_Constructor in the case
of Name_Generic_Dispatching_Constructor.
* Makefile.rtl: Add a-tgdico.ads to the list of library units (new Ada
05 unit for AI-260-02).
* a-tgdico.ads: New file.
* impunit.adb (Non_Imp_File_Names_05): Add entry "a-tgdico" for new
predefined Ada 05 generic unit Ada.Tags.Generic_Dispatching_Constructor.
* snames.ads, snames.adb (Preset_Names): Add entry for
Generic_Dispatching_Constructor.
PR ada/20300
* sem_ch8.adb (Find_Direct_Name): Go to root type for check of
character type cases.
(Analyze_Subprogram_Renaming): Add special handling for
the case of renaming of stream attributes when the renaming denotes a
generic formal subprogram association for an abstract formal subprogram.
Check that the attribute is a primitive stream attribute (and not
a class-wide stream attribute) and then rewrite the attribute name
as the name of the appropriate compiler-generated stream primitive.
Thomas Quinot [Tue, 29 Mar 2005 16:15:11 +0000 (18:15 +0200)]
exp_dist.adb (Add_RAST_Features, [...]): Set the From_Any...
2005-03-29 Thomas Quinot <quinot@adacore.com>
* exp_dist.adb (Add_RAST_Features, PolyORB version): Set the From_Any,
To_Any and TypeCode TSSs on RAS types directly using Set_TSS, instead
of using Set_Renaming_TSS. This ensures that the TSS bodies are not
analyzed if expansion is disabled (which could otherwise cause spurious
error messages if expansion has been disabled due to previous
(unrelated) errors).
* sem_prag.adb (Analyze_Pragma, case Asynchronous): If RAS expansion
is disabled, the entity denoted by the argument is the access type
itself, not an underlying record type, so there is no need to go back
to the Corresponding_Remote_Type.
Ed Schonberg [Tue, 29 Mar 2005 16:14:44 +0000 (18:14 +0200)]
exp_ch4.adb (Has_Unconstrained_UU_Component): Use the base type in order to retrieve the component list of the type...
2005-03-29 Ed Schonberg <schonberg@adacore.com>
* exp_ch4.adb (Has_Unconstrained_UU_Component): Use the base type in
order to retrieve the component list of the type, before examining
individual components.
* sem_type.adb (Covers): Types are compatible if one is the base type
of the other, even though their base types might differ when private
views are involved.
Robert Dewar [Tue, 29 Mar 2005 16:14:20 +0000 (18:14 +0200)]
errutil.adb, errout.adb: Minor comment updates on Line_Terminator references
2005-03-29 Robert Dewar <dewar@adacore.com>
* errutil.adb, errout.adb:
Minor comment updates on Line_Terminator references
* par-ch10.adb: Add ??? comment about line terminator
* styleg.adb (Check_Line_Terminator): Add check for new switch -gnatyd
(check dos line terminator).
(Check_Line_Max_Length): New procedure, split off from the existing
Check_Line_Terminator routine. Separating this out allows -gnatyf to
be properly recognized.
* styleg.adb: Add ??? comment for line terminator reference
* scng.adb (Check_End_Of_Line): Fix bug of -gnatyf being ignored
(Check_End_Of_Line): Add -gnatyd handling (check dos line terminators)
* styleg.ads (Check_Line_Terminator): Add check for new switch -gnatyd
(check dos line terminator).
(Check_Line_Max_Length): New procedure, split off from the existing
Check_Line_Terminator routine. Separating this out allows -gnatyf to
be properly recognized.
* stylesw.ads, stylesw.adb:
Add handling for new -gnatyd switch (check dos line terminator)
* switch-c.adb: Recognize new -gnatyd switch (check dos line terminator)
Recognize -gnatwb/-gnatwB switches
Include Warn_On_Bad_Fixed_Value for -gnatg
* usage.adb:
Add line for new -gnatyd switch (check dos line terminator)
* usage.adb: Add lines for -gnatwb/-gnatwB
* vms_data.ads: Add entry for NOCRLF (-gnatyd)
* vms_data.ads: [NO_]BAD_FIXED_VALUES synonym for -gnatwb/-gnatwB
* gnat_ugn.texi: Fix overlong lines
Document new -gnatyd switch
Document new -gnatwb/-gnatwB switches
* a-tags.ads, a-tags.adb (Get_TSD): Subprogram removed.
(Inherit_DT): The first formal has been redefined as a Tag.
This allows us the removal of the subprogram Get_TSD.
(TSD): Replace the call to Get_TSD by the actual code.
* exp_disp.ads, exp_disp.adb: Remove support to call Get_TSD.
(Make_DT): Upgrade the call to Inherit_TSD according to the
new interface: the first formal is now a Tag.
* i-cpp.ads, i-cpp.adb (CPP_Inherit_DT): The first formal has been
redefined as a Tag.
This change allows us to remove the subprogram Get_TSD.
(CPP_Get_TSD): Subprogram removed.
(TSD): Replace the call to CPP_Get_TSD by the actual code.
* rtsfind.ads: Remove support to call the run-time
subprogram Get_TSD
Vincent Celier [Tue, 29 Mar 2005 16:13:14 +0000 (18:13 +0200)]
2005-03-29 Vincent Celier <celier@adacore.com>
* mlib-tgt-vms-ia64.adb, mlib-tgt-vms-alpha.adb
(Build_Dynamic_Library.Version_String): Return the empty string when
Lib_Version is empty or when the symbol policy is not Autonomous.
* symbols-vms-alpha.adb (Finalize): For symbol policy Compliant, when
a symbol is not in the reference symbol file, increase the Major ID
and set the Minor ID to 0.
Use gsmatch=lequal instead of gsmatch=equal
Dorit Nuzman [Tue, 29 Mar 2005 16:10:22 +0000 (16:10 +0000)]
tree-ssanames.c (duplicate_ssa_name_ptr_info): New function.
* tree-ssanames.c (duplicate_ssa_name_ptr_info): New function.
(duplicate_ssa_name): Call duplicate_ssa_name_ptr_info.
* tree-vect-analyze.c (vect_object_analysis): additional parm
pass back a "struct ptr_info_def *" with the points-to info.
(vect_analyze_data_refs): set the STMT_VINFO_PTR_INFO for the
statement using info returned from vect_object_analysis.
* tree-vect-transform.c (update_vuses_to_preheader): New function.
(vect_create_data_ref_ptr): Remove updates to vars_to_rename
for virtual uses and defs when creating a replacement vector
reference. Call duplicate_ssa_name_ptr_info to define points-to
info for vector pointer replacement using STMT_VINFO_PTR_INFO.
(vectorizable_store): copy_virtual_operands and update
definition statements.
(vectorizable_load): copy_virtual_operands. Remove call to
mark_call_clobbered_vars_to_rename for call to "const" builtin.
* tree-vectorizer.c (vectorize_loops): Remove calls to
rewrite_into_ssa and bitmap_clear (vars_to_rename).
(new_stmt_vec_info): initialize STMT_VINFO_PTR_INFO for stmt.
* tree-vectorizer.h (_stmt_vec_info): add field ptr_info and
define macro STMT_VINFO_PTR_INFO for use in accessing.
* tree.h add export of duplicate_ssa_name_ptr_info.
* rs6000.c (altivec_init_builtins): Declare builtin function
__builtin_altivec_mask_for_load to be "const".
Per Bothner [Mon, 28 Mar 2005 08:04:41 +0000 (00:04 -0800)]
Make -f[no-]show-column also control non-cpp diagnostics.
* c.opt (fshow-column): Move option from here ...
* common.opt (fshow-column): ... to here.
* diagnostic.c (diagnostic_build_prefix): Only print column number
if flag_show_column.
Steven Bosscher [Sun, 27 Mar 2005 10:48:27 +0000 (10:48 +0000)]
vax-protos.h (vax_output_int_move, [...]): New prototypes.
* vax-protos.h (vax_output_int_move, vax_output_int_add,
vax_output_conditional_branch): New prototypes.
* vax.c (vax_output_int_move, vax_output_int_add): New functions,
extracted from vax.md mov and add patterns.
(vax_output_conditional_branch): New function to output conditional
branch instructions.
* vax.md: Use mode macros for arithmetic and mov patterns.
Use code macros for the jump patterns.
Mike Stump [Sun, 27 Mar 2005 00:49:23 +0000 (00:49 +0000)]
configure.ac: Fix ZIP and GCJH at configure time to absolute paths like we do for the compiler...
* configure.ac: Fix ZIP and GCJH at configure time to absolute
paths like we do for the compiler, as we use it in external/sax
and it doesn't get MULTIBUILDTOP right when multilibing.
2005-03-26 Gabriel Dos Reis <gdr@integrable-solutions.net>
Convert libiberty to ISO C prototype style 1/n.
* _doprnt.c: Remove conditional #include <varargs.h> on
ANSI_PROTOTYPES as the latter is always assumed.
(_doprnt, checkit, main): Use ISO C prototype.
* alloca.c (find_stack_direction, C_alloca): Use ISO C
prototype.
* argv.c: Remove conditional #includes on ANSI_PROTOTYPES.
(dupargv, freeargv, buildargv, main): Use ISO C prototype.
* atexit.c (atexit): Likewise
* asprintf.c: Remove conditional include on ANSI_PROTOTYPES.
(asprintf): Use ISO C prototype.
* basename.c (basename): Likewise
* bcmp.c (bcmp): Likewise.
* bcopy.c (bcopy): Likewise.
* bzero.c (bzero): Likewise.
* bsearch.c (bsearch): Likewise. Improve const-correctness.
* choose-temp.c (choose_temp_base): Likewise.
* calloc.c: Remove conditional #include on ANSI_PROTOTYPES.
(calloc): Use ISO C prototype.
* clock.c (clock): Likewise.
* concat.c: Remove conditional #include on ANSI_PROTOTYPES.
(vconcat_length, vconcat_copy, concat_length, concat_copy,
concat_copy2, concat, reconcat, main): Use ISO C prototype.
* copysign.c (copysign): Likewise.
Canqun Yang [Sat, 26 Mar 2005 05:34:58 +0000 (13:34 +0800)]
trans-common.c (create_common): Build RECORD_NODE for common blocks contain no equivalence objects.
* trans-common.c (create_common): Build RECORD_NODE for common blocks
contain no equivalence objects.
(add_equivalences): New argument saw_equiv.
(trans_common): New local variable saw_equiv.
(finish_equivalences): Add a local variable dummy, Always pass true
for the 3rd parameter to create_common.
Kazu Hirata [Fri, 25 Mar 2005 18:41:28 +0000 (18:41 +0000)]
dominance.c (free_dominance_info): Speed up by freeing et data structures without maintaining other nodes.
* dominance.c (free_dominance_info): Speed up by freeing et
data structures without maintaining other nodes.
* et-forest.c (et_free_tree_force): New.
* et-forest.h: Add a prototype for et_free_tree_force.
re PR libfortran/19678 (DOS files don't work for list directed input)
PR libfortran/19678
PR libfortran/19679
* gfortran.dg/dos_eol.f: New test.
PR libfortran/19678
* list_read.c (next_char, eat_separator, finish_separator, read_real)
(namelist_read): Add support for '\r' as well as '\n' as EOL
character.
PR libfortran/19679
* list_read.c (read_sf): Add a '\r' in a test to support DOS
line-endings when line length is exceeded.
Geoffrey Keating [Fri, 25 Mar 2005 02:21:01 +0000 (02:21 +0000)]
pragma-override1.C: Mark as requiring 'internal' visibility.
* g++.dg/ext/visibility/pragma-override1.C: Mark as requiring
'internal' visibility.
* g++.dg/ext/visibility/pragma-override2.C: Likewise.
* g++.dg/ext/visibility/visibility-7.C: Mark as requiring
'protected' visibility.
* gcc.dg/visibility-7.c: Likewise.
* lib/target-supports.exp (check_visibility_available): Take
a parameter, the kind of visibility to check for.
* lib/target-supports-dg.exp (dg-require-visibility): Pass parameter
to check_visibility_available.