+2009-03-27 H.J. Lu <hongjiu.lu@intel.com>
+
+ PR c/39323
+ * gcc-interface/utils.c (create_field_decl): Use "unsigned int"
+ on bit_align.
+
+2009-03-11 Olivier Hainque <hainque@adacore.com>
+
+ * gcc-interface/trans.c (gnat_to_gnu) <case N_Slice>: In range
+ checks processing, remove unintended TREE_TYPE walk on index type.
+
+2009-03-01 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/39264
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Do no
+ call make_packable_type on fat pointer types.
+ <E_Array_Subtype>: Likewise.
+ <E_Record_Subtype>: Call make_packable_type on all record types
+ except for fat pointer types.
+ (make_packable_type): Likewise.
+ (gnat_to_gnu_field): Likewise.
+
+2009-02-28 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/Makefile.in (cygwin/mingw): Revert accidental
+ EH_MECHANISM change made on 2007-12-06.
+
+2009-02-26 Andreas Schwab <schwab@suse.de>
+
+ PR ada/39172
+ * Makefile.in (srcdir): Set to @top_srcdir@ instead of @srcdir@.
+ * gcc-interface/Makefile.in: Change all uses of $(srcdir),
+ $(fsrcdir) and $(fsrcpfx) to add ada subdir.
+ (AWK): Substitute.
+ (target_cpu_default): Substitute.
+
+2009-02-25 Laurent GUERBY <laurent@guerby.net>
+
+ PR ada/39221
+ * a-teioed.adb (Expand): Fix Result overflow.
+
+2009-02-25 Laurent GUERBY <laurent@guerby.net>
+
+ * gcc-interface/Makefile.in: Fix multilib handling for
+ sparc64-linux.
+
+2009-02-23 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE>
+
+ * s-oscons-tmplt.c [__osf__ && !_SS_MAXSIZE]: Undef AF_UNIX6.
+
+2009-02-18 H.J. Lu <hongjiu.lu@intel.com>
+
+ * gcc-interface/misc.c (gnat_post_options): Turn off warn_psabi.
+
+2009-02-16 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/deftarg.c: Remove.
+
+2009-02-10 Olivier Hainque <hainque@adacore.com>
+ Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (enum alias_set_op): New enumeration.
+ (copy_alias_set): Rename into...
+ (relate_alias_sets): ...this. Add third parameter OP. Retrieve the
+ underlying array of unconstrained arrays for the new type as well.
+ If the old and new alias sets don't conflict, make one a subset of
+ the other as per the OP parameter.
+ (gnat_to_gnu_entity): Adjust calls to copy_alias_set.
+ <E_Record_Type>: Do not copy the alias set for derived types.
+ For all types, make the alias set of derived types a superset of
+ that of their parent type.
+ (make_aligning_type): Adjust calls to copy_alias_set.
+ (make_packable_type): Likewise.
+ * gcc-interface/trans.c (gnat_to_gnu)<N_Validate_Unchecked_Conversion>:
+ Check for alias set conflict instead of strict equality to issue the
+ warning.
+
+2009-02-09 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_String_Literal_Subtype>:
+ Set TYPE_NONALIASED_COMPONENT on the array type only if appropriate.
+ (copy_alias_set): Assert that arrays have the same aliasing settings.
+ (substitute_in_type) <ARRAY_TYPE>: Copy TYPE_NONALIASED_COMPONENT.
+
+2009-02-08 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_String_Literal_Subtype>:
+ Set TYPE_NONALIASED_COMPONENT on the array type.
+
+2009-01-31 Laurent GUERBY <laurent@guerby.net>
+
+ * gcc-interface/Makefile.in: Fix mipsel linux handling.
+
+2009-01-16 Jakub Jelinek <jakub@redhat.com>
+
+ * gcc-interface/Makefile.in: Fix multilib handling for
+ powerpc64-linux.
+
+2009-01-12 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Really strip
+ only useless conversions around renamed objects.
+
+2009-01-11 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Put
+ the _Tag field before any discriminants in the field list.
+ (components_to_record): Remove obsolete comment.
+
+2008-12-09 Jakub Jelinek <jakub@redhat.com>
+
+ PR ada/38450
+ * gcc-interface/utils.c (finish_record_type): Use SET_TYPE_MODE.
+ * gcc-interface/decl.c (gnat_to_gnu_entity, make_aligning_type):
+ Likewise.
+
+2008-12-05 Sebastian Pop <sebastian.pop@amd.com>
+
+ PR bootstrap/38262
+ * gcc-interface/Make-lang.in (gnat1): Add BACKENDLIBS, remove GMPLIBS.
+
+2008-11-29 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/30827
+ * g-comver.adb (Ver_Len_Max): Fix inconsistency.
+
+2008-11-27 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c: Fix various nits.
+
+2008-11-20 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/utils.c (init_gigi_decls): Fix type mismatch.
+
+2008-11-16 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/38127
+ * gcc-interface/decl.c (make_type_from_size) <INTEGER_TYPE>: Do not
+ special-case boolean types. Propagate the name.
+ * gcc-interface/targtyps.c: Tweak comment.
+
+2008-11-15 Geert Bosch <bosch@adacore.com>
+
+ * gcc-interface/trans.c (emit_check): Put back a final save_expr
+ to prevent exponential expansion during gimplification.
+
+2008-11-15 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/lang-specs.h: Expand -coverage and reorder switches.
+
+2008-11-15 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Force constants
+ initialized to a static constant to be statically allocated even if
+ they are of a padding type, provided the original type also has
+ constant size.
+
+2008-11-15 Laurent Guerby <laurent@guerby.net>
+
+ PR ada/37993
+ * gcc-interface/Makefile.in: Add multilib handling for x86_64
+ on darwin.
+ * system-darwin-x86_64.ads: New file.
+
+2008-11-13 Olivier Hainque <hainque@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <case E_Function>:
+ Turn Ada Pure on subprograms back into GCC CONST when eh constructs
+ are explicit to the middle-end. Tidy.
+
+2008-11-09 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/ada-tree.def (PLUS_NOMOD_EXPR): New tree code.
+ (MINUS_NOMOD_EXPR): Likewise.
+ * gcc-interface/utils2.c (build_binary_op) <PREINCREMENT_EXPR>: Make
+ unreachable.
+ <PLUS_NOMOD_EXPR>: New case.
+ <MINUS_NOMOD_EXPR>: Likewise.
+ * gcc-interface/trans.c (Loop_Statement_to_gnu): Build increment-and-
+ assignment statement instead of using an increment operator.
+
+2008-11-07 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE>
+
+ * system-irix-n64.ads: New file.
+ * gcc-interface/Makefile.in (mips-sgi-irix6*): Support O32 and N64
+ multilibs.
+
+2008-11-07 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE>
+
+ PR ada/37681
+ * system-solaris-x86_64.ads: New file.
+ * gcc-interface/Makefile.in (*86-solaris2*): Support x86_64 multilib.
+
+2008-11-07 Bechir Zalila <bechir.zalila@gmail.com>
+ Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/34289
+ * lib.ads: (Enable_Switch_Storing): Declare.
+ * lib.adb: (Enable_Switch_Storing): New procedure.
+ * switch-c.adb (Scan_Front_End_Switches): Add support for -gnatea.
+ * make.adb: (Compile_Sources.Compile): Add -gnatea as first option.
+ (Display): Never display -gnatea
+ * gcc-interface/lang-specs.h: If -gnatea is present, pass -gnatez.
+
+2008-11-07 Thomas Quinot <quinot@adacore.com>
+
+ * gcc-interface/trans.c (Attribute_to_gnu, case Attr_Length): Check
+ for empty range in original base type, not converted result type.
+
+2008-11-07 Geert Bosch <bosch@adacore.com>
+
+ * gcc-interface/trans.c (build_binary_op_trapv): Convert arguments
+ and result for call to __gnat_mulv64.
+
+2008-11-07 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c: Fix formatting nits.
+
+2008-11-07 Geert Bosch <bosch@adacore.com>
+
+ * gcc-interface/trans.c (build_binary_op_trapv): Avoid emitting
+ overflow check for constant result.
+
+2008-11-07 Geert Bosch <bosch@adacore.com>
+
+ * gcc-interface/trans.c (build_binary_op_trapv): Use more efficient
+ overflow check for addition/subtraction if neither operand is constant.
+
+2008-11-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/Makefile.in (SPARC/Solaris): Use a common set of
+ files for the target-dependent part of the runtime.
+ (SPARC/Linux): Likewise.
+
+2008-11-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Out_Parameter>: If not
+ optimizing, create a PARM_DECL pointing to the VAR_DECL for debugging
+ purposes.
+
+2008-11-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/misc.c (gnat_printable_name): Always return a copy
+ in GC memory.
+
+2008-11-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/19419
+ * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>:
+ Generate a call to memmove for an assignment between overlapping
+ array slices.
+
+2008-11-02 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
+
+ PR target/37977
+ * gcc-interface/Makefile.in: Add multilib handling for
+ s390-linux and s390x-linux.
+
+2008-10-24 Jakub Jelinek <jakub@redhat.com>
+
+ * gcc-interface/Make-lang.in (check-ada-subtargets): Depend on
+ check-acats-subtargets and check-gnat-subtargets.
+ (check_acats_targets): New variable.
+ (check-acats-subtargets, check-acats%): New targets.
+ (check-acats): If -j is used and CHAPTERS is empty, run the testing
+ in multiple make goals, possibly parallel, and afterwards run
+ dg-extract-results.sh to merge the sum and log files.
+
+2008-10-17 Geert Bosch <bosch@adacore.com>
+
+ * gcc-interface/trans.c (gnat_to_gnu) <N_Slice>: Simplify expansion
+ to use only a single check instead of three, and avoid unnecessary
+ COMPOUND_EXPR.
+ (emit_check): Avoid useless COMPOUND_EXPRs and SAVE_EXPRs, sometimes
+ creating more opportunities for optimizations.
+
+2008-10-13 Jakub Jelinek <jakub@redhat.com>
+
+ PR middle-end/37601
+ * gcc-interface/utils.c (gnat_types_compatible_p): Handle
+ NULL TYPE_DOMAIN.
+
+2008-10-07 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Move code
+ dealing with volatileness to after code dealing with renaming.
+
+2008-10-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Minor tweaks.
+ * gcc-interface/trans.c (Pragma_to_gnu): Likewise.
+
+2008-10-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/utils.c (can_fold_for_view_convert_p): New predicate.
+ (unchecked_convert): Use it to disable problematic folding with
+ VIEW_CONVERT_EXPR in the general case. Always disable it for the
+ special VIEW_CONVERT_EXPR built for integral types and cope with
+ its addressability issues by preserving the first conversion.
+
+2008-10-01 Andreas Schwab <schwab@suse.de>
+
+ * system-linux-ppc64.ads: New file.
+ * gcc-interface/Makefile.in: Add multilib handling for
+ powerpc-linux.
+
+2008-09-26 Eric Botcazou <ebotcazou@adacore.com>
+
+ * decl.c (gnat_to_gnu_entity) <object>: Cap the alignment promotion
+ to that of ptr_mode instead of word_mode.
+
+2008-09-26 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/5911
+ * gcc-interface/Makefile.in (SPARC/Solaris): Add multilib support.
+
+2008-09-25 Samuel Tardieu <sam@rfc1149.net>
+
+ PR ada/37641
+ * adaint.c (__gnat_set_non_writable): Use FILE_WRITE_EA
+ instead of deprecated FILE_WRITE_PROPERTIES.
+
+2008-09-22 Olivier Hainque <hainque@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity): Even when they
+ are never assigned, volatile entities are not constant for code
+ generation purposes.
+
+2008-09-21 Laurent Guerby <laurent@guerby.net>
+
+ PR ada/5911
+ * gcc-interface/Makefile.in: Add multilib handling for x86_64
+ and sparc.
+ * system-linux-sparcv9.ads: New file.
+
+2008-09-20 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_dbug.ads: Document new convention for the XVZ variable.
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Generate
+ debug info if necessary for the type padding the component type.
+ <E_Array_Subtype>: Likewise.
+ (maybe_pad_type): Emit the XVZ variable in units.
+ * gcc-interface/trans.c (Loop_Statement_to_gnu): Fix formatting nits.
+ (Subprogram_Body_to_gnu): Set the source line of the subprogram's node
+ on statements generated to initialize the parameter attributes cache.
+ Set the source line of the end label of the body on the special return
+ statement built for a procedure with copy-in copy-out parameters.
+
2008-09-20 Eric Botcazou <ebotcazou@adacore.com>
PR ada/37585
2008-08-20 Robert Dewar <dewar@adacore.com>
* freeze.adb (Freeze_Record_Type): Improve msg for non-contiguous field
-
+
* sem_ch13.adb:
(Adjust_Record_For_Reverse_Bit_Order): Messages about layout are
now labeled as info msgs, not warnings.
and full views are available for the context type.
2008-08-18 Samuel Tardieu <sam@rfc1149.net>
- Robert Dewar <dewar@adacore.com>
+ Robert Dewar <dewar@adacore.com>
PR ada/30827
* bindgen.adb (Gen_Output_File_Ada): Zero-terminate the
* gcc-interface/Make-lang.in: Include CFLAGS_FOR_TARGET when cross.
2008-08-10 Samuel Tardieu <sam@rfc1149.net>
- Robert Dewar <dewar@adacore.com>
+ Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_N_Op_Expon): Force evaluation of
left argument even when right argument is 0.
* gcc-interface/misc.c (gnat_handle_option): Replace set_Wunused
by warn_unused.
-
+
2008-08-08 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Generate_Prim_Op_References): New procedure, abstracted
begining of the command line.
(Append, Add): Renaming of Append to Add as this now allows addition
at the begining of the list.
-
+
* g-comlin.ads (Add_Switch): Handle addition of switches at the
begining of the command line.
* freeze.adb:
(Freeze_Entity): A deferred constant does not violate the restriction
- No_Default_Initialization,
+ No_Default_Initialization,
* sem_ch3.adb (Process_Subtype): An allocator is a valid construct that
can carry a null exclusion indicator, and on which an error may be
* a-wtdeio.adb (Put (Current_Output)): Use Fore in the call to Put
(File).
-
+
* a-ztdeio.adb: Ditto.
2008-08-05 Pascal Obry <obry@adacore.com>
(Wide_String_To_String): Returns a String with the same 'First as its
parameter S.
(Wide_Wide_String_To_String): Ditto
-
+
* s-wchwts.ads:
(Wide_String_To_String): Document that the lowest index of the returned
String is equal to S'First.
2008-08-05 Robert Dewar <dewar@adacore.com>
* opt.ads (Warn_On_Biased_Representation): New flag
-
+
* sem_ch13.adb:
(Analyze_Attribute_Definition_Clause): Issue warning when biased
representation is required.
(Minimum_Size): Don't allow biasing if enum rep clause case
-
+
* sem_warn.adb:
(Set_Dot_Warning_Switch): Add handling of -gnatw.b/B switches
(Set_Warning_Switch): Include -gnatw.b in -gnatwa, -gnatw.B in gnatws
-
+
* usage.adb: Add lines for -gnatw.b/B switches
2008-08-05 Pascal Obry <obry@adacore.com>
* prj-attr.ads:
(Others_Allowed_For): New Boolean function
(Attribute_Record): New Boolean component Others_Allowed
-
+
* prj-dect.adb:
(Parse_Attribute_Declaration): For associative array attribute where
others is allowed as the index, allow others as an index.
string.
(Start): Sort the switches by sections before iterating the command line
elements.
-
+
* g-comlin.ads (Define_Section, Add_Switch, Remove_Switch,
Is_New_Section, Current_Section): New methods or methods modified to
handle building command lines with sections.
* gprep.adb (Process_One_File): Call Prep.Preprocess with a Boolean
variable, but don't check the resulting value as it has no impact on
the processing.
-
+
* opt.ads:
(Generate_Processed_File): New Boolean flag, set to True in the compiler
when switch -gnateG is used.
-
+
* prep.adb:
(Preprocess): new Boolean out parameter Source_Modified. Set it to True
when the source is modified by the preprocessor and there is no
preprocessing errors.
-
+
* prep.ads (Preprocess): new Boolean out parameter Source_Modified
-
+
* sinput-l.adb:
(Load_File): Output the result of preprocessing if the source text was
modified.
-
+
* switch-c.adb (Scan_Front_End_Switches): Recognize switch -gnateG
-
+
* switch-m.adb (Normalize_Compiler_Switches): Normalize switch -gnateG
-
+
* ug_words: Add VMS equivalent for -gnateG
-
+
* vms_data.ads:
Add VMS option /GENERATE_PROCESSED_SOURCE, equivalent to switch -gnateG
2008-08-04 Vincent Celier <celier@adacore.com>
* prj-attr.adb: New Builder attribute Global_Compilation_Switches
-
+
* snames.adb: New standard name Global_Compilation_Switches
-
+
* snames.ads: New standard name Global_Compilation_Switches
* make.adb: Correct spelling error in comment
2008-08-01 Hristian Kirtchev <kirtchev@adacore.com>
* rtsfind.ads: Add block IO versions of stream routines for Strings.
-
+
* bindgen.adb, gnat_rm.texi, gnat_ugn.texi, opt.ads,
sem_prag.adb, snames.adb, snames.ads, snames.h,
par-prag.adb: Undo previous stream related changes.
-
+
* s-rident.ads: Add new restriction No_Stream_Optimizations.
-
+
* s-ststop.ads, s-ststop.adb: Comment reformatting.
Define enumeration type to designate different IO mechanisms.
Enchance generic package Stream_Ops_Internal to include an
Otherwise use the corresponding block IO version.
2008-08-01 Olivier Hainque <hainque@adacore.com>
-
+
* gcc-interface/decl.c (gnat_to_gnu_entity) <case E_Function>: Do not
turn Ada Pure into GCC const, now implicitely implying nothrow as well.
2008-08-01 Vincent Celier <celier@adacore.com>
* prj-attr.adb: New attribute Compiler'Name_Syntax (<lang>)
-
+
* prj-nmsc.adb (Process_Compiler): Recognize attribute Name_Syntax
-
+
* prj.adb (Object_Exist_For): Use Object_Generated, not
Objects_Generated that is removed and was never modified anyway.
used.
* snames.adb: New standard name Path_Syntax
-
+
* snames.ads: New standard name Path_Syntax
2008-08-01 Vincent Celier <celier@adacore.com>
when procedure Specify_Adalib_Dir is called.
(Lib_Directory): If Adalib_Path is not null, return its value
(Specify_Adalib_Dir): New procedure
-
+
* mlib-utl.ads (Specify_Adalib_Dir): New procedure
2008-08-01 Ed Schonberg <schonberg@adacore.com>
2008-08-01 Doug Rupp <rupp@adacore.com>
* gnat_rm.texi: Document new mechanism Short_Descriptor.
-
+
* types.ads (Mechanism_Type): Modify range for new Short_Descriptor
mechanism values.
* gcc-interface/utils.c (build_vms_descriptor32): Renamed from
build_vms_descriptor and enhanced to hande Short_Descriptor mechanism.
- (build_vms_descriptor): Renamed from build_vms_descriptor64.
+ (build_vms_descriptor): Renamed from build_vms_descriptor64.
(convert_vms_descriptor32): New function.
(convert_vms_descriptor64): New function.
(convert_vms_descriptor): Rewrite to handle both 32bit and 64bit
* mlib-tgt-specific-vms-alpha.adb (Build_Dynamic_Library): Output a
dummy transfer address for debugging.
-
+
* mlib-tgt-specific-vms-ia64.adb (Build_Dynamic_Library): Likewise.
* vms_data.ads: vms_data.ads: New qualfier /MACHINE_CODE_LISTING
* system-rtx-rtss.ads
Change the default stack size. It is important to set the commit part.
-
+
* s-taprop-rtx.adb
(Initialize): Get the clock resolution.
(RT_Resolution): Return the clock resolution that is indicated by the
configuration flag Canonical_Streams.
(Gen_Adainit_C): Add the declaration and initial value of external
symbol __gl_canonical_streams.
-
+
* init.c: Update the list of global values computed by the binder.
-
+
* opt.ads: Add flag Canonical_Streams.
-
+
* par-prag.adb (Prag): Include Pragma_Canonical_Streams to the list of
semantically handled pragmas.
-
+
* sem_prag.adb: Add an entry into enumeration type Sig_Flags.
(Analyze_Pragma): Add case for pragma Canonical_Streams.
-
+
* snames.adb: Add character value for name Canonical_Streams.
-
+
* snames.ads:
Add Name_Canonical_Streams to the list of configuration pragmas.
Add Pragma_Canonical_Streams to enumeration type Pragma_Id.
-
+
* snames.h: Add a definition for Pragma_Canonical_Streams.
-
+
* s-ststop.adb:
Add a flag and import to seize the value of external symbol
__gl_canonical_streams. Update comment and initial value of constant
Use_Block_IO.
-
+
* gnat_rm.texi: Add section of pragma Canonical_Streams.
-
+
* gnat_ugn.texi:
Add pragma Canonical_Streams to the list of configuration pragmas.
2008-07-31 Gary Dismukes <dismukes@adacore.com>
* checks.ads (Apply_Accessibility_Check): Add parameter Insert_Node.
-
+
* checks.adb (Apply_Accessibility_Check): Insert the check on
Insert_Node.
-
+
* exp_attr.adb:
(Expand_N_Attribute_Refernce, Attribute_Access): Pass attribute node
to new parameter Insert_Node on call to Apply_Accessibility_Check.
Necessary to distinguish the insertion node because the dereferenced
formal may come from a rename, but the check must be inserted in
front of the attribute.
-
+
* exp_ch4.adb:
(Expand_N_Allocator): Pass actual for new Insert_Node parameter on
call to Apply_Accessibility_Check.
* sem_type.adb (Has_Compatible_Type): Complete support for synchronized
types when the candidate type is a synchronized type.
-
+
* sem_res.adb (Resolve_Actuals): Reorganize code handling synchronized
types, and complete management of synchronized types adding missing
code to handle formal that is a synchronized type.
-
+
* sem_ch4.adb (Try_Primitive_Operation): Avoid testing attributes that
are not available and cause the compiler to blowup. Found compiling
test with switch -gnatc
-
+
* sem_ch6.adb (Check_Synchronized_Overriding): Remove local subprogram
Has_Correct_Formal_Mode plus code cleanup.
* exp_attr.adb (Find_Stream_Subprogram): Check the base type instead
of the type when looking for stream subprograms for type String,
Wide_String and Wide_Wide_String.
-
+
* s-ststop.adb: Change the initialization expression of constant
Use_Block_IO.
2008-07-31 Robert Dewar <dewar@adacore.com>
* einfo.adb (Spec_PPC): Now defined for generic subprograms
-
+
* einfo.ads (Spec_PPC): Now defined for generic subprograms
-
+
* sem_prag.adb (Check_Precondition_Postcondition): Handle generic
subprogram case
they will appear in each instance.
(Process_PPCs): Do not transform postconditions into a procedure in a
generic context, to prevent double expansion of check pragmas.
-
+
* sem_attr.adb: In an instance, the prefix of the 'result attribute
can be the renaming of the
current instance, so check validity of the name accordingly.
from context. This attribute must be usable in Ada95 mode.
The attribute can appear in the body of a function marked
Inline_Always, but in this case the postocondition is not enforced.
-
+
sem_prag.adb (Check_Precondition_Postcondition): within the expansion
of an inlined call pre- and postconditions are legal
2008-07-30 Aaron W. LaFramboise <aaronavay62@aaronwl.com>
- * gcc-interface/Makefile.in (EXTRA_GNATRTL_NONTASKING_OBJS)
+ * gcc-interface/Makefile.in (EXTRA_GNATRTL_NONTASKING_OBJS)
[WINDOWS]: Add s-winext.o.
2008-07-30 Eric Botcazou <ebotcazou@adacore.com>
* sem_ch8.adb (Analyze_Subprogram_Renaming): When renaming an attribute
as a actual in an instance, check for a missing attribute to prevent
program_error on an illegal program.
-
+
* exp_util.adb (Find_Prim_Op): Rather than Assert (False), raise program
error if primitive is not found, so that exception can be handled
elsewhere on illegal programs.
(Process_Full_View): Build wrapper specs for all primitives
that belong to a private view completed by a concurrent type
implementing an interface.
-
+
* sem_ch6.adb (Analyze_Subprogram_Body): When the current subprogram
is a primitive of a
concurrent type with a private view that implements an interface, try to
* cio.c
(put_int, put_int_stderr, put_char, put_char_stderr): For RTX we call
the function RtPrintf for console output.
-
+
* argv.c Do not use the environ variable for RTX.
-
+
* gnatlink.adb (gnatlink): The part that handles the --RTS option has
been moved before the call to Osint.Add_Default_Search_Dirs in order
to take into account the flags in system.ads (RTX_RTSS_Kernel_Module)
from the appropriate run time.
-
+
* targparm.ads
(RTX_RTSS_Kernel_Module_On_Target): Add this flag that is set to True if
target is a RTSS module for RTX.
-
+
* targparm.adb (Targparm_Tags, RTX_Str, Targparm_Str): Add tag RTX for
RTX_RTSS_Kernel_Module
(Get_Target_Parameters): Add processing of RTX_RTSS_Kernel_Module flag.
2008-07-30 Laurent Guerby <laurent@guerby.net>
- PR ada/5911
- * gcc-interface/Makefile.in (MULTISUBDIR, RTSDIR): New variables.
- Pass MULTISUBDIR to recursive make. Use $(RTSDIR) instead of rts.
- Replace stamp-gnatlib* by stamp-gnatlib*-rts.
- * gcc-interface/Make-lang.in: Replace stamp-gnatlib2
- by stamp-gnatlib2-rts.
-
+ PR ada/5911
+ * gcc-interface/Makefile.in (MULTISUBDIR, RTSDIR): New variables.
+ Pass MULTISUBDIR to recursive make. Use $(RTSDIR) instead of rts.
+ Replace stamp-gnatlib* by stamp-gnatlib*-rts.
+ * gcc-interface/Make-lang.in: Replace stamp-gnatlib2
+ by stamp-gnatlib2-rts.
+
2008-07-30 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
PR documentation/15479
* adaint.c (__MINGW32__ section): Include ctype.h and define
a fallback ISALPHA if IN_RTS.
- (__gnat_is_absolute_path): Use ISALPHA instead of isalpha.
+ (__gnat_is_absolute_path): Use ISALPHA instead of isalpha.
2008-07-17 Olivier Hainque <hainque@adacore.com>
(gnat_to_gnu_entity) <case E_Function/Procedure>: Request stack
realignment with force_align_arg_pointer attribute on foreign
convention subprograms if FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN.
-
+
2008-06-13 Olivier Hainque <hainque@adacore.com>
* utils.c (rest_of_record_type_compilation): When computing
(gnat_handle_option) <OPT_gdwarf_>: Increment gnat_dwarf_extensions.
(gnat_post_options): Map gnat_dwarf_extensions to the
commonuse_gnu_debug_info_extensions for later processing.
-
+
2008-06-04 Samuel Tardieu <sam@rfc1149.net>
* einfo.ads, einfo.adb: Remove unused flag Function_Returns_With_DSP.
PR ada/864
* osint.ads, osint.adb (Program_Name): New parameter "Prog" to
allow recognition of program suffix in addition to prefix.
-
+
* gnatchop.adb (Locate_Executable): Add support for prefix.
-
+
* make.adb, gnatcmd.adb, gnatlink.adb, prj-makr.adb,
mlib-utl.adb: Adjust calls to Program_Name.
* sinput-p.adb (Source_File_Is_Subunit): Allow special character used
for preprocessing
-
+
* sinput-p.ads: Minor comment update and reformatting
2008-05-28 Ed Schonberg <schonberg@adacore.com>
* restrict.ads:
Add missing restrictions, and properly label all GNAT defined ones
-
+
* rtsfind.ads:
Add entry for Ada_Real_Time.Timing_Events.Timing_Event
Add entry for Ada.Task_Termination.Set_Specific_Handler
Add entry for Ada.Task_Termination.Specific_Handler
-
+
* s-rident.ads:
Add missing restrictions and properly mark all gnat defined ones
-
+
* sem_ch3.adb:
(Analyze_Object_Declaration): Check No_Local_Timing_Events restriction
-
+
* sem_res.adb:
(Resolve_Call): Check violation of No_Specific_Termination_Handlers
* sem_ch3.adb (Derive_Progenitor_Primitives): Add missing support
for user-defined predefined primitives.
-
+
* sem_util.adb (Matches_Prefixed_View_Profile): Ditto.
(Find_Overridden_Synchronized_Primitive): Ditto.
2008-05-27 Arnaud Charlet <charlet@adacore.com>
* bindgen.adb: Update comments.
-
+
* s-tasinf-mingw.adb: Add "with" of System.OS_Interface
2008-05-27 Vincent Celier <celier@adacore.com>
Measure and Overflow_Guard.
(Report_Result): Fixed computation of the result using new fields of
Stack_Analyzer.
-
+
* s-stausa.ads (Initialize_Analyzer): Replaced Size / Overflow_Guard
params by more explicit Stack_Size / Max_Pattern_Size params.
(Stack_Analyzer): Added distinct Stack_Size & Pattern_Size fields.
Added Stack_Used_When_Filling field.
(Task_Result): Replaced Measure / Overflow_Guard by more explicit
Min_Measure and Max_Measure fields.
-
+
* s-tassta.adb (Task_Wrapper): Updated call to Initialize_Analyzer.
2008-05-27 Vincent Celier <celier@adacore.com>
(System.File_IO.{Close, Delete, Reset}):
Change File parameter from "in out AFCB_Ptr" to "access AFCB_Ptr".
-
+
(Ada.*_IO.{Close, Delete, Reset, Set_Mode}):
Pass File parameter by reference.
* system-solaris-sparc.ads (Always_Compatible_Rep): Likewise.
* system-solaris-sparcv9.ads (Always_Compatible_Rep): Likewise.
* system-solaris-x86.ads (Always_Compatible_Rep): Likewise.
-
+
2008-05-27 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb: add guard to previous patch.
2008-05-27 Vincent Celier <celier@adacore.com>
* prj-attr.adb: Add new project level attribute Map_File_Option
-
+
* prj-nmsc.adb (Process_Linker): Process new attribute Map_File_Option
-
+
* prj.ads: Minor reformatting and comment update
(Project_Configuration): New component Map_File_Option
-
+
* snames.adb: New standard name Map_File_Option
-
+
* snames.ads: New standard name Map_File_Option
2008-05-27 Vincent Celier <celier@adacore.com>
* exp_ch3.adb (Expand_N_Object_Declaration): Remove checks for
No_Default_Initialization, which is now delayed until the freeze point
of the object. Add a comment about deferral of the check.
-
+
* freeze.adb (Freeze_Entity): The check for No_Default_Initialization
on objects is moved here.
(Compare_Array_U32): Likewise.
* s-caun64.adb (Uword): Likewise.
(Compare_Array_U64): Likewise.
-
+
2008-05-26 Robert Dewar <dewar@adacore.com>
* exp_ch6.adb: Add ??? comment for previous change
* rtsfind.ads, rtsfind.adb:
(RE_Get_RACW): New runtime library entity provided by PolyORB s-parint.
(Check_RPC): Support per-PCS-kind API versioning.
-
+
exp_dist.ads, exp_dist.adb:
(Build_Stub_Tag, Get_Stub_Elements): New utility subprograms.
(PolyORB_Support.Add_RACW_From_Any): Offload common code to new runtime
through an intermediate Any.
(PolyORB_Support.Add_RACW_Write_Attribute): Use Get_Reference instead of
going through an intermediate Any.
-
+
* sem_dist.adb: Minor reformatting.
2008-05-26 Javier Miranda <miranda@adacore.com>
respectively.
Hence, the priority must be set in this case to the one selected by the
user.
-
+
2008-05-26 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb:
parent is declared within some parent scope of the just completed
instance, make full views of the entities in that parent visible, when
applicable.
-
+
2008-05-26 Kai Tietz <kai.tietz@onevision.com>
* mingw32.h (STD_MINGW): Set to true for target w64.
* g-sttsne-vxworks.adb: Add missing dependency on Sockets.Constants.
Add missing "with" of Ada.Unchecked_Conversion
- * g-soccon-linux-ppc.ads, g-soccon-linux-64.ads, g-soccon-lynxos.ads,
- g-soccon-linux-x86.ads, g-soccon-hpux-ia64.ads,
- g-soccon-solaris-64.ads, g-soccon-tru64.ads, g-soccon-aix.ads,
- g-soccon-irix.ads, g-soccon-hpux.ads, g-soccon-solaris.ads,
- g-soccon-vms.ads, g-soccon-mingw.ads, g-soccon-vxworks.ads,
- g-socthi-vxworks.adb, g-soccon-freebsd.ads, g-soccon.ads:
+ * g-soccon-linux-ppc.ads, g-soccon-linux-64.ads, g-soccon-lynxos.ads,
+ g-soccon-linux-x86.ads, g-soccon-hpux-ia64.ads,
+ g-soccon-solaris-64.ads, g-soccon-tru64.ads, g-soccon-aix.ads,
+ g-soccon-irix.ads, g-soccon-hpux.ads, g-soccon-solaris.ads,
+ g-soccon-vms.ads, g-soccon-mingw.ads, g-soccon-vxworks.ads,
+ g-socthi-vxworks.adb, g-soccon-freebsd.ads, g-soccon.ads:
Move common code out of GNAT.Sockets.Thin implementations and into
Thin_Common.
New constant SIZEOF_fd_set
(Create): Remove call to Set_Length; use Set_Family to set the family
and (on appropriate platforms) length fields in struct sockaddr.
- * g-socthi.adb, g-socthi.ads, g-socthi-vms.ads, g-socthi-vms.adb,
- g-socthi-mingw.adb, g-socthi-mingw.ads, g-socthi-vxworks.adb,
+ * g-socthi.adb, g-socthi.ads, g-socthi-vms.ads, g-socthi-vms.adb,
+ g-socthi-mingw.adb, g-socthi-mingw.ads, g-socthi-vxworks.adb,
g-soccon-darwin.ads, g-soccon-darwin.ads: New constant SIZEOF_fd_set
Move common code out of GNAT.Sockets.Thin implementations and into
Thin_Common.
- * g-socket.ads, g-socket.adb:
+ * g-socket.ads, g-socket.adb:
Move common code out of GNAT.Sockets.Thin implementations and into
Thin_Common.
(Connect_Socket, Accept_Socket): Provide new versions of these two
this is now handled automatically by Set_Family on platforms that
require it.
- * gen-soccon.c:
+ * gen-soccon.c:
Move common code out of GNAT.Sockets.Thin implementations and into
Thin_Common.
(SIZEOF_sockaddr_in6): On platforms where IPv6 is not supported, define
Declared_In_Interfaces.
(Project_Data): New Boolean component Interfaces_Defined
- * prj-attr.adb:
+ * prj-attr.adb:
New project level attribute Object_Generated and Objects_Linked
Add new project level attribute Interfaces
name and is not found in the current project, look for it also in the
ancestors of the project.
- * prj-makr.adb:
+ * prj-makr.adb:
Replace procedure Make with procedures Initialize, Process and Finalize
to implement H414-023: process different directories with different
patterns.
Use functions Present and No throughout
- * prj-makr.ads:
+ * prj-makr.ads:
Replace procedure Make with procedures Initialize, Process and Finalize
* prj-nmsc.adb
(Parent_Project_Of): New function
(Set_Parent_Project_Of): New procedure
- * snames.ads, snames.adb:
+ * snames.ads, snames.adb:
Add new standard names Object_Generated and Objects_Linked
2008-05-20 Hristian Kirtchev <kirtchev@adacore.com>
Calls to access and assign routines have been replaced by calls to
Read/Write routines of System.Shared_Storage.Shared_Var_Procs
instantiated package.
-
+
* rtsfind.ads: RE_Shared_Var_Procs entry has been added in RE_Unit_Table
It identifies the new generic package added in s-shasto.
* s-osinte-irix.ads: (Alternate_Stack_Size): Add dummy declaration.
- * adaint.c:
+ * adaint.c:
Don't define dummy implementation of convert_addresses on ppc-linux.
2008-05-20 Ed Schonberg <schonberg@adacore.com>
(gnat_to_gnu) <N_Validate_Unchecked_Conversion>: Fix formatting.
2008-05-14 Samuel Tardieu <sam@rfc1149.net>
- Robert Dewar <dewar@adacore.com>
+ Robert Dewar <dewar@adacore.com>
* sem_attr.adb (Analyze_Attribute, Attribute_Old case): Add
restrictions to the prefix of 'Old.
directly in a couple of special cases.
2008-05-12 Samuel Tardieu <sam@rfc1149.net>
- Ed Schonberg <schonberg@adacore.com>
+ Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Build_Derived_Record_Type): Accept statically matching
constraint expressions.
tagged type by an untagged protected or task type.
2008-04-28 Eric Botcazou <ebotcazou@adacore.com>
- Tristan Gingold <gingold@adacore.com>
+ Tristan Gingold <gingold@adacore.com>
PR ada/36007
* decl.c (gnat_to_gnu_entity) <object>: Do not promote alignment
the parent using the corresponding discriminant.
2008-04-15 Samuel Tardieu <sam@rfc1149.net>
- Gary Dismukes <dismukes@adacore.com>
+ Gary Dismukes <dismukes@adacore.com>
PR ada/28733
* sem_ch8.adb (Analyze_Use_Package): Do not allow "use" of something
* xref_lib.adb (Parse_Identifier_Info): Correctly parse and ignore the
renaming information.
-2008-04-13 Samuel Tardieu <sam@rfc1149.net>
+2008-04-13 Samuel Tardieu <sam@rfc1149.net>
PR ada/17985
* sem_aggr.adb (Valid_Ancestor_Type): A type is not an ancestor of
* utils.c (gnat_genericize): Likewise.
2008-04-08 Eric Botcazou <ebotcazou@adacore.com>
- Richard Kenner <kenner@adacore.com>
+ Richard Kenner <kenner@adacore.com>
* ada-tree.h (TYPE_PACKED_ARRAY_TYPE_P): Only set it when bit-packed.
* decl.c (gnat_to_gnu_entity): Adjust for above change.
* g-sercom-linux.adb:
Implement the stop bits and parity support for GNU/Linux.
Fix handling of timeout, it must be given in tenth of seconds.
-
+
* g-sercom-mingw.adb:
Implement the stop bits and parity support for Windows.
Use new s-win32.ads unit instead of declaring Win32 services
* system-linux-x86.ads: (Stack_Check_Probes): Set to True.
- * s-intman-posix.adb:
+ * s-intman-posix.adb:
(Initialize): Set SA_ONSTACK for SIGSEGV if the platform makes use of an
alternate signal stack for stack overflows.
(s-vxwext.ads, s-vxwext-kernel.ads, s-vxwext-rtp.ads,
s-vxwext-rtp.adb): New files.
- * s-taprop-vxworks.adb, s-osinte-vxworks.ads, s-osinte-vxworks.adb:
+ * s-taprop-vxworks.adb, s-osinte-vxworks.ads, s-osinte-vxworks.adb:
Minor updates to accomodate changes above.
2008-04-08 Pascal Obry <obry@adacore.com>
s-tasinf-mingw.ad{s,b}, s-taspri-mingw.ads:
Use new s-win32.ads unit instead of declaration
from s-osinte-mingw.ads.
-
+
* s-osinte-mingw.ads:
Move all non tasking based interface to s-win32.ads.
-
+
* s-osprim-mingw.adb:
Remove duplicated declarations and use s-win32.ads
unit instead.
mlib-tgt-specific-vxworks.adb, mlib-tgt-specific-xi.adb,
mlib-tgt-specific-mingw.adb: New names.
- * Makefile.in:
+ * Makefile.in:
On VxWorks platforms use s-stchop-limit.ads for s-stchop.ads
Get rid of gnatbl.
(EXTRA_GNATRTL_NONTASKING_OBJS): Add s-win32.o
* a-cgcaso.adb, a-convec.adb: (Swap, Sift): Avoid use of complex
renaming.
- * a-cgaaso.ads, a-secain.ads, a-slcain.ads, a-shcain.ads,
+ * a-cgaaso.ads, a-secain.ads, a-slcain.ads, a-shcain.ads,
a-crdlli.ads, a-coormu.ads, a-ciormu.ads: modified header to conform
to convention for non-RM specs.
Add descriptive header, and documented each operation
* fname-sf.adb: Remove Big_String declarations (now in Types)
* s-strcom.adb, g-dyntab.ads, g-table.ads, s-carsi8.adb,
- s-stalib.ads, s-carun8.adb: Add zero size Storage_Size clauses for
+ s-stalib.ads, s-carun8.adb: Add zero size Storage_Size clauses for
big pointer types
* table.ads: Add for Table_Ptr'Storage_Size use 0
* makeusg.adb: Add line for switch --subdirs=
- * prj.ads:
+ * prj.ads:
(Source_Data): New Boolean component Compiled, defaulted to True
(Empty_File_Name: New global variable in private part, initialized in
procedure Initialize.
* prj-proc.adb (Process_Declarative_Items): Link new elements of copied
full associative array together.
(Recursive_Process): Put the project qualifier in the project data
-
+
* prj-tree.ads, prj-tree.adb: (Project_Qualifier_Of): New function
(Set_Project_Qualifier_Of): New procedure
* s-rident.ads: Add No_Default_Initialization restriction
- * exp_tss.adb:
+ * exp_tss.adb:
(Has_Non_Null_Base_Init_Proc): Handle No_Default_Initialization case
(Set_TSS): Handle No_Default_Initialization case
ilasm.
2008-04-07 Aurelien Jarno <aurelien@aurel32.net>
- Xavier Grave <grave@ipno.in2p3.fr>
+ Xavier Grave <grave@ipno.in2p3.fr>
* Makefile.in: Add make ifeq define for mips/mipsel support.
- * g-soccon-linux-mips.ads, system-linux-mipsel.ads,
+ * g-soccon-linux-mips.ads, system-linux-mipsel.ads,
system-linux-mips.ads: New files.
2008-04-07 Aurelien Jarno <aurelien@aurel32.net>
- * sysdep.c: add __GLIBC__ to the #ifdef preprocessor macros to
+ * sysdep.c: add __GLIBC__ to the #ifdef preprocessor macros to
detect systems using GNU libc.
* gsocket.h: ditto.
* socket.c: ditto.
2008-04-07 Aurelien Jarno <aurelien@aurel32.net>
- * s-osinte-linux-kfreebsd.ads (SC_NPROCESSORS_ONLN): New
+ * s-osinte-linux-kfreebsd.ads (SC_NPROCESSORS_ONLN): New
constant constant for sysconf call.
(bit_field): New packed boolean type used by cpu_set_t.
(cpu_set_t): New type corresponding to the C type with
size if it has overflowed.
2008-03-31 Olivier Hainque <hainque@adacore.com>
- Eric Botcazou <ebotcazou@adacore.com>
+ Eric Botcazou <ebotcazou@adacore.com>
* utils2.c (find_common_type): Document assumption on t1/t2 vs
lhs/rhs. Force use of lhs type if smaller, whatever the modes.
2008-03-26 Arnaud Charlet <charlet@adacore.com>
- * s-taprop-irix.adb, s-taprop-tru64.adb, s-taprop-lynxos.adb,
- s-taprop-linux.adb, s-taprop-mingw.adb, s-taprop-vxworks.adb,
+ * s-taprop-irix.adb, s-taprop-tru64.adb, s-taprop-lynxos.adb,
+ s-taprop-linux.adb, s-taprop-mingw.adb, s-taprop-vxworks.adb,
s-taprop-posix.adb (Create_Task): Do not attempt to set task priority
or task info if the thread could not be created.
* Makefile.in: Add proper GNAT.Serial_Communications implementation on
supported platforms.
-
+
* Makefile.rtl: Add g-sercom.o.
-
+
* impunit.adb: Add g-sercom.adb.
-
+
* s-crtl.ads (open): New routine.
(close): Likewise.
(write): Likewise.
-
+
* s-osinte-mingw.ads (BYTE): New type.
(CHAR): Likewise.
(OVERLAPPED): Likewise.
* g-sercom.adb: Default implementation, calls to this unit will raise
a program error exception.
-
+
* g-sercom-mingw.adb, g-sercom-linux.adb: Windows and
GNU/Linux implementations.
declarations of a parent unit are made visible when compiling a child
instance, the parent is not a hidden open scope, even though it may
contain other pending instance.
-
+
* sem_ch8.adb (Restore_Scope_Stack): If an entry on the stack is a
hidden open scope for some child instance, it does affect the
visibility status of other stach entries.
2008-03-26 Matthew Heaney <heaney@adacore.com>
- * a-ciorse.ads, a-cidlli.ads, a-cdlili.ads, a-cihase.ads, a-cohase.ads,
+ * a-ciorse.ads, a-cidlli.ads, a-cdlili.ads, a-cihase.ads, a-cohase.ads,
a-ciorma.ads, a-coorma.ads, a-ciormu.ads, a-coormu.ads, a-coorse.ads:
Marked with clauses as private, and controlled operations as overriding
* trans.c (addressable_p): Add notes on addressability issues.
2008-03-21 Olivier Hainque <hainque@adacore.com>
- Ed Schonberg <schonberg@adacore.com>
+ Ed Schonberg <schonberg@adacore.com>
* trans.c (addressable_p): Accept COND_EXPR when both arms
are addressable.
2007-12-19 Robert Dewar <dewar@adacore.com>
- * g-expect-vms.adb, g-expect.adb, s-poosiz.adb:
+ * g-expect-vms.adb, g-expect.adb, s-poosiz.adb:
Add pragma Warnings (Off) for unassigned IN OUT arguments
* sem_warn.adb (Output_Reference): Suppress messages for internal names
* errout.adb (First_Node): Use Traverse_Proc instead of Traverse_Func,
because the former already takes care of discarding the result.
(Remove_Warning_Messages): Use appropriate subtype for Status and
- Discard
+ Discard
2007-12-19 Ed Schonberg <schonberg@adacore.com>
* adaint.c (__gnat_pthread_setaffinity_np): New routine. A dummy
version is provided for older GNU/Linux distribution not
supporting thread affinity sets.
-
+
* s-osinte-linux.ads (SC_NPROCESSORS_ONLN): New constant for sysconf
call.
(bit_field): New packed boolean type used by cpu_set_t.
field array for the affinity mask. There is not need
for the C macro for setting individual bit.
(pthread_setaffinity_np): New imported routine.
-
+
* s-taprop-linux.adb (Enter_Task): Check that the CPU affinity mask is
no null.
(Create_Task): Set the processor affinity mask if information
is present.
-
+
* s-tasinf-linux.ads, s-tasinf-linux.adb: New files.
-
+
2007-12-13 Robert Dewar <dewar@adacore.com>
- * s-osinte-lynxos-3.ads, s-osinte-hpux.ads, s-osinte-solaris-posix.ads,
- s-osinte-freebsd.ads, s-osinte-lynxos.ads, s-osinte-tru64.ads,
- s-osinte-mingw.ads, s-osinte-aix.ads, s-osinte-hpux-dce.ads,
+ * s-osinte-lynxos-3.ads, s-osinte-hpux.ads, s-osinte-solaris-posix.ads,
+ s-osinte-freebsd.ads, s-osinte-lynxos.ads, s-osinte-tru64.ads,
+ s-osinte-mingw.ads, s-osinte-aix.ads, s-osinte-hpux-dce.ads,
s-osinte-irix.ads, s-osinte-solaris.ads, s-intman-vms.adb,
s-osinte-vms.ads, s-osinte-vxworks6.ads, s-osinte-vxworks.ads,
- s-auxdec.ads, s-auxdec-vms_64.ads, s-osinte-darwin.ads,
- s-taprop-vms.adb, s-interr-sigaction.adb, s-osinte-linux-hppa.ads,
+ s-auxdec.ads, s-auxdec-vms_64.ads, s-osinte-darwin.ads,
+ s-taprop-vms.adb, s-interr-sigaction.adb, s-osinte-linux-hppa.ads,
i-vxwork-x86.ads, s-tpopde-vms.ads: Add missing pragma Convention C
for subprogram pointers.
Bob Duff <duff@adacore.com>
Tristan Gingold <gingold@adacore.com>
- * system-linux-ia64.ads, system-freebsd-x86.ads, system-lynxos-ppc.ads,
- system-lynxos-x86.ads, system-linux-x86_64.ads, system-tru64.ads,
- system-aix.ads, system-vxworks-sparcv9.ads, system-solaris-x86.ads,
- system-irix-o32.ads, system-irix-n32.ads, system-hpux.ads,
- system-vxworks-m68k.ads, system-linux-x86.ads, system-vxworks-mips.ads,
- system-solaris-sparc.ads, system-solaris-sparcv9.ads, system-vms.ads,
- system-mingw.ads, system-vms-zcx.ads, system-vxworks-ppc.ads,
+ * system-linux-ia64.ads, system-freebsd-x86.ads, system-lynxos-ppc.ads,
+ system-lynxos-x86.ads, system-linux-x86_64.ads, system-tru64.ads,
+ system-aix.ads, system-vxworks-sparcv9.ads, system-solaris-x86.ads,
+ system-irix-o32.ads, system-irix-n32.ads, system-hpux.ads,
+ system-vxworks-m68k.ads, system-linux-x86.ads, system-vxworks-mips.ads,
+ system-solaris-sparc.ads, system-solaris-sparcv9.ads, system-vms.ads,
+ system-mingw.ads, system-vms-zcx.ads, system-vxworks-ppc.ads,
system-vxworks-arm.ads, system-darwin-x86.ads, system.ads,
- system-vms_64.ads, system-darwin-ppc.ads, system-vxworks-x86.ads,
+ system-vms_64.ads, system-darwin-ppc.ads, system-vxworks-x86.ads,
system-linux-ppc.ads, system-linux-hppa.ads, system-hpux-ia64.ads,
system-vms-ia64.ads (Stack_Check_Limits): New target parameter.
(Always_Compatible_Rep): New flag to control trampolines globally.
* s-taprop-vxworks.adb: Use stack limit method of stack checking.
Simply indirectly call s-stchop when a task is created.
- * ali.ads:
+ * ali.ads:
New flag added: Stack_Check_Switch_Set which is set when '-fstack-check'
appears as an argument (entries A) in an ALI file.
2007-12-13 Robert Dewar <dewar@adacore.com>
- * sem_ch5.adb, s-taskin.adb, a-ciorma.adb, a-coorma.adb, a-cohama.adb,
- a-cihama.adb, g-awk.adb,
+ * sem_ch5.adb, s-taskin.adb, a-ciorma.adb, a-coorma.adb, a-cohama.adb,
+ a-cihama.adb, g-awk.adb,
s-inmaop-posix.adb: Update handling of assigned value/unreferenced
warnings
* lib-xref.ads: Improve documentation for k xref type
- * lib-xref.adb:
+ * lib-xref.adb:
Update handling of assigned value/unreferenced warnings
(Generate_Reference): Warning for reference to entity for which a
pragma Unreferenced has been given should be unconditional.
EXTRA_GNATRTL_NONTASKING_OBJS, EXTRA_GNATRTL_TASKING_OBJS,
GNATLIB_SHARED for RTX run time): Use the versions required by RTX.
- * mingw32.h:
+ * mingw32.h:
Do not define GNAT_UNICODE_SUPPORT for RTX since it is not supported.
* sysdep.c (winflush_function for RTX): Procedure that does nothing
2007-12-13 Robert Dewar <dewar@adacore.com>
- * a-textio.adb, a-textio.ads:
+ * a-textio.adb, a-textio.ads:
Extensive changes to private part for wide character encoding
* a-witeio.adb, a-witeio.ads, a-ztexio.ads, a-ztexio.adb
* opt.adb: New pragma Fast_Math
- * par-prag.adb:
+ * par-prag.adb:
Add Implemented_By_Entry to the list of pragmas which do not require any
special processing.
(Favor_Top_Level): New pragma.
New pragma Fast_Math
(Analyze_Pragma, case No_Return): Handle generic instance
- * snames.h, snames.ads, snames.adb:
+ * snames.h, snames.ads, snames.adb:
Add new predefined name for interface primitive _Disp_Requeue.
New pragma Fast_Math
2007-12-13 Geert Bosch <bosch@adacore.com>
- * a-tifiio.adb:
+ * a-tifiio.adb:
(Put_Int64): Use Put_Digit to advance Pos. This fixes a case where
the second or later Scaled_Divide would omit leading zeroes,
resulting in too few digits produced and a Layout_Error as result.
(Find_Interface_ADT): Modified to fulfill the new specification.
Remove Atree.Delete_Tree/Delete_Node and Nlist.Delete_List
- * par-ch4.adb, nlists.ads, nlists.adb:
+ * par-ch4.adb, nlists.ads, nlists.adb:
Remove Atree.Delete_Tree/Delete_Node and Nlist.Delete_List
* sinfo.ads, sinfo.adb: (Nkind_In): New functions
2007-12-13 Vincent Celier <celier@adacore.com>
- * opt.ads:
+ * opt.ads:
Indicate what flags are used by the Project Manager, gprbuild and
gprclean.
(Opt.Follow_Links_For_Dirs): New flag
passing a pointer to a procedure. This is to eliminate trampolines
(since the Callback procedure is usually nested).
- * gnatfind.adb, switch.adb, switch.ads, gnatlink.adb, gnatls.adb,
+ * gnatfind.adb, switch.adb, switch.ads, gnatlink.adb, gnatls.adb,
gnatname.adb, gnatxref.adb, gnatchop.adb, gprep.adb, gnatbind.adb
(Check_Version_And_Help): Change Check_Version_And_Help to be generic.
* g-speche.adb: Use generic routine in g-spchge
- * s-wchcnv.ads, s-wchcnv.adb:
+ * s-wchcnv.ads, s-wchcnv.adb:
Minor code cleanup (make formal type consistent with spec)
* namet.adb: Update comments.
* prj-pars.adb: new parameter Current_Dir
- * prj-part.ads, prj-part.adb:
+ * prj-part.ads, prj-part.adb:
Change Opt.Follow_Links to Opt.Follow_Links_For_Files.
(Opt.Follow_Links_For_Dirs): New flag
(Project_Path_Name_Of): Cache information returned by this routine as
* s-imenne.adb, s-imenne.ads: New files.
- * s-imgboo.adb, s-imgboo.ads, s-imgcha.adb, s-imgcha.ads, s-imgdec.adb,
- s-imgdec.ads, s-imgenu.ads, s-imgint.adb, s-imgint.ads, s-imglld.adb,
- s-imglld.ads, s-imglli.adb, s-imglli.ads, s-imgllu.adb, s-imgllu.ads,
- s-imgrea.adb, s-imgrea.ads, s-imguns.adb, s-imguns.ads, s-imgwch.adb,
+ * s-imgboo.adb, s-imgboo.ads, s-imgcha.adb, s-imgcha.ads, s-imgdec.adb,
+ s-imgdec.ads, s-imgenu.ads, s-imgint.adb, s-imgint.ads, s-imglld.adb,
+ s-imglld.ads, s-imglli.adb, s-imglli.ads, s-imgllu.adb, s-imgllu.ads,
+ s-imgrea.adb, s-imgrea.ads, s-imguns.adb, s-imguns.ads, s-imgwch.adb,
s-imgwch.ads: New calling sequence for Image routines to avoid sec
stack usage.
2007-12-13 Arnaud Charlet <charlet@adacore.com>
- * s-tassta.adb:
+ * s-tassta.adb:
(Create_Task): Take into account tasks created by foreign threads.
Code clean up: use constants instead of hard coded values.
2007-12-13 Robert Dewar <dewar@adacore.com>
- * tbuild.ads, tbuild.adb:
+ * tbuild.ads, tbuild.adb:
Fix location of flag for unrecognized pragma message
2007-12-13 Robert Dewar <dewar@adacore.com>
* sem_case.adb: Minor reformatting
* s-fileio.adb: Minor reformattinng
* s-vmexta.ads: Minor typo
- * vxaddr2line.adb:
+ * vxaddr2line.adb:
Take into account 'Success' value as per new GNAT warning.
2007-12-13 Vincent Celier <celier@adacore.com>
2007-12-13 Geert Bosch <bosch@adacore.com>
- * s-parame-vxworks.adb:
+ * s-parame-vxworks.adb:
Update comments to reflect usage of this package by Nucleus.
2007-12-13 Arnaud Charlet <charlet@adacore.com>
* decl.c (gnat_to_gnu_entity) <case E_Access_Type>: When computing
the designated full view, only follow a second level Full_View link
for Non_Limited_Views of from_limited_with references.
-
+
2007-12-07 Samuel Tardieu <sam@rfc1149.net>
PR ada/15805
parameters of an entry call.
2007-12-03 Robert Dewar <dewar@adacore.com>
- Samuel Tardieu <sam@rfc1149.net>
+ Samuel Tardieu <sam@rfc1149.net>
PR ada/34287
* sem_util.adb (Safe_To_Capture_Value): Do not capture values
of variables declared in a library-level package.
-
+
2007-12-02 Samuel Tardieu <sam@rfc1149.net>
* clean.adb (Clean_Library_Directory): Use Empty_String'Access intead
2007-11-26 Andreas Krebbel <krebbel1@de.ibm.com>
- PR 34081/C++
- * trans.c (Subprogram_Body_to_gnu, Compilation_Unit_to_gnu):
- Pass 'false' for the new allocate_struct_function parameter.
- * utils.c (build_function_stub): Likewise.
+ PR 34081/C++
+ * trans.c (Subprogram_Body_to_gnu, Compilation_Unit_to_gnu):
+ Pass 'false' for the new allocate_struct_function parameter.
+ * utils.c (build_function_stub): Likewise.
2007-11-25 Richard Guenther <rguenther@suse.de>
here to ...
* trans.c (gnat_to_gnu) <case N_Free_Statement>: ... here, and don't
expect a super-aligned address for a fat or thin pointer.
-
+
2007-11-14 Eric Botcazou <ebotcazou@adacore.com>
* trans.c (call_to_gnu): Always set the source location on the call
2007-10-15 Robert Dewar <dewar@adacore.com>
- * s-taprop-solaris.adb, s-taprop-vms.adb, s-taprop-mingw.adb,
+ * s-taprop-solaris.adb, s-taprop-vms.adb, s-taprop-mingw.adb,
s-taprop-vxworks.adb, s-taprop-posix.adb, a-calend-vms.adb,
- a-calend.adb, a-nuflra.adb, a-tigeau.adb, a-wtgeau.adb,
- checks.adb, bindgen.adb, eval_fat.adb, exp_fixd.adb, fmap.adb,
- freeze.adb, g-awk.adb, g-calend.adb, g-diopit.adb, g-expect.adb,
- gnatchop.adb, gnatlink.adb, g-spipat.adb, g-thread.adb, make.adb,
- mdll.adb, mlib.adb, mlib-prj.adb, osint.adb, par-ch3.adb, prj.adb,
- prj-makr.adb, sem_prag.adb, sem_type.adb, s-fatgen.adb, s-fileio.adb,
- sinfo.ads, sinput-d.adb, s-taasde.adb, s-tasdeb.ads, s-tasren.adb,
+ a-calend.adb, a-nuflra.adb, a-tigeau.adb, a-wtgeau.adb,
+ checks.adb, bindgen.adb, eval_fat.adb, exp_fixd.adb, fmap.adb,
+ freeze.adb, g-awk.adb, g-calend.adb, g-diopit.adb, g-expect.adb,
+ gnatchop.adb, gnatlink.adb, g-spipat.adb, g-thread.adb, make.adb,
+ mdll.adb, mlib.adb, mlib-prj.adb, osint.adb, par-ch3.adb, prj.adb,
+ prj-makr.adb, sem_prag.adb, sem_type.adb, s-fatgen.adb, s-fileio.adb,
+ sinfo.ads, sinput-d.adb, s-taasde.adb, s-tasdeb.ads, s-tasren.adb,
s-tassta.adb, s-tpobop.adb, s-tposen.adb, stylesw.adb, types.ads,
- uintp.adb, validsw.adb, makegpr.adb, a-rbtgso.adb, a-crbtgo.adb,
- a-coorse.adb, a-convec.adb, a-coinve.adb, a-cohama.adb, a-ciorse.adb,
- a-cihama.adb, a-cidlli.adb, a-chtgop.adb, a-cdlili.adb, a-cdlili.adb,
- a-coormu.adb, a-ciormu.adb, a-cihase.adb, a-cohase.adb, a-ciorma.adb,
- a-coorma.adb, a-ztgeau.adb, symbols-vms.adb, a-crdlli.adb,
+ uintp.adb, validsw.adb, makegpr.adb, a-rbtgso.adb, a-crbtgo.adb,
+ a-coorse.adb, a-convec.adb, a-coinve.adb, a-cohama.adb, a-ciorse.adb,
+ a-cihama.adb, a-cidlli.adb, a-chtgop.adb, a-cdlili.adb, a-cdlili.adb,
+ a-coormu.adb, a-ciormu.adb, a-cihase.adb, a-cohase.adb, a-ciorma.adb,
+ a-coorma.adb, a-ztgeau.adb, symbols-vms.adb, a-crdlli.adb,
a-calari.adb, a-calfor.adb, s-os_lib.adb, s-regpat.adb, a-ngrear.adb:
Minor reformatting.
Add Unreferenced and Warnings (Off) pragmas for cases of
the resulting values are not subsequently referenced. In a few cases,
we also remove redundant code found by the new warnings.
- * ug_words, vms_data.ads, usage.adb, sem_util.adb, sem_util.ads,
+ * ug_words, vms_data.ads, usage.adb, sem_util.adb, sem_util.ads,
sem_warn.adb, sem_warn.ads, sem_res.adb, sem_ch7.adb, sem_ch8.adb,
sem_ch5.adb, opt.ads, lib-xref.adb, lib-xref.ads, exp_smem.adb,
sem_ch11.adb, exp_ch6.adb, einfo.ads, einfo.adb: implement a new
* g-soccon-vms.ads: Fix value of MSG_WAITALL.
- * gen-soccon.c:
+ * gen-soccon.c:
Update documentation to note that OpenVMS 8.3 or later must be used
to generate g-soccon-vms.ads.
2007-09-26 Hristian Kirtchev <kirtchev@adacore.com>
- * a-calend-vms.adb, a-calend.adb:
+ * a-calend-vms.adb, a-calend.adb:
Add a section on leap seconds control along with two entities used to
enable and disable leap seconds support. The array Leap_Second_Times is
now constant and contains hard time values pre-generated. Remove
all elaboration code used to populate the table of leap seconds.
- * bindgen.adb:
+ * bindgen.adb:
Add entity Leap_Seconds_Support to the list of global run-time variables
along with a comment on its usage and values.
(Gen_Adainit_Ada): Add code to generate the declaration and import of
2007-09-26 Javier Miranda <miranda@adacore.com>
Eric Botcazou <ebotcazou@adacore.com>
- * a-tags.adb:
+ * a-tags.adb:
(Get_HT_Link/Set_HT_Link): Updated to handle the additional level of
indirection added to the HT_Link component of the TSD. This is required
to statically allocate the TSD.
- * a-tags.ads:
+ * a-tags.ads:
Minor reordering of the declarations in the private part. Required to
add a level of indirection to the contents of the TSD component HT_Link.
This is required to statically allocate the TSD.
of each extra formal of a protected operation to reference the
corresponding extra formal of the subprogram denoted by the
operation's Protected_Body_Subprogram.
-
+
* sinfo.ads, sinfo.adb (Is_Expanded_Build_In_Place_Call): New flag on
N_Function_Call nodes.
s-stoele.adb, s-strcom.adb, s-strops.adb, s-traceb.adb, s-traent.adb,
s-wchcnv.adb, s-wchcon.adb, s-wchjis.adb, s-addope.adb, s-except.adb,
s-os_lib.adb, s-string.adb, s-utf_32.adb, a-elchha.adb,
- a-chlat1.ads, a-elchha.ads, a-except.ads, g-hesora.ads, g-htable.ads,
- g-speche.ads, par-prag.adb, restrict.adb, restrict.ads, s-assert.ads,
- s-carun8.ads, s-casuti.ads, s-crc32.ads, sem_ch11.adb, sem_prag.adb,
- s-exctab.ads, s-htable.ads, s-imgenu.ads, s-mastop.ads, snames.adb,
- snames.ads, snames.h, s-purexc.ads, s-secsta.ads, s-soflin.ads,
- s-sopco3.ads, s-sopco4.ads, s-sopco5.ads, s-stache.ads, s-stalib.ads,
- s-stoele.ads, s-strcom.ads, s-strops.ads, s-traceb.ads, s-traent.ads,
- s-unstyp.ads, s-wchcnv.ads, s-wchcon.ads, s-wchjis.ads, s-addope.ads,
+ a-chlat1.ads, a-elchha.ads, a-except.ads, g-hesora.ads, g-htable.ads,
+ g-speche.ads, par-prag.adb, restrict.adb, restrict.ads, s-assert.ads,
+ s-carun8.ads, s-casuti.ads, s-crc32.ads, sem_ch11.adb, sem_prag.adb,
+ s-exctab.ads, s-htable.ads, s-imgenu.ads, s-mastop.ads, snames.adb,
+ snames.ads, snames.h, s-purexc.ads, s-secsta.ads, s-soflin.ads,
+ s-sopco3.ads, s-sopco4.ads, s-sopco5.ads, s-stache.ads, s-stalib.ads,
+ s-stoele.ads, s-strcom.ads, s-strops.ads, s-traceb.ads, s-traent.ads,
+ s-unstyp.ads, s-wchcnv.ads, s-wchcon.ads, s-wchjis.ads, s-addope.ads,
s-except.ads, s-os_lib.ads, s-string.ads, s-utf_32.ads: Implement
pragma Compiler_Unit and adds it to relevant library units.
2007-09-12 Thomas Quinot <quinot@adacore.com>
- * g-soccon-solaris-64.ads, g-soccon-hpux-ia64.ads:
+ * g-soccon-solaris-64.ads, g-soccon-hpux-ia64.ads:
Add new constant Thread_Blocking_IO, always True by default, set False
on a per-runtime basis.
(Need_Netdb_Buffer): New constant.
2007-02-07 Andreas Krebbel <krebbel1@de.ibm.com>
* raise-gcc.c (get_region_description_for, get_call_site_action_for,
- get_action_description_for): Replace _Unwind_Word with _uleb128_t
+ get_action_description_for): Replace _Unwind_Word with _uleb128_t
and _Unwind_SWord with _sleb128_t.
2007-09-06 Eric Botcazou <ebotcazou@adacore.com>
PR ada/4720
- * gnatchop.adb, gnatfind.adb, gnatlink.adb, gnatls.adb,
+ * gnatchop.adb, gnatfind.adb, gnatlink.adb, gnatls.adb,
gnatname.adb, gnatxref.adb, gprep.adb, clean.adb gnatbind.adb
(Check_Version_And_Help): New procedure in package Switch to process
switches --version and --help.
2007-08-31 Hristian Kirtchev <kirtchev@adacore.com>
- * restrict.adb, namet.adb, par-util.adb: Remove redundant type
+ * restrict.adb, namet.adb, par-util.adb: Remove redundant type
conversion.
* sem_res.adb (Resolve_Qualified_Expression): Add machinery to detect
2007-08-14 Thomas Quinot <quinot@adacore.com>
- * g-soccon-interix.ads, a-excpol-interix.adb, a-intnam-interix.ads,
+ * g-soccon-interix.ads, a-excpol-interix.adb, a-intnam-interix.ads,
s-osinte-interix.ads, system-interix.ads: Removed.
2007-08-14 Hristian Kirtchev <kirtchev@adacore.com>
2007-08-14 Robert Dewar <dewar@adacore.com>
Ed Schonberg <schonberg@adacore.com>
- * inline.adb, types.ads, inline.ads, frontend.adb, alloc.ads:
+ * inline.adb, types.ads, inline.ads, frontend.adb, alloc.ads:
Suppress unmodified in-out parameter warning in some cases
This patch is a also fairly significant change to the way suppressible
checks are handled.
Ed Schonberg <schonberg@adacore.com>
Thomas Quinot <quinot@adacore.com>
- * a-stzsup.adb, nlists.adb, lib-util.adb, treepr.adb,
+ * a-stzsup.adb, nlists.adb, lib-util.adb, treepr.adb,
a-stwisu.adb, a-strsup.adb: Fix warnings for range
tests optimized out.
* comperr.adb: Fix problem with suppressing warning messages from gigi
- * erroutc.ads, erroutc.adb, errout.ads,
+ * erroutc.ads, erroutc.adb, errout.ads,
errout.adb (Write_Eol): Remove trailing spaces before writing the line
(Write_Eol_Keep_Blanks): New procedure to write a line, including
possible trailing spaces.
Fix problem with suppressing warning messages from back end
Improve handling of deleted warnings
- * gnat1drv.adb:
+ * gnat1drv.adb:
Fix problem with suppressing warning messages from back end
Handle setting of Static_Dispatch_Tables flag.
- * prepcomp.adb:
+ * prepcomp.adb:
Fix problem with suppressing warning messages from back end
* exp_intr.adb: Improve handling of deleted warnings
Ed Schonberg <schonberg@adacore.com>
Javier Miranda <miranda@adacore.com>
- * exp_util.ads, exp_util.adb:
+ * exp_util.ads, exp_util.adb:
This patch replaces a number of occurrences of explicit tests for N_Null
with calls to Known_Null. This improves tracking of null values, since
Known_Null also catches null constants, and variables currently known to
including gprmake, so that the same sources in the GNAT repository
can be used by gprbuild.
- * prj-com.ads:
+ * prj-com.ads:
Major update of the Project Manager and of the project aware tools,
including gprmake, so that the same sources in the GNAT repository
can be used by gprbuild.
including gprmake, so that the same sources in the GNAT repository
can be used by gprbuild.
- * prj-env.ads, prj-env.adb:
+ * prj-env.ads, prj-env.adb:
Major update of the Project Manager and of the project aware tools,
including gprmake, so that the same sources in the GNAT repository
can be used by gprbuild.
including gprmake, so that the same sources in the GNAT repository
can be used by gprbuild.
- * prj-nmsc.ads, prj-nmsc.adb:
+ * prj-nmsc.ads, prj-nmsc.adb:
Update Project Manager to new attribute names for ghprbuild
Allow all valid declarations in configuration project files
(Search_Directories): Detect subunits that are specified with an
(Locate_Directory): Make sure that on Windows '/' is converted to '\',
otherwise creating missing directories will fail.
- * prj-attr-pm.adb, prj-tree.ads, prj-proc.ads, prj-proc.adb,
+ * prj-attr-pm.adb, prj-tree.ads, prj-proc.ads, prj-proc.adb,
prj-part.ads, prj-part.adb:
Major update of the Project Manager and of the project aware tools,
including gprmake, so that the same sources in the GNAT repository
defaulted to False. When True, always check against indexes in lower
case.
- * snames.ads, snames.h, snames.adb:
+ * snames.ads, snames.h, snames.adb:
Update Project Manager to new attribute names for gprbuild
Allow all valid declarations in configuration project files
New switch -gnatI to disable representation clauses
Implement new pragma Implicit_Packing
- * usage.adb:
+ * usage.adb:
Warning for non-local exception propagation now off by default
Add warning for unchecked conversion of pointers wi different
conventions.
Add documentation for new -gnatyS style check
Update documentation about SAL and auto-init on Windows.
- * gnat_rm.texi:
+ * gnat_rm.texi:
Add documentation for pragma Check_Name and 'Enabled attribute
Document that Eliminate on dispatching operation is ignored
Document IDE attributes VCS_Repository_Root and VCS_Patch_Root.
* misc.c (gnat_init_gcc_eh): Use __gnat_eh_personality_sj for the name
of the personality function with SJLJ exceptions.
- * raise-gcc.c (PERSONALITY_FUNCTION): Use __gnat_eh_personality_sj for
+ * raise-gcc.c (PERSONALITY_FUNCTION): Use __gnat_eh_personality_sj for
the name of the personality function with SJLJ exceptions.
2007-08-14 Robert Dewar <dewar@adacore.com>
2007-08-14 Ed Schonberg <schonberg@adacore.com>
Gary Dismukes <dismukes@adacore.com>
- * exp_aggr.ads,
+ * exp_aggr.ads,
exp_aggr.adb (Convert_Aggr_In_Allocator): Use Insert_Actions to place
expanded aggregate code before allocator, and ahead of declaration for
temporary, to prevent access before elaboration when the allocator is
2007-08-14 Jerome Guitton <guitton@adacore.com>
- * s-taprop-lynxos.adb, s-taprop-tru64.adb, s-taprop-irix.adb,
- s-taprop-hpux-dce.adb, s-taprop-dummy.adb, s-taprop-solaris.adb,
+ * s-taprop-lynxos.adb, s-taprop-tru64.adb, s-taprop-irix.adb,
+ s-taprop-hpux-dce.adb, s-taprop-dummy.adb, s-taprop-solaris.adb,
s-taprop-vms.adb, s-taprop-posix.adb (Continue_Task, Stop_All_Tasks):
New functions; dummy implementations.
2007-08-14 Vincent Celier <celier@adacore.com>
- * clean.adb, fmap.adb, sinput-p.adb, sinput-p.ads, gnatcmd.adb,
+ * clean.adb, fmap.adb, sinput-p.adb, sinput-p.ads, gnatcmd.adb,
gnatname.adb, makeutl.ads, makeutl.adb, makegpr.adb, mlib-tgt-vms.adb
- mlib-tgt-darwin.adb, mlib-tgt-lynxos.adb, mlib-prj.adb, mlib-tgt.adb,
- mlib-tgt.ads, mlib-tgt-irix.adb mlib-tgt-hpux.adb, mlib-tgt-linux.adb,
- mlib-tgt-solaris.adb, mlib-tgt-vms-alpha.adb, mlib-tgt-vms-ia64.adb,
+ mlib-tgt-darwin.adb, mlib-tgt-lynxos.adb, mlib-prj.adb, mlib-tgt.adb,
+ mlib-tgt.ads, mlib-tgt-irix.adb mlib-tgt-hpux.adb, mlib-tgt-linux.adb,
+ mlib-tgt-solaris.adb, mlib-tgt-vms-alpha.adb, mlib-tgt-vms-ia64.adb,
mlib-tgt-mingw.adb, mlib-tgt-vxworks.adb, mlib-tgt-aix.adb,
mlib-tgt-tru64.adb, mlib.ads, mlib.adb (Create_Sym_Links): New
procedure.
* system-solaris-x86.ads (ZCX_By_Default): Switch to True.
(GCC_ZCX_Support): Switch to True.
-
+
* s-intman-solaris.adb (Notify_Exception): Call
Adjust_Context_For_Raise before raising, as expected for signal
handlers in general.
-
+
* s-intman-posix.adb (Notify_Exception): Remove declaration of
Adjust_Context_For_Raise, moved to the spec of this unit to be visible
to other implementation bodies.
-
+
* s-intman.ads (Adjust_Context_For_Raise): Declare and import here, to
be visible by multiple implementation bodies.
-
+
* init.c [VMS section] (__gnat_handle_vms_condition): Adjust context
only for conditions coming from hardware.
[alpha-tru64 section] (__gnat_adjust_context_for_raise): Implement,
2007-08-14 Javier Miranda <miranda@adacore.com>
- * a-tags.ads,
+ * a-tags.ads,
a-tags.adb (Displace): Associate a message with the raised CE
exception.
(To_Addr_Ptr, To_Address, To_Dispatch_Table_Ptr,
won't be an associated Afile).
(Elab_All_Links): Fail if a referenced unit cannot be found
- * bindgen.adb:
+ * bindgen.adb:
Fix comments in bindgen regarding consistency checks done in Bcheck:
the checks are made across units within a partition, not across several
partitions.
2007-08-14 Bob Duff <duff@adacore.com>
- * a-cihama.ads, a-cidlli.ads, a-chtgop.ads, a-chtgop.adb, a-cdlili.ads,
- a-cihase.adb, a-cihase.ads, a-cohase.adb, a-cohase.ads, a-ciorma.ads,
- a-coorma.ads, a-ciormu.ads, a-coormu.ads, a-ciorse.ads, a-cohama.ads,
+ * a-cihama.ads, a-cidlli.ads, a-chtgop.ads, a-chtgop.adb, a-cdlili.ads,
+ a-cihase.adb, a-cihase.ads, a-cohase.adb, a-cohase.ads, a-ciorma.ads,
+ a-coorma.ads, a-ciormu.ads, a-coormu.ads, a-ciorse.ads, a-cohama.ads,
a-cohata.ads, a-convec.adb, a-coinve.ads, a-coinve.adb, a-convec.ads,
a-coorse.ads (Next): Applied pragma Inline.
Make all Containers packages Remote_Types (unless they are already
2007-07-27 Aurelien Jarno <aurelien@aurel32.net>
- * s-osinte-kfreebsd-gnu.ads ((sigset_t_ptr): Removed, replaced by
+ * s-osinte-kfreebsd-gnu.ads ((sigset_t_ptr): Removed, replaced by
anonymous access type.
(pthread_sigmask): Now take an access sigset_t.
2007-07-05 Joel Sherrill <joel.sherrill@oarcorp.com>
- * s-osinte-rtems.ads: Correct prototype of pthread_sigmask.
-
+ * s-osinte-rtems.ads: Correct prototype of pthread_sigmask.
+
2007-06-21 Eric Botcazou <ebotcazou@adacore.com>
PR tree-optimization/25737
* misc.c (LANG_HOOKS_SIGNED_TYPE): Remove.
2007-06-11 Bob Duff <duff@adacore.com>
- Thomas Quinot <quinot@adacore.com>
+ Thomas Quinot <quinot@adacore.com>
* g-stsifd-sockets.adb (Create): Work around strange behavior of
'bind' on windows that causes 'connect' to fail intermittently, by
2007-06-06 Thomas Quinot <quinot@adacore.com>
Bob Duff <duff@adacore.com>
- * g-soccon-freebsd.ads, g-soccon-vxworks.ads:,
- g-soccon-aix.ads, g-soccon-irix.ads, g-soccon-hpux.ads,
+ * g-soccon-freebsd.ads, g-soccon-vxworks.ads:,
+ g-soccon-aix.ads, g-soccon-irix.ads, g-soccon-hpux.ads,
g-soccon-solaris.ads, g-soccon-vms.ads, g-soccon-tru64.ads: Add new
constant Thread_Blocking_IO, always True by default, set False
on a per-runtime basis.
2007-06-06 Bob Duff <duff@adacore.com>
- * g-expect-vms.adb:
+ * g-expect-vms.adb:
(Send_Signal, Close): Raise Invalid_Process if the process id is invalid.
* g-expect.ads, g-expect.adb (Send): Avoid useless copy of the string.
(Send_Signal, Close): Raise Invalid_Process if the process id is
2007-06-06 Arnaud Charlet <charlet@adacore.com>
- * s-taprop-vms.adb, s-taprop-hpux-dce.adb, s-taprop-vxworks.adb,
- s-osprim-posix.adb, s-taprop-posix.adb, s-osprim-vxworks.adb,
- s-taprop-solaris.adb, s-osprim-solaris.adb, s-taprop-dummy.adb,
- s-osprim-unix.adb, s-osinte-freebsd.adb, s-osinte-freebsd.ads,
- s-osinte-lynxos.adb, s-osinte-lynxos.ads, s-taprop-tru64.adb,
- s-taprop-lynxos.adb, s-taprop-irix.adb, s-osinte-tru64.adb,
- s-osinte-tru64.ads, s-taprop-linux.adb, s-parame.ads,
- s-parame-vms-alpha.ads, s-parame-vms-ia64.ads, s-parame-hpux.ads,
- s-parame-vms-restrict.ads, s-parame-ae653.ads, s-parame-vxworks.ads,
+ * s-taprop-vms.adb, s-taprop-hpux-dce.adb, s-taprop-vxworks.adb,
+ s-osprim-posix.adb, s-taprop-posix.adb, s-osprim-vxworks.adb,
+ s-taprop-solaris.adb, s-osprim-solaris.adb, s-taprop-dummy.adb,
+ s-osprim-unix.adb, s-osinte-freebsd.adb, s-osinte-freebsd.ads,
+ s-osinte-lynxos.adb, s-osinte-lynxos.ads, s-taprop-tru64.adb,
+ s-taprop-lynxos.adb, s-taprop-irix.adb, s-osinte-tru64.adb,
+ s-osinte-tru64.ads, s-taprop-linux.adb, s-parame.ads,
+ s-parame-vms-alpha.ads, s-parame-vms-ia64.ads, s-parame-hpux.ads,
+ s-parame-vms-restrict.ads, s-parame-ae653.ads, s-parame-vxworks.ads,
s-taprop-mingw.adb, s-osinte-lynxos-3.ads, s-osinte-lynxos-3.adb,
- s-osprim-mingw.adb (Timed_Delay, Timed_Sleep): Register the base
+ s-osprim-mingw.adb (Timed_Delay, Timed_Sleep): Register the base
time when entering this routine to detect a backward clock setting
(manual setting or DST adjustment), to avoid waiting for a longer delay
than needed.
2007-06-06 Arnaud Charlet <charlet@adacore.com>
- * system-vxworks-sparcv9.ads, system-solaris-x86.ads,
- system-irix-o32.ads, system-freebsd-x86.ads, system-lynxos-ppc.ads,
- system-lynxos-x86.ads, system-vxworks-m68k.ads, system-linux-x86.ads,
- system-vxworks-mips.ads, system-vxworks-alpha.ads,
- system-vxworks-x86.ads, system-linux-ppc.ads, system-mingw.ads,
- system-vms-zcx.ads, system-darwin-ppc.ads, system-vxworks-ppc.ads,
- system-interix.ads, system-linux-hppa.ads, system-tru64.ads,
- system-hpux.ads, system-irix-n32.ads, system-solaris-sparc.ads,
+ * system-vxworks-sparcv9.ads, system-solaris-x86.ads,
+ system-irix-o32.ads, system-freebsd-x86.ads, system-lynxos-ppc.ads,
+ system-lynxos-x86.ads, system-vxworks-m68k.ads, system-linux-x86.ads,
+ system-vxworks-mips.ads, system-vxworks-alpha.ads,
+ system-vxworks-x86.ads, system-linux-ppc.ads, system-mingw.ads,
+ system-vms-zcx.ads, system-darwin-ppc.ads, system-vxworks-ppc.ads,
+ system-interix.ads, system-linux-hppa.ads, system-tru64.ads,
+ system-hpux.ads, system-irix-n32.ads, system-solaris-sparc.ads,
system-solaris-sparcv9.ads, system-vms.ads, system.ads,
system-vms_64.ads, system-hpux-ia64.ads, system-linux-x86_64.ads,
system-linux-ia64.ads: Document mapping between Ada and OS priorities.
* mlib-tgt-specific.adb, mlib-tgt-specific.ads,
mlib-tgt-vms.adb, mlib-tgt-vms.ads: New files.
- * mlib-tgt.adb, mlib-tgt.ads, mlib-tgt-darwin.adb,
- mlib-tgt-vxworks.adb, mlib-tgt-mingw.adb, mlib-tgt-lynxos.adb,
- mlib-tgt-linux.adb, mlib-tgt-solaris.adb, mlib-tgt-vms-alpha.adb,
- mlib-tgt-vms-ia64.adb, mlib-tgt-aix.adb, mlib-tgt-irix.adb,
+ * mlib-tgt.adb, mlib-tgt.ads, mlib-tgt-darwin.adb,
+ mlib-tgt-vxworks.adb, mlib-tgt-mingw.adb, mlib-tgt-lynxos.adb,
+ mlib-tgt-linux.adb, mlib-tgt-solaris.adb, mlib-tgt-vms-alpha.adb,
+ mlib-tgt-vms-ia64.adb, mlib-tgt-aix.adb, mlib-tgt-irix.adb,
mlib-tgt-hpux.adb, mlib-tgt-tru64.adb: Make a common body for package
MLib.Tgt, containing the default versions of the exported subprograms.
For each platform, create a specific version of the body of new child
* s-osinte-linux.ads (sigset_t): Bump alignment to match more closely
its C counterpart.
Remove references to Unchecked_Conversion, and use Ada.xxx instead.
- Replace Unchecked_Conversion by Ada.Unchecked_Conversion.
+ Replace Unchecked_Conversion by Ada.Unchecked_Conversion.
2007-06-06 Vasiliy Fofanov <fofanov@adacore.com>
(build_unc_object_type): Likewise.
(declare_debug_type): New function.
- * ada-tree.def: USE_STMT: removed (not emitted anymore).
+ * ada-tree.def: USE_STMT: removed (not emitted anymore).
- * misc.c (gnat_expand_expr): Call to gnat_expand_stmt removed because
- no statement is expandable anymore.
- (gnat_init_gcc_eh): Do not initialize the DWARF-2 CFI machinery twice.
- (gnat_handle_option): Only allow flag_eliminate_debug_types to be set
- when the user requested it explicitely.
- (gnat_post_options): By default, set flag_eliminate_unused_debug_types
- to 0 for Ada.
- (get_alias_set): Return alias set 0 for a type if
- TYPE_UNIVERSAL_ALIASING_P is set on its main variant.
+ * misc.c (gnat_expand_expr): Call to gnat_expand_stmt removed because
+ no statement is expandable anymore.
+ (gnat_init_gcc_eh): Do not initialize the DWARF-2 CFI machinery twice.
+ (gnat_handle_option): Only allow flag_eliminate_debug_types to be set
+ when the user requested it explicitely.
+ (gnat_post_options): By default, set flag_eliminate_unused_debug_types
+ to 0 for Ada.
+ (get_alias_set): Return alias set 0 for a type if
+ TYPE_UNIVERSAL_ALIASING_P is set on its main variant.
- * ada-tree.h: (TYPE_UNIVERSAL_ALIASING_P): New macro.
- (DECL_FUNCTION_STUB): New accessor macro.
- (SET_DECL_FUNCTION_STUB): New setter macro.
+ * ada-tree.h: (TYPE_UNIVERSAL_ALIASING_P): New macro.
+ (DECL_FUNCTION_STUB): New accessor macro.
+ (SET_DECL_FUNCTION_STUB): New setter macro.
- * lang.opt (feliminate-unused-debug-types): Intercept this flag for Ada.
+ * lang.opt (feliminate-unused-debug-types): Intercept this flag for Ada.
* fe.h (Get_Local_Raise_Call_Entity, Get_RT_Exception_Entity): New
declarations.
2007-06-06 Vincent Celier <celier@adacore.com>
Robert Dewar <dewar@adacore.com>
- * bcheck.adb, binde.adb, binderr.adb, binderr.ads, butil.adb,
- butil.ads, erroutc.adb, erroutc.ads, errutil.adb, errutil.ads,
- err_vars.ads, exp_tss.adb, exp_tss.ads, fmap.adb, fmap.ads,
- fname.adb, fname.ads, fname-sf.adb, fname-uf.adb, fname-uf.ads,
- lib-sort.adb, lib-util.adb, lib-util.ads, lib-xref.adb, makeutl.ads,
- makeutl.adb, nmake.adt, osint.adb, osint.ads, osint-b.adb,
- par-load.adb, prj-attr.adb, prj-dect.adb, prj-err.adb, prj-makr.adb,
- prj-part.adb, prj-pp.adb, prj-proc.adb, prj-tree.adb, prj-tree.ads,
- prj-util.adb, prj-util.ads, scans.adb, scans.ads, sem_ch2.adb,
- sinput-c.adb, styleg-c.adb, tempdir.adb, tempdir.ads, uname.adb,
+ * bcheck.adb, binde.adb, binderr.adb, binderr.ads, butil.adb,
+ butil.ads, erroutc.adb, erroutc.ads, errutil.adb, errutil.ads,
+ err_vars.ads, exp_tss.adb, exp_tss.ads, fmap.adb, fmap.ads,
+ fname.adb, fname.ads, fname-sf.adb, fname-uf.adb, fname-uf.ads,
+ lib-sort.adb, lib-util.adb, lib-util.ads, lib-xref.adb, makeutl.ads,
+ makeutl.adb, nmake.adt, osint.adb, osint.ads, osint-b.adb,
+ par-load.adb, prj-attr.adb, prj-dect.adb, prj-err.adb, prj-makr.adb,
+ prj-part.adb, prj-pp.adb, prj-proc.adb, prj-tree.adb, prj-tree.ads,
+ prj-util.adb, prj-util.ads, scans.adb, scans.ads, sem_ch2.adb,
+ sinput-c.adb, styleg-c.adb, tempdir.adb, tempdir.ads, uname.adb,
uname.ads, atree.h, atree.ads, atree.adb, ali-util.ads, ali-util.adb,
- ali.ads, ali.adb:
+ ali.ads, ali.adb:
Move Name_Id, File_Name_Type and Unit_Name_Type from package Types to
package Namet. Make File_Name_Type and Unit_Name_Type types derived from
Mame_Id. Add new type Path_Name_Type, also derived from Name_Id.
some use of System.Restrictions in the partition.
(Check_System_Restrictions_Used): New procedure
- * s-stalib.adb: Remove with of System.Restrictions. No longer needed
+ * s-stalib.adb: Remove with of System.Restrictions. No longer needed
since we only with this unit in the binder file if it is used elsewhere
in the partition.
Bob Duff <duff@adacore.com>
Hristian Kirtchev <kirtchev@adacore.com>
- * exp_aggr.ads, exp_aggr.adb:
+ * exp_aggr.ads, exp_aggr.adb:
(Build_Record_Aggr_Code): Add missing initialization of secondary tags
in extension aggregates.
(Flatten): Other conditions being met, an aggregate is static if the
objects.
Remove all handling of with_type clauses.
- * par-ch10.adb: Remove all handling of with_type clauses.
+ * par-ch10.adb: Remove all handling of with_type clauses.
* lib-load.ads, lib-load.adb (Load_Main_Source): Do not get the
checksum if the main source could not be parsed.
2007-06-06 Robert Dewar <dewar@adacore.com>
Ed Schonberg <schonberg@adacore.com>
- * g-comlin.ads, g-comlin.adb:
+ * g-comlin.ads, g-comlin.adb:
Add new warning for renaming of function return objects
* opt.adb (Tree_Write, Tree_Read): Use proper expressions for size
2007-06-06 Vincent Celier <celier@adacore.com>
- * gnatls.adb:
+ * gnatls.adb:
Add 3 spaces before the default project directory when displaying
the project search path.
Add new command line switch '-l' to display license information.
(Copy_ALI_Files): Make sure that an already existing ALI file in the
ALI copy dir is writable, before doing the copy.
- * mlib-utl.ads, mlib-utl.adb:
+ * mlib-utl.ads, mlib-utl.adb:
(Gcc): If length of command line is too long, put the list of object
files in a response file, if this is supported by the platform.
(Ar): If invocation of the archive builder is allowed to be done in
2007-06-06 Javier Miranda <miranda@adacore.com>
- * a-cidlli.ads, a-cdlili.ads, a-cohama.ads, a-coinve.ads,
+ * a-cidlli.ads, a-cdlili.ads, a-cohama.ads, a-coinve.ads,
a-convec.ads (Empty_Vector, Empty_Map, Empty_List): Move this object
declaration after freezing point of all its associated tagged types;
otherwise such types are frozen too early.
s-taprop-hpux-dce.adb, s-traceb-hpux.adb,
s-taprop-linux.adb, s-taprop-dummy.adb, s-osprim-unix.adb,
s-osprim-solaris.adb, s-taprop-solaris.adb, s-taprop-vms.adb,
- s-osprim-mingw.adb, s-taprop-mingw.adb, s-osprim-posix.adb,
- s-taprop-posix.adb, a-exexpr-gcc.adb, a-ststio.adb, a-ststio.ads,
- a-textio.adb, a-textio.ads, a-tideau.adb, a-tideau.ads, a-witeio.adb,
- a-witeio.ads, a-wtdeau.adb, a-wtdeau.ads, g-calend.adb, g-calend.ads,
- g-dirope.adb, g-expect.ads, gnatchop.adb, g-spipat.adb, g-spipat.ads,
- s-direio.adb, s-direio.ads, s-fatgen.adb, s-fatgen.ads, s-parint.adb,
- s-sequio.adb, s-sequio.ads, s-taprop.ads, s-valdec.adb, s-valdec.ads,
- s-valint.adb, s-valint.ads, s-vallld.adb, s-vallld.ads, s-vallli.adb,
- s-vallli.ads, s-valllu.adb, s-valllu.ads, s-valrea.adb, s-valrea.ads,
- s-valuns.adb, s-valuns.ads, s-valuti.adb, s-valuti.ads, xref_lib.adb,
- s-stchop.adb, i-vxwork-x86.ads, a-crbtgo.ads, a-crbtgo.adb,
- a-coorse.ads, a-coorse.adb, a-cohama.ads, a-cohama.adb, a-ciorse.ads,
- a-ciorse.adb, a-cihama.ads, a-cihama.adb, a-chtgop.ads, a-chtgop.ads,
- a-coormu.adb, a-ciormu.adb, a-cihase.adb, a-cihase.ads, a-cohase.adb,
+ s-osprim-mingw.adb, s-taprop-mingw.adb, s-osprim-posix.adb,
+ s-taprop-posix.adb, a-exexpr-gcc.adb, a-ststio.adb, a-ststio.ads,
+ a-textio.adb, a-textio.ads, a-tideau.adb, a-tideau.ads, a-witeio.adb,
+ a-witeio.ads, a-wtdeau.adb, a-wtdeau.ads, g-calend.adb, g-calend.ads,
+ g-dirope.adb, g-expect.ads, gnatchop.adb, g-spipat.adb, g-spipat.ads,
+ s-direio.adb, s-direio.ads, s-fatgen.adb, s-fatgen.ads, s-parint.adb,
+ s-sequio.adb, s-sequio.ads, s-taprop.ads, s-valdec.adb, s-valdec.ads,
+ s-valint.adb, s-valint.ads, s-vallld.adb, s-vallld.ads, s-vallli.adb,
+ s-vallli.ads, s-valllu.adb, s-valllu.ads, s-valrea.adb, s-valrea.ads,
+ s-valuns.adb, s-valuns.ads, s-valuti.adb, s-valuti.ads, xref_lib.adb,
+ s-stchop.adb, i-vxwork-x86.ads, a-crbtgo.ads, a-crbtgo.adb,
+ a-coorse.ads, a-coorse.adb, a-cohama.ads, a-cohama.adb, a-ciorse.ads,
+ a-ciorse.adb, a-cihama.ads, a-cihama.adb, a-chtgop.ads, a-chtgop.ads,
+ a-coormu.adb, a-ciormu.adb, a-cihase.adb, a-cihase.ads, a-cohase.adb,
a-cohase.ads, a-swuwha.ads, a-ciormu.ads, a-coormu.ads, a-rbtgso.ads,
- a-stunha.ads, a-ciorma.adb, a-coorma.adb, a-ztdeau.adb, a-ztdeau.ads,
+ a-stunha.ads, a-ciorma.adb, a-coorma.adb, a-ztdeau.adb, a-ztdeau.ads,
a-ztexio.adb, a-ztexio.ads: Addition of null-exclusion to anonymous
access types.
Update documentation.
system-mingw.ads, system-vms-zcx.ads, system-vxworks-ppc.ads,
system-vxworks-alpha.ads, system-vms_64.ads, system-darwin-ppc.ads,
system-vxworks-x86.ads, system-linux-ppc.ads, system-linux-hppa.ads,
- system-hpux-ia64.ads, targparm.adb,
+ system-hpux-ia64.ads, targparm.adb,
targparm.ads (Functions_Return_By_DSP_On_Target): Removed
* system.ads: Move Functions_Return_By_DSP to obsolete section,
* a-calari.ads, a-calari.adb ("+", "-", Difference): Add calls to
target independent routines in Ada.Calendar.
- * a-calfor.ads, a-calfor.adb:
+ * a-calfor.ads, a-calfor.adb:
Code cleanup and addition of validity checks in various routines.
(Day_Of_Week, Split, Time_Of): Add call to target independent routine in
Ada.Calendar.
2007-04-06 Olivier Hainque <hainque@adacore.com>
- * adaint.c:
+ * adaint.c:
(convert_addresses): Adjust prototype and dummy definition to expect an
extra file_name argument.
2007-04-06 Ed Schonberg <schonberg@adacore.com>
Javier Miranda <miranda@adacore.com>
- * lib-xref.ads, lib-xref.adb:
+ * lib-xref.ads, lib-xref.adb:
Modify the loop that collects type references, to include interface
types that the type implements. List each of these interfaces when
building the entry for the type.
(Preserve_Full_Attributes): The full entity list is not an attribute
that must be preserved from full to partial view.
- * sem_dist.adb (Add_RAS_Dereference_TSS):
- Change primitive name to _Call so it cannot clash with any legal
- identifier, and be special-cased in Check_Completion.
- Mark the full view of the designated type for the RACW associated with
- a RAS as Comes_From_Source to get proper view switching when installing
- private declarations.
- Provite a placeholder nested package body along with the nested spec
- to have a place for Append_RACW_Bodies to generate the calling stubs
- and stream attributes.
+ * sem_dist.adb (Add_RAS_Dereference_TSS):
+ Change primitive name to _Call so it cannot clash with any legal
+ identifier, and be special-cased in Check_Completion.
+ Mark the full view of the designated type for the RACW associated with
+ a RAS as Comes_From_Source to get proper view switching when installing
+ private declarations.
+ Provite a placeholder nested package body along with the nested spec
+ to have a place for Append_RACW_Bodies to generate the calling stubs
+ and stream attributes.
2007-04-06 Ed Schonberg <schonberg@adacore.com>
Robert Dewar <dewar@adacore.com>
2007-04-06 Eric Botcazou <botcazou@adacore.com>
- * s-stchop-vxworks.adb:
+ * s-stchop-vxworks.adb:
(Stack_Check): Raise Storage_Error if the argument has wrapped around.
2007-04-06 Robert Dewar <dewar@adacore.com>
2007-02-07 Andreas Krebbel <krebbel1@de.ibm.com>
* raise-gcc.c (get_region_description_for, get_call_site_action_for,
- get_action_description_for): Replace _Unwind_Word with _uleb128_t
+ get_action_description_for): Replace _Unwind_Word with _uleb128_t
and _Unwind_SWord with _sleb128_t.
2007-02-06 Paolo Bonzini <bonzini@gnu.org>
part of Ada.Calendar: all subprogram raise Unimplemented.
(Split_W_Offset): Temp function body, raising Unimplemented
- * a-calend.ads, a-calend-vms.ads:
+ * a-calend.ads, a-calend-vms.ads:
Add imported variable Invalid_TZ_Offset used to designate targets unable
to support time zones.
(Unimplemented): Temporary function raised by the body of new
2006-10-31 Arnaud Charlet <charlet@adacore.com>
Jose Ruiz <ruiz@adacore.com>
- * s-osinte-posix.adb, s-osinte-linux.ads, s-osinte-freebsd.adb,
- s-osinte-freebsd.ads, s-osinte-solaris-posix.ads, s-osinte-hpux.ads,
+ * s-osinte-posix.adb, s-osinte-linux.ads, s-osinte-freebsd.adb,
+ s-osinte-freebsd.ads, s-osinte-solaris-posix.ads, s-osinte-hpux.ads,
s-osinte-darwin.adb, s-osinte-darwin.ads, s-osinte-lynxos-3.ads,
s-osinte-lynxos-3.adb (To_Target_Priority): New function maps from
System.Any_Priority to a POSIX priority on the target.
- * system-linux-ia64.ads:
+ * system-linux-ia64.ads:
Extend range of Priority types on Linux to use the whole range made
available by the system.
Priority_Specific_Dispatching pragmas when determining if Round Robin
must be used for scheduling the task.
- * system-linux-x86_64.ads, system-linux-x86.ads,
+ * system-linux-x86_64.ads, system-linux-x86.ads,
system-linux-ppc.ads: Extend range of Priority types on Linux to use
the whole range made available by the system.
- * s-taprop-vms.adb, s-taprop-mingw.adb, s-taprop-irix.adb,
- s-taprop-tru64.adb, s-taprop-linux.adb, s-taprop-hpux-dce.adb,
+ * s-taprop-vms.adb, s-taprop-mingw.adb, s-taprop-irix.adb,
+ s-taprop-tru64.adb, s-taprop-linux.adb, s-taprop-hpux-dce.adb,
s-taprop-lynxos.adb (Finalize_TCB): invalidate the stack-check cache
when deallocating the TCB in order to avoid potential references to
deallocated data.
2006-10-31 Robert Dewar <dewar@adacore.com>
- * system-vms_64.ads, system-darwin-ppc.ads, system-vxworks-x86.ads,
- system-linux-hppa.ads, system-hpux-ia64.ads,
- system-lynxos-ppc.ads, system-lynxos-x86.ads, system-tru64.ads,
- system-vxworks-sparcv9.ads, system-solaris-x86.ads,
- system-irix-o32.ads, system-irix-n32.ads, system-hpux.ads,
- system-vxworks-m68k.ads, system-vxworks-mips.ads, system-interix.ads,
- system-solaris-sparc.ads, system-solaris-sparcv9.ads, system-vms.ads,
- system-mingw.ads, system-vms-zcx.ads, system-vxworks-ppc.ads,
+ * system-vms_64.ads, system-darwin-ppc.ads, system-vxworks-x86.ads,
+ system-linux-hppa.ads, system-hpux-ia64.ads,
+ system-lynxos-ppc.ads, system-lynxos-x86.ads, system-tru64.ads,
+ system-vxworks-sparcv9.ads, system-solaris-x86.ads,
+ system-irix-o32.ads, system-irix-n32.ads, system-hpux.ads,
+ system-vxworks-m68k.ads, system-vxworks-mips.ads, system-interix.ads,
+ system-solaris-sparc.ads, system-solaris-sparcv9.ads, system-vms.ads,
+ system-mingw.ads, system-vms-zcx.ads, system-vxworks-ppc.ads,
system-vxworks-alpha.ads, system.ads: Add pragma Warnings(Off,
Default_Bit_Order) to kill constant condition warnings for references
to this switch.
* mlib-fil.ads, mlib-fil.adb: (Append_To): New function
- * mlib-tgt-darwin.adb:
+ * mlib-tgt-darwin.adb:
Use Append_To, instead of Ext_To, when building the library file name
(Flat_Namespace): New global variable.
(No_Shared_Libgcc_Switch): Rename to No_Shared_Libgcc_Options.
2006-10-31 Jose Ruiz <ruiz@adacore.com>
- * s-osinte-vxworks.ads, s-osinte-vxworks.adb:
+ * s-osinte-vxworks.ads, s-osinte-vxworks.adb:
(getpid): New body for this function that uses the underlying taskIdSelf
function for VxWorks 5 and VxWorks 6 in kernel mode.
(unsigned_int): New type, modular to allow logical bit operations.
* lib.adb, lib.ads: (In_Predefined_Unit): New functions
- * a-finali.ads, a-ngcoty.ads, a-strbou.ads, a-stream.ads, a-strmap.ads,
- a-strunb.ads, a-stwibo.ads, a-stwima.ads, a-stwiun.ads, a-taside.ads,
- a-coorse.ads, a-convec.ads, a-coinve.ads, a-cohama.ads, a-ciorse.ads,
- a-cihama.ads, a-cihase.ads, a-cohase.ads, a-ciorma.ads, a-coorma.ads,
- a-ciormu.ads, a-coormu.ads, a-stzbou.ads, a-stzmap.ads, a-stzunb.ads,
+ * a-finali.ads, a-ngcoty.ads, a-strbou.ads, a-stream.ads, a-strmap.ads,
+ a-strunb.ads, a-stwibo.ads, a-stwima.ads, a-stwiun.ads, a-taside.ads,
+ a-coorse.ads, a-convec.ads, a-coinve.ads, a-cohama.ads, a-ciorse.ads,
+ a-cihama.ads, a-cihase.ads, a-cohase.ads, a-ciorma.ads, a-coorma.ads,
+ a-ciormu.ads, a-coormu.ads, a-stzbou.ads, a-stzmap.ads, a-stzunb.ads,
a-except-2005.ads: Add pragma Preelaborable_Warning
2006-10-31 Robert Dewar <dewar@adacore.com>
2006-10-31 Javier Miranda <miranda@adacore.com>
- * a-tags.ads, a-tags.adb:
+ * a-tags.ads, a-tags.adb:
(Predefined_DT): New function that improves readability of the code.
(Get_Predefined_Prim_Op_Address, Set_Predefined_Prim_Op_Address,
Inherit_DT): Use the new function Predefined_DT to improve code
Implement insertion character ~ (insert string)
(First_Node): Minor adjustments to get better placement.
- * frontend.adb:
+ * frontend.adb:
Implement new -gnatl=xxx switch to output listing to file
- * gnat1drv.adb:
+ * gnat1drv.adb:
Implement new -gnatl=xxx switch to output listing to file
* opt.ads: (Warn_On_Questionable_Missing_Paren): New switch
invoked with a relative path.
(Executable_Name): New function taking string parameters.
- * osint-c.ads, osint-c.adb:
+ * osint-c.ads, osint-c.adb:
Implement new -gnatl=xxx switch to output listing to file
* sinput-d.adb: Change name Creat_Debug_File to Create_Debug_File
- * switch-c.adb:
+ * switch-c.adb:
Implement new -gnatl=xxx switch to output listing to file
Recognize new -gnatL switch
(no longer keep in old warning about old style usage)
Javier Miranda <miranda@adacore.com>
Robert Dewar <dewar@adacore.com>
- * exp_attr.adb:
+ * exp_attr.adb:
(Expand_Access_To_Protected_Op): If the context indicates that an access
to a local operation may be transfered outside of the object, create an
access to the wrapper operation that must be used in an external call.
* rtsfind.adb: Remove s-polint from comment as it exists no more.
- * rtsfind.ads:
+ * rtsfind.ads:
Move entity RE_Get_Active_Partition_Id to package System.DSA_Services.
Move all the entities in obsolete package System.PolyORB_Interface to
System.Partition_Interface.
2006-10-31 Robert Dewar <dewar@adacore.com>
- * s-osinte-tru64.adb:
+ * s-osinte-tru64.adb:
Mark Asm statements Volatile to prevent warnings (seems a
reasonable change anyway)
Fixes new warnings
(No_Restrictions): New constant used to clean up code and follow
preelaborate constraints.
- * s-stalib.adb:
+ * s-stalib.adb:
Add System.Restrictions dependence, referenced directly from the
binder generated file.
2006-10-31 Pat Rogers <rogers@adacore.com>
- * a-rttiev.ads, a-rttiev.adb:
+ * a-rttiev.ads, a-rttiev.adb:
This is a significant redesign primarily for the sake of automatic
timer task termination but also to fix a design flaw.
Therefore we are now using an RTS lock, instead of a protected
Clarify that inlining is not always possible
Update documentation on pragma Unchecked_Union.
- * gnat_rm.texi:
+ * gnat_rm.texi:
Add documentation for new extended version of pragma Obsolescent
Add documentation for implementation defined attribute 'Stub_Type.
Add note on use of Volatile in asm statements
Clarify difference between No_Dispatching_Calls & No_Dispatch.
Add documentation for pragma Restrictions (No_Elaboration_Code)
- * gnat-style.texi:
+ * gnat-style.texi:
Add comments on layout of subprogram local variables in the
presence of nested subprograms.
* usage.adb: Update documentation.
- * validsw.ads, validsw.adb:
+ * validsw.ads, validsw.adb:
Add definition of Validity_Check_Components and implement -gnatVe/E
* vms_data.ads: Add missing VMS qualifiers.
* s-soflin.adb: Minor reformatting
- * s-stoele.ads:
+ * s-stoele.ads:
Add comment about odd qualification in Storage_Offset declaration
- * s-strxdr.adb:
+ * s-strxdr.adb:
Remove unnecessary 'in' keywords for formal parameters.
* treeprs.adt: Minor reformatting
* lang.opt: Woverlength-strings: New option.
- * nmake.adt:
+ * nmake.adt:
Update copyright, since nmake.ads and nmake.adb have changed.
* osint-b.ads, osint-b.adb (Time_From_Last_Bind): removed function .
2006-02-17 Jose Ruiz <ruiz@adacore.com>
- * s-taprop-irix.adb, s-taprop-hpux-dce.adb, s-taprop-linux.adb,
- s-taprop-solaris.adb, s-taprop-vms.adb, s-taprop-mingw.adb,
- s-taprop-posix.adb, s-taprop-vxworks.adb, s-taprop-lynxos.adb,
+ * s-taprop-irix.adb, s-taprop-hpux-dce.adb, s-taprop-linux.adb,
+ s-taprop-solaris.adb, s-taprop-vms.adb, s-taprop-mingw.adb,
+ s-taprop-posix.adb, s-taprop-vxworks.adb, s-taprop-lynxos.adb,
s-taprop-tru64.adb (Set_False, Set_True, Suspend_Until_True): Add
Abort_Defer/Undefer pairs to avoid the possibility of a task being
aborted while owning a lock.
2006-02-17 Matthew Heaney <heaney@adacore.com>
- * a-convec.ads, a-convec.adb:
+ * a-convec.ads, a-convec.adb:
(operator "&"): handle potential overflow for large index types
(Insert): removed Contraint_Error when using large index types
(Insert_Space): removed Constraint_Error for large index types
* s-wchcnv.adb: Document handling of [ on output (we do not change
this to ["5B"] and the new comments say why not.
- * gnat_ugn.texi:
+ * gnat_ugn.texi:
Add note for -gnatVo that this now includes the cases of type
conversions and qualified expressions.
Add comments on handling of brackets encoding for Text_IO
2006-02-13 Arnaud Charlet <charlet@adacore.com>
- * s-osinte-darwin.adb, s-osinte-darwin.ads, s-osinte-vxworks.ads,
- s-osinte-solaris.ads, s-osinte-linux.ads, s-osinte-freebsd.ads,
- s-osinte-solaris-posix.ads, s-osinte-lynxos-3.ads, s-osinte-lynxos.ads,
- s-osinte-tru64.ads, s-osinte-aix.ads, s-osinte-irix.ads,
- s-osinte-hpux-dce.ads, s-osinte-linux-hppa.ads,
+ * s-osinte-darwin.adb, s-osinte-darwin.ads, s-osinte-vxworks.ads,
+ s-osinte-solaris.ads, s-osinte-linux.ads, s-osinte-freebsd.ads,
+ s-osinte-solaris-posix.ads, s-osinte-lynxos-3.ads, s-osinte-lynxos.ads,
+ s-osinte-tru64.ads, s-osinte-aix.ads, s-osinte-irix.ads,
+ s-osinte-hpux-dce.ads, s-osinte-linux-hppa.ads,
s-osinte-linux-alpha.ads, s-inmaop-posix.adb (sigset_t_ptr): Removed,
replaced by anonymous access type.
(pthread_sigmask): Now take an access sigset_t
2006-02-13 Pascal Obry <obry@adacore.com>
- * s-taprop-posix.adb, s-taprop-vxworks.adb, s-taprop-tru64.adb,
- s-taprop-lynxos.adb, s-taprop-irix.adb, s-taprop-hpux-dce.adb,
+ * s-taprop-posix.adb, s-taprop-vxworks.adb, s-taprop-tru64.adb,
+ s-taprop-lynxos.adb, s-taprop-irix.adb, s-taprop-hpux-dce.adb,
s-taprop-linux.adb, s-taprop-solaris.adb,
s-taprop-vms.adb (Create_Task): Remove task adjustment code. This
adjustement is already done when calling this routine.
Eric Botcazou <ebotcazou@adacore.com>
* ada-tree.h: (TYPE_UNCHECKED_UNION_P): Deleted.
-
+
* gigi.h (value_factor_p): Add prototype and description, now public.
* decl.c (gnat_to_gnu_field): Don't attempt BLKmode to integral type
2006-02-13 Matthew Heaney <heaney@adacore.com>
- * a-rbtgso.adb, a-crbtgo.adb, a-crbtgk.adb, a-coorse.adb,
- a-cohama.adb, a-ciorse.adb, a-cihama.adb, a-cihase.adb,
+ * a-rbtgso.adb, a-crbtgo.adb, a-crbtgk.adb, a-coorse.adb,
+ a-cohama.adb, a-ciorse.adb, a-cihama.adb, a-cihase.adb,
a-cohase.adb: All explicit raise statements now include an exception
message.
2006-02-13 Robert Dewar <dewar@adacore.com>
- * rtsfind.adb, exp_prag.adb, lib-writ.adb, par-labl.adb,
+ * rtsfind.adb, exp_prag.adb, lib-writ.adb, par-labl.adb,
sem_case.adb: Minor code reorganization (not Present should be No)
2006-02-13 Geert Bosch <bosch@adacore.com>
Define Tree_Version_String as a dynamic string.
(Default_Stack_Size): new variable, used to handle switch -d.
- * par-prag.adb:
+ * par-prag.adb:
For pragma Ada_2005, remove stuff about setting Ada_Version_Explicit
only for main unit.
Add pragma Ada_2005 (synonym for Ada_05)
Multi_Unit_Index_Character after OpenVMS_On_Target gets its definitive
value.
(Get_Target_Parameters): Set OpenVMS_On_Target if openvms.
-
+
* targparm.ads: Add special exception to license.
* g-os_lib.ads, g-os_lib.adb (Get_Target_Debuggable_Suffix): New
(Set_Output): new subprogram
(Put): now uses the value of Current_Out to know if the output has to be
send to stderr or stdout.
-
+
* s-stausa.ads: Complete implementation.
* switch-b.adb: Added handling of -u switch for dynamic stack analysis.
-
+
* impunit.adb (Non_Imp_File_Names_05): Add Ada.Task_Termination to the
list of Ada 05 files.
(GNAT Library Units): Add AltiVec files.
* namet.ads (Name_Buffer): Adjust size to reflect increase on max line
length.
- * scn.adb, scng.adb:
+ * scn.adb, scng.adb:
Always check line length against the absolute supported maximum,
Hostparm.Max_Line_Length.
* par-ch12.adb (P_Formal_Derived_Type_Definition): In Ada 2005, handle
use of "limited" in declaration.
- * sinfo.ads, sinfo.adb:
+ * sinfo.ads, sinfo.adb:
Formal derived types can carry an explicit "limited" indication.
* sem_ch3.adb: Add with and use of Targparm.
2005-12-09 Robert Dewar <dewar@adacore.com>
- * g-soccon.ads:
+ * g-soccon.ads:
Further comment fixes to make the status of the default file clear
* s-bitops.adb: Clarify comment for Bits_Array
PR ada/24855
* raise-gcc.c: Add missing stdarg.h include.
-
+
2005-11-16 Richard Guenther <rguenther@suse.de>
* Make-lang.in (ada/decl.o): Add $(EXPR_H) dependency.
g-soccon-solaris-64.ads, g-soccon-linux-64.ads,
g-soccon-linux-x86.ads: New files.
- * g-socthi-mingw.adb:
+ * g-socthi-mingw.adb:
(Socket_Error_Message): Remove redundant use of GNAT.Sockets.Constants
* g-socthi-vxworks.ads, g-socthi-vms.ads, g-socthi-mingw.ads
* s-mastop-tru64.adb (Pop_Frame): Remove redundant parentheses in if
statement.
- * s-taprop-solaris.adb:
+ * s-taprop-solaris.adb:
Change some <= to =, to avoid new warning
- * a-exexda.adb, prj-proc.adb:
+ * a-exexda.adb, prj-proc.adb:
Fix obvious typo (Num_Tracebacks compared <= 0 instead of < 0)
Fix obvious typo (Total_Errors_Detected <= 0 should be = 0)
2005-11-14 Matthew Gingell <gingell@adacore.com>
- * system-lynxos-ppc.ads, system-lynxos-x86.ads:
+ * system-lynxos-ppc.ads, system-lynxos-x86.ads:
Increase default priority on Lynx from 15 to 17, and meet the Ada
requirement that Default_Priority be ((Priority'First +
Priority'Last) / 2) by increasing the range of Interrupt_Priority.
2005-11-14 Matthew Heaney <heaney@adacore.com>
- * a-crbtgo.ads, a-crbtgo.adb, a-coorse.ads, a-coorse.adb, a-convec.ads,
- a-convec.adb, a-coinve.ads, a-coinve.adb, a-cohama.ads, a-cohama.adb,
- a-ciorse.ads, a-ciorse.adb, a-cihama.ads, a-cihama.adb, a-cidlli.ads,
- a-cidlli.adb, a-cdlili.ads, a-cdlili.adb, a-coormu.adb, a-ciormu.adb,
- a-cihase.adb, a-cihase.ads, a-cohase.adb, a-cohase.ads, a-ciorma.ads,
- a-coorma.ads, a-ciormu.ads, a-coormu.ads, a-ciorma.adb, a-coorma.adb:
+ * a-crbtgo.ads, a-crbtgo.adb, a-coorse.ads, a-coorse.adb, a-convec.ads,
+ a-convec.adb, a-coinve.ads, a-coinve.adb, a-cohama.ads, a-cohama.adb,
+ a-ciorse.ads, a-ciorse.adb, a-cihama.ads, a-cihama.adb, a-cidlli.ads,
+ a-cidlli.adb, a-cdlili.ads, a-cdlili.adb, a-coormu.adb, a-ciormu.adb,
+ a-cihase.adb, a-cihase.ads, a-cohase.adb, a-cohase.ads, a-ciorma.ads,
+ a-coorma.ads, a-ciormu.ads, a-coormu.ads, a-ciorma.adb, a-coorma.adb:
Compiles against the spec for ordered maps described in sections
A.18.6 of the most recent (August 2005) AI-302 draft.
* binde.adb: Implement new AD/ED for Elaborate_All/Elaborate desirable
(Elab_Error_Msg): Use -da to include internal unit links, not -de.
- * lib-writ.ads, lib-writ.adb:
+ * lib-writ.ads, lib-writ.adb:
Implement new AD/ED for Elaborate_All/Elaborate desirable
Use new Elaborate_All_Desirable flag in N_With_Clause node
* Makefile.rtl: Add new instantiations of system.fat_gen
- * s-fatflt.ads, s-fatlfl.ads, s-fatllf.ads, s-fatsfl.ads:
+ * s-fatflt.ads, s-fatlfl.ads, s-fatllf.ads, s-fatsfl.ads:
Change name of instantiated package for better consistency
with newly added system.fat_gen instantiations.
Jose Ruiz <ruiz@adacore.com>
Pascal Obry <obry@adacore.com>
- * gnat_ugn.texi:
+ * gnat_ugn.texi:
Document that -fstack-check is needed for strict compliance with the
Ada 95 Reference Manual.
Correct reference to VAX systems to meet HP guidelines
OSDN Git Service
