aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Collapse)AuthorFilesLines
2008-02-17re PR ada/15479 (Ada manual problems)Ralf Wildenhues3-45/+59
gcc/ada/: PR documentation/15479 * gnat_ugn.texi: In non-code, avoid space before colon. (Regular Expressions in gnatfind and gnatxref): Fix indentation. (Examples of gnatxref Usage): Use @command{vi} instead of @file{vi}. (Character Set Control): Do not use @code for UTF-8. (Validity Checking): Fix typo "NaNs" instead of "NaN's". Do not use @code for IEEE. * gnat_rm.texi (Aggregates with static bounds): Fix typo in code sample. * gnat_rm.texi, gnat_ugn.texi: Fix typos. Bump copyright years. From-SVN: r132382
2008-02-13re PR ada/35143 (Serious regression on ACATS results since 4.2.3)Joel Sherrill8-12/+423
2008-02-11 Joel Sherrill <joel.sherrill@oarcorp.com> PR ada/35143 * env.c: Add __rtems__ to if defined. * s-osinte-rtems.adb: Add To_Target_Priority. Fix formatting. * s-osinte-rtems.ads: Add To_Target_Priority prototype and PTHREAD_SCOPE_PROCESS/PTHREAD_SCOPE_SYSTEM constants. Add pragma Convention as required. * gsocket.h: Make compile in and out of RTS. * Makefile.in: Add system-rtems.ads. Build DEC extensions. Use g-soccon-rtems.ads. * g-soccon-rtems.ads, system-rtems.ads: New files. From-SVN: r132294
2008-02-06re PR other/35107 (GCC unnecessarily links shared libs with xgcc, gcov, cpp, ↵Kaveh R. Ghazi2-1/+6
jcf-dump, etc.) 2008-02-06 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> PR other/35107 * Makefile.in (LIBS): Remove $(GMPLIBS). (cc1-dummy, cc1): Add $(GMPLIBS). ada: PR other/35107 * Make-lang.in (gnat1): Add $(GMPLIBS). cp: PR other/35107 * Make-lang.in (cc1plus-dummy, cc1plus): Add $(GMPLIBS). fortran: PR other/35107 * Make-lang.in (f951): Add $(GMPLIBS). java: PR other/35107 * Make-lang.in (jc1): Add $(GMPLIBS). objc: PR other/35107 * Make-lang.in (cc1obj-dummy, cc1obj): Add $(GMPLIBS). objcp: PR other/35107 * Make-lang.in (cc1objplus-dummy, cc1objplus): Add $(GMPLIBS). treelang: PR other/35107 * Make-lang.in (tree1): Add $(GMPLIBS). From-SVN: r132160
2008-01-26decl.c (components_to_record): Improve comment.Eric Botcazou2-2/+7
* decl.c (components_to_record): Improve comment. From-SVN: r131858
2008-01-22decl.c (components_to_record): Do not reuse the empty union type if there is ↵Eric Botcazou3-3/+16
a representation clause on the record. * decl.c (components_to_record): Do not reuse the empty union type if there is a representation clause on the record. * trans.c (addressable_p): Return true for INTEGER_CST. From-SVN: r131733
2008-01-21Update copyright year.Eric Botcazou1-1/+1
From-SVN: r131693
2008-01-21trans.c (gnat_to_gnu): Use POINTER_PLUS_EXPR in pointer arithmetics.Eric Botcazou3-6/+10
* trans.c (gnat_to_gnu) <N_Free_Statement>: Use POINTER_PLUS_EXPR in pointer arithmetics. * utils2.c (build_allocator): Likewise. From-SVN: r131692
2008-01-17tree.c (substitute_in_expr): Add missing 'break'.Eric Botcazou2-3/+7
* tree.c (substitute_in_expr): Add missing 'break'. ada/ * utils.c (build_function_stub): Properly build the call expression. From-SVN: r131600
2008-01-14decl.c (gnat_to_gnu_entity): Process renamings before converting the ↵Eric Botcazou3-17/+49
expression to the type of the object. * decl.c (gnat_to_gnu_entity) <object>: Process renamings before converting the expression to the type of the object. * trans.c (maybe_stabilize_reference) <CONSTRUCTOR>: New case. Stabilize constructors for special wrapping types. From-SVN: r131531
2008-01-14Remove control characters.Andreas Schwab1-1/+1
From-SVN: r131521
2008-01-13* trans.c (call_to_gnu):Invoke the addressable_p predicate onlyEric Botcazou5-72/+96
when necessary.  Merge some conditional statements.  Update comments. Rename unchecked_convert_p local variable to suppress_type_conversion. Do not suppress conversions in the In case. (addressable_p) <VIEW_CONVERT_EXPR>: Do not take alignment issues into account on non strict-alignment platforms. From-SVN: r131510
2008-01-13utils.c (aggregate_type_contains_array_p): New predicate.Eric Botcazou2-2/+42
* utils.c (aggregate_type_contains_array_p): New predicate. (create_field_decl): In a packed record, force byte alignment for fields without specified position that contain an array. From-SVN: r131498
2008-01-12re PR ada/33788 (GNAT bug box in expand_expr_addr_expr_1, at expr.c:6862)Eric Botcazou2-8/+7
PR ada/33788 * fold-const.c (fold_unary) <VIEW_CONVERT_EXPR>: Fold an existing NOP_EXPR if it is between integral types with the same precision. From-SVN: r131493
2008-01-11re PR ada/34466 (s-tasinf.ads:81:42: "cpu_set_t" not declared in "OS_Interface")John David Anglin2-0/+31
PR ada/34466 * s-osinte-linux-hppa.ads (SC_NPROCESSORS_ONLN): New 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 the same name. Note that on the Ada side we use a bit field array for the affinity mask. There is not need for the C macro for setting individual bit. (pthread_setaffinity_np): New imported routine. From-SVN: r131457
2008-01-03re PR ada/34647 (Ada runtime includes unsafe calls to mktemp and tmpname on ↵Tero Koskinen6-9/+96
OpenBSD) 2008-01-03 Tero Koskinen <tero.koskinen@iki.fi> gcc/ada/ PR ada/34647 * adaint.c (__gnat_open_new_temp, __gnat_tmp_name): Use mkstemp() on OpenBSD as is done on other BSD systems. PR ada/34645 * sysdep.c (__gnat_ttyname, getc_immediate_nowait, getc_immediate_common): Treat OpenBSD as FreeBSD regarding immediate I/O. PR ada/34644 * env.c (__gnat_clearenv): Treat OpenBSD as other BSD systems missing clearenv(). PR ada/34646 * init.c (__gnat_error_handler, __gnat_install_handler, __gnat_init_float): Define for OpenBSD. * initialize.c (__gnat_initialize): Define for OpenBSD. From-SVN: r131301
2007-12-27re PR ada/34553 (Unsafe calls to mktemp and tmpname)Samuel Tardieu2-2/+9
gcc/ada/ PR ada/34553 * adaint.c (__gnat_open_new_temp, __gnat_tmp_name): Use mkstemp() instead of mktemp() or tmpnam() on NetBSD. From-SVN: r131201
2007-12-22trans.c (call_to_gnu): Make the temporary for non-addressable In parameters ↵Eric Botcazou2-88/+76
passed by reference. * trans.c (call_to_gnu): Make the temporary for non-addressable In parameters passed by reference. (addressable_p): Return true for STRING_CST and CALL_EXPR. From-SVN: r131140
2007-12-19Add Sam's email for last sem_ch6.adb/sem_ch3.adb change.Arnaud Charlet1-0/+1
From-SVN: r131089
2007-12-19Resync.Arnaud Charlet1-0/+201
From-SVN: r131088
2007-12-19gnat_rm.texi, [...]: Update documentation of -gnatw.o Fix name of ↵Robert Dewar1-1/+3
Wide_Wide_Latin_1/9 file names Add... 2007-12-19 Robert Dewar <dewar@adacore.com> * gnat_rm.texi, gnat_ugn.texi: Update documentation of -gnatw.o Fix name of Wide_Wide_Latin_1/9 file names Add documentation for Ada.Exceptions.Last_Chance_Handler (a-elchha.ads) Add missing documentation for Ada.Wide_[Wide_]Characters.Unicode Add missing documentation for Ada.Command_Line.Response_File Update list of warning letters for Warnings pragma Add documentation for pragma Unmodified From-SVN: r131086
2007-12-19makegpr.adb (Check_Compilation_Needed): Normalize C_Source_Path so that the ↵Vincent Celier1-2/+5
source path name is always found in the... 2007-12-19 Vincent Celier <celier@adacore.com> * makegpr.adb (Check_Compilation_Needed): Normalize C_Source_Path so that the source path name is always found in the dependencies. From-SVN: r131085
2007-12-19Part of PR ada/33688Thomas Quinot1-0/+5
2007-12-19 Thomas Quinot <quinot@adacore.com> Part of PR ada/33688 * gen-soccon.c: Add constant IP_PKTINFO to allow getting ancillary datagram info on Linux. From-SVN: r131084
2007-12-19utils.c (create_var_decl_1): call rest_of_decl_compilation only for global ↵Tristan Gingold1-1/+4
variable. 2007-12-19 Tristan Gingold <gingold@adacore.com> * utils.c (create_var_decl_1): call rest_of_decl_compilation only for global variable. From-SVN: r131083
2007-12-19re PR ada/34149 (GNAT crash - deeply inrerited function)Gary Dismukes1-6/+21
2007-12-19 Gary Dismukes <dismukes@adacore.com> PR ada/34149 * sem_disp.adb (Check_Dispatching_Call): Augment existing test for presence of a statically tagged operand (Present (Static_Tag)) with test for Indeterm_Ancestor_Call when determining whether to propagate the static tag to tag-indeterminate operands (which forces dispatching on such calls). (Check_Controlling_Formals): Ada2005, access parameters can have defaults. (Add_Dispatching_Operation, Check_Operation_From_Private_View): do not insert subprogram in list of primitive operations if already there. From-SVN: r131082
2007-12-19sem_ch8.adb (Analyze_Subprogram_Renaming): Diagnose illegal renamings whose ↵Ed Schonberg1-1/+37
renamed entity is a subprogram that requires... 2007-12-19 Ed Schonberg <schonberg@adacore.com> Gary Dismukes <dismukes@adacore.com> * sem_ch8.adb (Analyze_Subprogram_Renaming): Diagnose illegal renamings whose renamed entity is a subprogram that requires overriding. (Premature_Usage): Test for the case of N_Full_Type_Declaration when issuing an error for premature usage and issue a message that says 'type' rather than 'object'. From-SVN: r131081
2007-12-19sem_ch4.adb (Analyze_Concatenation_Rest): New procedure.Bob Duff1-10/+65
2007-12-19 Bob Duff <duff@adacore.com> * sem_ch4.adb (Analyze_Concatenation_Rest): New procedure. (Analyze_Concatenation): Use iteration instead of recursion in order to avoid running out of stack space for deeply nested concatenations. From-SVN: r131080
2007-12-19PR ada/15803, ada/15805Ed Schonberg2-21/+79
2007-12-19 Ed Schonberg <schonberg@adacore.com> Gary Dismukes <dismukes@adacore.com> PR ada/15803, ada/15805 * sem_ch6.adb, sem_ch3.adb (Constrain_Access): In Ada2005, diagnose illegal access subtypes when there is a constrained partial view. (Check_For_Premature_Usage): New procedure inside Access_Subprogram_Declaration for checking that an access-to-subprogram type doesn't reference its own name within any formal parameters or result type (including within nested anonymous access types). (Access_Subprogram_Declaration): Add call to Check_For_Premature_Usage. (Sem_Ch3.Analyze_Object_Declaration, Sem_ch6.Process_Formals): if the context is an access_to_variable, the expression cannot be an access_to_constant. From-SVN: r131079
2007-12-19prj-attr.adb (Package_Node_Id_Of): Returns Unknown_Package when package is ↵Vincent Celier4-39/+25
not known 2007-12-19 Vincent Celier <celier@adacore.com> * prj-attr.adb (Package_Node_Id_Of): Returns Unknown_Package when package is not known * prj-attr.ads (Unknown_Package): New constant Do not crash when an unknown package is in several projects * prj-dect.adb (Parse_Package_Declaration): Mark an unknown package as ignored * prj-nmsc.adb (Check): Remove obsolete code related to no longer existing package Language_Processing. From-SVN: r131078
2007-12-19par-ch3.adb (P_Record_Declaration): Guard against cascaded errors in mangled ↵Ed Schonberg1-18/+23
declaration 2007-12-19 Ed Schonberg <schonberg@adacore.com> * par-ch3.adb (P_Record_Declaration): Guard against cascaded errors in mangled declaration (P_Type_Declaration): Diagnose misuse of "abstract" in untagged record declarations. (P_Variant_Part): Cleaner patch for parenthesized discriminant From-SVN: r131077
2007-12-19freeze.adb (Freeze_Record_Type, [...]): Implement properly the Ada2005 rules ↵Ed Schonberg1-4/+26
concerning when... 2007-12-19 Ed Schonberg <schonberg@adacore.com> * freeze.adb (Freeze_Record_Type, Check_Current_Instance): Implement properly the Ada2005 rules concerning when the current instance of a record type is aliased. From-SVN: r131076
2007-12-19exp_pakd.adb (Expand_Bit_Packed_Element_Set): Fix packed array type in ↵Robert Dewar1-2/+14
complex case where array is Volatile. 2007-12-19 Robert Dewar <dewar@adacore.com> * exp_pakd.adb (Expand_Bit_Packed_Element_Set): Fix packed array type in complex case where array is Volatile. From-SVN: r131075
2007-12-19exp_ch9.adb (Null_Statements): Moved to library levelRobert Dewar1-57/+90
2007-12-19 Robert Dewar <dewar@adacore.com> * exp_ch9.adb (Null_Statements): Moved to library level (Trivial_Accept_OK): New function (Expand_Accept_Declaration): Use Trivial_Accept_OK (Expand_N_Accept_Statement): Use Trivial_Accept_OK From-SVN: r131074
2007-12-19exp_ch3.adb (Expand_N_Object_Declaration): Complete the circuitry that ↵Javier Miranda1-8/+9
forces the construction of static dispatch tables... 2007-12-19 Javier Miranda <miranda@adacore.com> * exp_ch3.adb (Expand_N_Object_Declaration): Complete the circuitry that forces the construction of static dispatch tables in case of record subtypes. From-SVN: r131073
2007-12-19exp_attr.adb (Expand_N_Attribute_Reference, case Size): Fix error in ↵Robert Dewar1-4/+20
handling compile time known size of record or array (case of front... 2007-12-19 Robert Dewar <dewar@adacore.com> * exp_attr.adb (Expand_N_Attribute_Reference, case Size): Fix error in handling compile time known size of record or array (case of front end layout active, e.g. in GNAAMP). From-SVN: r131072
2007-12-19exp_aggr.adb (Not_OK_For_Backend): A component of a private type with ↵Ed Schonberg1-22/+62
discriminants forces expansion of the... 2007-12-19 Ed Schonberg <schonberg@adacore.com> * exp_aggr.adb (Not_OK_For_Backend): A component of a private type with discriminants forces expansion of the aggregate into assignments. (Init_Record_Controller): If the type of the aggregate is untagged and is not inherently limited, the record controller is not limited either. From-SVN: r131071
2007-12-19atree.ads, atree.adb (Traverse_Func): Walk Field2 last, and eliminate the ↵Bob Duff5-172/+232
resulting tail recursion by hand. 2007-12-19 Bob Duff <duff@adacore.com> * atree.ads, atree.adb (Traverse_Func): Walk Field2 last, and eliminate the resulting tail recursion by hand. This prevents running out of memory on deeply nested concatenations, since Field2 is where the left operand of concatenations is stored. Fix bug (was returning OK_Orig in some cases). Fix return subtype to clarify that it can only return OK or Abandon. * sem_res.adb (Resolve_Op_Concat): Replace the recursion on the left operand by iteration, in order to avoid running out of memory on deeply-nested concatenations. Use the Parent pointer to get back up the tree. (Resolve_Op_Concat_Arg, Resolve_Op_Concat_First, Resolve_Op_Concat_Rest): New procedures split out of Resolve_Op_Concat, so the iterative algorithm in Resolve_Op_Concat is clearer. * checks.adb (Remove_Checks): Use Traverse_Proc instead of Traverse_Func, because the former already takes care of discarding the result. * 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 From-SVN: r131070
2007-12-192007-12-19 Eric Botcazou <ebotcazou@adacore.com>Eric Botcazou33-44/+2
* targparm.adb, targparm.ads, system.ads, system-darwin-ppc.ads, system-vxworks-x86.ads, system-linux-ppc.ads, system-linux-hppa.ads, system-hpux-ia64.ads, system-vxworks-arm.ads, system-darwin-x86.ads, system-vms_64.ads, system-vms-ia64.ads, system-linux-ia64.ads, system-freebsd-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 (Dynamic_Trampolines_Used): Delete. * system-lynxos-x86.ads, system-lynxos-ppc.ads: Ditto. Turn on stack probing mechanism on LynxOS. From-SVN: r131069
2007-12-19g-expect-vms.adb, [...]: Add pragma Warnings (Off) for unassigned IN OUT ↵Robert Dewar12-601/+787
arguments 2007-12-19 Robert Dewar <dewar@adacore.com> * 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 (Check_References): Extensive changes to tune up warnings (Output_Non_Modifed_In_Out_Warnings): Changes to tune up warnings (Has_Pragma_Unmodifed_Check_Spec): New function (Check_References): Implement pragma Unmodified (Warn_On_Unassigned_Out_Parameter): Implement pragma Unmodified * par-prag.adb: Dummy entry for pragma Unmodified * sem_prag.adb: Implement pragma Unmodified * einfo.ads, einfo.adb: (Has_Pragma_Unmodified): New flag (Proc_Next_Component_Or_Discriminant): Fix typo. Update comments. * sem_util.adb (Note_Possible_Modification): Add processinng for pragma Unmodified. (Reset_Analyzed_Flags): Use Traverse_Proc instead of Traverse_Func, because the former already takes care of discarding the result. (Mark_Coextensions): Remove ununused initial value from Is_Dynamic. Add comment. * snames.h, snames.ads, snames.adb: Add entry for pragma Unmodified From-SVN: r131068
2007-12-19Makefile.in: Add s-tasinf.ad[bs] substitutions for sh4-linux target.Samuel Tardieu2-0/+6
gcc/ada/ * Makefile.in: Add s-tasinf.ad[bs] substitutions for sh4-linux target. From-SVN: r131054
2007-12-17* s-vxwork-alpha.ads: Removed, no longer used.Arnaud Charlet2-57/+4
From-SVN: r131005
2007-12-15* Make-lang.in (gnat1, gnatbind): Pass ALL_CFLAGS on the link line.Jakub Jelinek2-2/+6
From-SVN: r130952
2007-12-13Restore part of patch lost for PR ada/15805:Arnaud Charlet1-0/+14
* sem_ch3.adb (Analyze_Object_Declaration): Signal an error when an access to constant is used to initialize an access value. From-SVN: r130903
2007-12-13re PR ada/34360 (typo gcc/ada/Makefile.in for GNU/kFreeBSD)Samuel Tardieu2-2/+8
gcc/ada/ PR ada/34360 * Makefile.in: Change two occurrences of mlib-tgt.adb by correct name mlib-tgt-specific.adb. From-SVN: r130896
2007-12-13(Attribute_to_gnu): Check for violations of the No_Implicit_Dynamic_Code ↵Bob Duff2-5/+34
restriction. (Attribute_to_gnu): Check for violations of the No_Implicit_Dynamic_Code restriction. This checking used to be done in the front end, but is moved here so we can make it more accurate. From-SVN: r130892
2007-12-13ResyncArnaud Charlet1-0/+1136
From-SVN: r130891
2007-12-13Update comments.Arnaud Charlet3-10/+18
Minor reformatting. Kill new warnings. From-SVN: r130888
2007-12-13(Nkind_In): New functions.Arnaud Charlet1-21/+175
Add support for new flags. From-SVN: r130887
2007-12-13Removed, no longer usedArnaud Charlet1-158/+0
From-SVN: r130886
2007-12-13New file.Arnaud Charlet1-0/+62
From-SVN: r130885
2007-12-13New file.Arnaud Charlet1-0/+47
From-SVN: r130884
generated by cgit v1.1 at 2024-10-20 22:20:59 +0000