aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/tracebak.c
AgeCommit message (Collapse)AuthorFilesLines
2016-05-02[multiple changes]Arnaud Charlet1-1/+20
2016-05-02 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch4.adb (Find_Indexing_Operations): Use the underlying type of the container base type in case the container is a subtype. * sem_ch5.adb (Analyze_Iterator_Specification): Ensure that the selector has an entity when checking for a component of a mutable object. 2016-05-02 Arnaud Charlet <charlet@adacore.com> Remove dead code. * opt.ads (Latest_Ada_Only): New flag. * sem_prag.adb, par-prag.adb: Ignore pragma Ada_xx under this flag. * usage.adb, switch-c.adb: Disable support for -gnatxx under this flag. * einfo.ads (Has_Predicates, Predicate_Function): Clarify that Has_Predicates does not imply that Predicate_Function will return a non-empty entity. 2016-05-02 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Resolve_Qualified_Expression): Generate a predicate check if type requires it. * checks.adb (Apply_Predicate_Check): Disable checks in the object declaration created for an expression with side-effects that requires a predicate check to prevent infinite recursion during expansion. 2016-05-02 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Process_Formals): Check properly the type of a formal to determine whether a given convention applies to it. 2016-05-02 Doug Rupp <rupp@adacore.com> * tracebak.c: Add incantations for arm-vxworks[67] traceback. 2016-05-02 Thomas Quinot <quinot@adacore.com> * freeze.adb (Check_Component_Storage_Order): Make it a warning, not an error, to have a component with implicit SSO within a composite type that has explicit SSO. 2016-05-02 Bob Duff <duff@adacore.com> * s-stposu.adb (Allocate_Any_Controlled): Don't lock/unlock twice. 2016-05-02 Ed Schonberg <schonberg@adacore.com> * repinfo.adb (List_Entities): Make procedure recursive, to provide representation information for subprograms declared within subprogram bodies. From-SVN: r235713
2016-04-21[multiple changes]Arnaud Charlet1-1/+2
2016-04-21 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch3.adb: Code cleanup. * sem_ch6.adb: Code cleanup. (Is_Matching_Limited_View): New routine. (Matches_Limited_With_View): Reimplemented. * sem_ch10.adb (Decorate_Type): Code cleanup. 2016-04-21 Doug Rupp <rupp@adacore.com> * tracebak.c (PPC ELF): Add macro defs for lynxos178e. 2016-04-21 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Try_Container_Indexing): If there are overloaded indexing functions, collect all overloadings of the call firts, and then transfer them to indexing node, to prevent interleaving of the set of interpretations of the nodes involved. * sem_res.adb (Resolve): Suppress cascaded errors that report ambiguities when one of the actuals in an overloaded generatlized indexing operation is illegal and has type Any_Type, as is done for similar cascaded errors in subprogram calls. (Valid_Tagged_Conversion): Cleanup conversion checks when one of the types involved is a class-wide subtype. 2016-04-21 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Load_Parent_Of_Generic): When looking for the subprogram declaration within a wrapper package, skip pragmas that may have been generated by aspect specifications on the generic instance. 2016-04-21 Javier Miranda <miranda@adacore.com> * exp_aggr.adb (Component_Not_OK_For_Backend): Generating C code return True for array identifiers since the backend needs to initialize such component by means of memcpy(). From-SVN: r235330
2016-04-21[multiple changes]Arnaud Charlet1-1/+7
2016-04-21 Philippe Gil <gil@adacore.com> * tracebak.c (__gnat_backtrace): handle bad RIP values (win64 only) 2016-04-21 Javier Miranda <miranda@adacore.com> * exp_aggr.adb (Component_Not_OK_For_Backend): Return true for string literals. 2016-04-21 Hristian Kirtchev <kirtchev@adacore.com> * einfo.adb (Has_Non_Null_Abstract_State): New routine. * einfo.ads New synthesized attribute Has_Non_Null_Abstract_State along with occurrences in entities. (Has_Non_Null_Abstract_State): New routine. * sem_ch7.adb (Unit_Requires_Body): Add local variable Requires_Body. A package declaring an abstract state requires a body only when the state is non-null and the package contains at least one other construct that requires completion in a body. * sem_util.adb (Mode_Is_Off): Removed. (Requires_State_Refinement): Remove an obsolete check. Code cleanup. 2016-04-21 Bob Duff <duff@adacore.com> * sem_attr.adb (Analyze_Attribute): In processing the 'Old attribute, a warning is given for infinite recursion. Fix the code to not crash when the prefix of 'Old denotes a protected function. * sem_ch5.adb (Analyze_Iterator_Specification): Avoid calling Is_Dependent_Component_Of_Mutable_Object in cases where the parameter would not be an object. 2016-04-21 Eric Botcazou <ebotcazou@adacore.com> * sem_eval.adb (Compile_Time_Compare): Be prepared for an empty Etype or Underlying_Type of the operands. 2016-04-21 Eric Botcazou <ebotcazou@adacore.com> * atree.adb (Print_Statistics): Protect against overflows and print the memory consumption in bytes. * table.adb (Reallocate): Do the intermediate calculation of the new size using the Memory.size_t type. From-SVN: r235312
2015-11-25[multiple changes]Arnaud Charlet1-1/+1
2015-11-25 Jerome Lambourg <lambourg@adacore.com> * init.c: Enable the signal trampoline on x86_64-vx7 * sigtramp-vxworks-target.inc: Implement the signal trampoline for x86_64 * tracebak.c: Remove the hook to use the generic unwinder on x86_64-vx7. 2015-11-25 Vincent Celier <celier@adacore.com> * gnatcmd.adb: When "gnat name -P" is called, invoke gprname directly if available. From-SVN: r230875
2015-11-13[multiple changes]Arnaud Charlet1-1/+1
2015-11-13 Bob Duff <duff@adacore.com> * sem_ch6.adb (Check_Private_Overriding): Change name of Parent_Is_Private to be Overrides_Private_Part_Op, and use Unit_Declaration_Node. 2015-11-13 Bob Duff <duff@adacore.com> * sinfo.ads: Minor comment fix. * sem_ch6.adb: Minor reformatting. 2015-11-13 Jerome Lambourg <lambourg@adacore.com> * tracebak.c: Do not use the GCC Unwinder to retrieve traceback for x86_64-vx7. 2015-11-13 Eric Botcazou <ebotcazou@adacore.com> * init.c [Darwin/arm64]: Fix typo. * sigtramp-armios.c: Remove. * sigtramp-ios.c: New file. 2015-11-13 Doug Rupp <rupp@adacore.com> * s-stchop-vxworks.adb (Set_Stack_Limit_For_Current_Task): Set stack limit to 12000 decimal vice 12000 hexadecimal. From-SVN: r230315
2015-10-23[multiple changes]Arnaud Charlet1-1/+1
2015-10-23 Ed Schonberg <schonberg@adacore.com> * sem_util.adb (Is_Iterator, Is_Reversible_iterator): Use root type to determine whether the type is a descendant of the corresponding interface type, so take into account multiple levels of subtypes and derivations. 2015-10-23 Olivier Hainque <hainque@adacore.com> * tracebak.c: Refine selection of GCC/GENERIC_UNWINDER for tracebacks on x86 & x86_64. (x86 & x86_64): If !SJLJ, always pick the GCC_UNWINDER for x86_64 (not only on linux). * sem_util.ads: Minor fix in comment. From-SVN: r229239
2015-10-23[multiple changes]Arnaud Charlet1-26/+11
2015-10-23 Olivier Hainque <hainque@adacore.com> * tracebak.c: Fallback to generic unwinder for gcc-sjlj on x86 & x86_64 linux * tracebak.c: Rework x86 & x86_64 sections to resort to the generic unwinder if __USING_SJLJ_EXCEPTIONS__. 2015-10-23 Javier Miranda <miranda@adacore.com> * sem_util.adb (Check_Function_Writable_Actuals): For function calls restrict the check to elementary types, as requested by RM 6.4.1(6.15/3) 2015-10-23 Arnaud Charlet <charlet@adacore.com> * exp_unst.adb (Unnest_Subprogram): Suppress initialization on Decl_ARECnT since we are taking care of all initializations in the generated code. From-SVN: r229233
2015-10-20[multiple changes]Arnaud Charlet1-0/+2
2015-10-20 Bob Duff <duff@adacore.com> * a-coinve.adb, a-contai.adb: Update comments. * pprint.ads: Minor reformatting. 2015-10-20 Tristan Gingold <gingold@adacore.com> * env.c, init.c: Handle arm64-darwin like arm-darwin. * tracebak.c: Handle arm64-darwin. 2015-10-20 Bob Duff <duff@adacore.com> * s-trasym.adb (Symbolic_Traceback): When giving the traceback as hexadecimal code addresses, separate by blanks instead of LF. From-SVN: r229039
2015-06-08configure.ac (*-*-dragonfly*): New configuration.John Marino1-1/+15
gnattools/ * configure.ac (*-*-dragonfly*): New configuration. * configure: Regenerate. gcc/ada/ * a-intnam-dragonfly.ads: New. * s-osinte-dragonfly.adb: Likewise. * s-osinte-dragonfly.ads: Likewise. * system-dragonfly-x86_64.ads: Likewise. * adaint.c: Add BSD macros. * cstreams.c: Likewise. * gsocket.h: Likewise. * link.c: Likewise. * socket.c: Likewise. * env.c: Add __DragonFly__, remove __FreeBSD__ macro. * init.c: Add __DragonFly__, change __gnat_install_handler prototype from empty to void. * initialize.c: Add __DragonFly__. * sysdep.c: Likewise. * s-osinte-freebsd.adb: Use __get_errno instead of __error. * tracebak.c: Set unwinder for i386 BSD. * gcc-interface/Makefile.in: Add x86_64 DragonFly, tweak x86_64 FreeBSD and x86 FreeBSD. From-SVN: r224207
2015-05-30adaint.c: Test for __linux__ instead of linux and __sun__ instead of sun.Eric Botcazou1-6/+6
* adaint.c: Test for __linux__ instead of linux and __sun__ instead of sun. Add missing leading underscore to AIX. Remove #elif 0. * adaint.h: Likewise. * cio.c: Likewise. * cstreams.c: Likewise. * env.c: Likewise. * gsocket.h: Likewise. * init.c: Likewise. Test for __i386__ instead of i386. * link.c: Likewise. * s-oscons-tmplt.c: Likewise. * sysdep.c: Likewise. * terminals.c: Likewise. Use BSD symbol instead of FREEBSD. * tracebak.c: Likewise. Test for __sparc__ instead of sparc. From-SVN: r223890
2014-10-20[multiple changes]Arnaud Charlet1-0/+2
2014-10-20 Arnaud Charlet <charlet@adacore.com> * set_targ.adb (Write_Target_Dependent_Values, Write_Line): Fix calling C APIs with no trailing NUL char by calling better wrappers instead. 2014-10-20 Tristan Gingold <gingold@adacore.com> * gnat_ugn.texi: Document that gdb users must be in group _developer on mac os. 2014-10-20 Arnaud Charlet <charlet@adacore.com> * a-tgdico.ads: Fix typo. 2014-10-20 Ed Schonberg <schonberg@adacore.com> * exp_aggr.adb (Convert_To_Assignments): Do not create a transient scope for a component whose type requires it, if the context is an initialization procedure, because the target of the assignment must be visible outside of the block. 2014-10-20 Tristan Gingold <gingold@adacore.com> * tracebak.c: Define PC_ADJUST for arm-darwin. * env.c: Remove darwin specific code. * raise-gcc.c (__gnat_Unwind_ForcedUnwind): Error on arm-darwin. 2014-10-20 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Analyze_Full_Type_Declaration): If previous view is incomplete rather than private, and full type declaration has aspects, analyze aspects on the full view rather than the incomplete view, to prevent freezing anomalies with the class-wide type. From-SVN: r216470
2014-08-04[multiple changes]Arnaud Charlet1-14/+2
2014-08-04 Yannick Moy <moy@adacore.com> * sem_ch3.adb (Analyze_Object_Declaration): In GNATprove mode, do not generate two Itypes with the same name for an array definition. * sinfo.ads: Expand doc on GNATprove mode. 2014-08-04 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch3.adb (Expand_Freeze_Record_Type): Set the finalization master and storage pool attributes on the root type of an anonymous access type. * exp_ch4.adb (Expand_N_Allocator): Set the finalization master and storage pool attributes on the root type of an anonymous access type. 2014-08-04 Arnaud Charlet <charlet@adacore.com> * exp_ch3.adb: Minor reformatting. * tb-alvms.c, tb-alvxw.c, tb-ivms.c: Removed. * tracebak.c: Remove use of above files. * gcc-interface/Makefile.in: Update dependencies. 2014-08-04 Pierre-Marie Derodat <derodat@adacore.com> * gcc-interface/utils.c (gnat_set_type_context): Also set the context for parallel types' TYPE_STUB_DECL. Do not change anything if the context is already set for them. (gnat_pushdecl): Update the comment for calls to gnat_set_type_context to mention parallel types. (add_parallel_type): When adding a context-less parallel type to a type that has a context, propagate the context from the latter type to the former. (process_deferred_decl_context): Call gnat_set_type_context rather than manually setting the type context. (build_unc_object_type): Call gnat_set_type_context on the template type. From-SVN: r213584
2013-02-14re PR ada/52123 (gcc bootstrap with ada fails on mingw target)Rainer Emrich1-1/+1
2013-02-14 Rainer Emrich <rainer@emrich-ebersheim.de> PR target/52123 * tracebak.c: Cast from pointer via FARPROC. From-SVN: r196051
2013-01-03[multiple changes]Arnaud Charlet1-3/+22
2013-01-03 Thomas Quinot <quinot@adacore.com> * sem_ch7.adb, sem_ch10.adb, einfo.adb, einfo.ads, sem_ch12.adb, rtsfind.adb, sem_elab.adb, sem_ch4.adb, sem_ch8.adb (Einfo.Is_Visible_Child_Unit, Einfo.Set_Is_Visible_Child_Unit): Rename to Is_Visible_Lib_Unit, Set_Is_Visible_Lib_Unit, and update spec accordingly (now also applies to root library units). (Sem_Ch10.Analyze_Subunit.Analyze_Subunit_Context): Toggle above flag on root library units, not only child units. (Sem_Ch10.Install[_Limited]_Withed_Unit): Same. (Sem_Ch10.Remove_Unit_From_Visibility): Reset Is_Visible_Lib_Unit even for root library units. (Sem_Ch8.Find_Expanded_Name): A selected component form whose prefix is Standard is an expanded name for a root library unit. 2013-01-03 Thomas Quinot <quinot@adacore.com> * exp_ch3.adb: Minor reformatting. 2013-01-03 Olivier Hainque <hainque@adacore.com> * tracebak.c: Reinstate changes to support ppc-lynx178. 2013-01-03 Ed Schonberg <schonberg@adacore.com> * atree.ads: Minor reformatting and documentation enhancement. From-SVN: r194845
2013-01-02[multiple changes]Arnaud Charlet1-18/+3
2013-01-02 Thomas Quinot <quinot@adacore.com> * exp_prag.adb: Minor reformatting. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Get_Associated_Node): If the node is an identifier that denotes an unconstrained array in an object declaration, it is rewritten as the name of an anonymous subtype whose bounds are given by the initial expression in the declaration. When checking whether that identifier is global reference, use the original node, not the local generated subtype. 2013-01-02 Olivier Hainque <hainque@adacore.com> * tracebak.c: Revert previous change, incomplete. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Analyze_Aspect_Specifications): If the aspect appears on a subprogram body that acts as a spec, place the corresponding pragma in the declarations of the body, so that e.g. pre/postcondition checks can be generated appropriately. 2013-01-02 Robert Dewar <dewar@adacore.com> * sem_ch3.adb: Minor reformatting and code reorganization. From-SVN: r194781
2012-12-05[multiple changes]Arnaud Charlet1-3/+18
2012-12-05 Thomas Quinot <quinot@adacore.com> * par_sco.adb, scos.ads, put_scos.adb, put_scos.ads, get_scos.adb: Generation of SCOs for aspects. 2012-12-05 Thomas Quinot <quinot@adacore.com> * sem_prag.adb (Check_Precondition_Postcondition): Remove redundant call to Set_SCO_Pragma_Enabled (the pragma will be rewritten into a pragma Check later on, and the call will be made when processing the rewritten pragma). (Analyze_Pragma, case Pragma_Check): Omit call to Set_SCO_Pragma_Enabled if Split_PPC is set. 2012-12-05 Olivier Hainque <hainque@adacore.com> * tracebak.c: Add partial support for Lynx178. 2012-12-05 Hristian Kirtchev <kirtchev@adacore.com> * sem_attr.adb (Analyze_Attribute): Improve the error message related to loop assertions. 2012-12-05 Gary Dismukes <dismukes@adacore.com> * atree.ads: Minor reformatting. From-SVN: r194211
2012-07-12[multiple changes]Arnaud Charlet1-2/+2
2012-07-12 Ed Schonberg <schonberg@adacore.com> * exp_aggr.adb (Convert_To_Positional): Increase acceptable size of static aggregate when Static_Elaboration_Desired is requested. Add a warning if the request cannot be satisfied either because some components or some array bounds are non-static. 2012-07-12 Thomas Quinot <quinot@adacore.com> * exp_pakd.adb: Minor reformatting. 2012-07-12 Tristan Gingold <gingold@adacore.com> * tracebak.c: Fix warnings. * raise-gcc.c (__gnat_adjust_context): New function (__gnat_personality_seh0): Call __gnat_adjust_context to adjust PC in machine frame for exceptions that occur in the current function. 2012-07-12 Thomas Quinot <quinot@adacore.com> * g-bytswa.adb, g-bytswa.ads, s-bytswa.adb, s-bytswa.ads, Makefile.rtl: Move GNAT.Byte_Swapping to System (with a renaming under GNAT) so that it is usable in expanded code. 2012-07-12 Tristan Gingold <gingold@adacore.com> * s-osinte-hpux.ads: Increase alternate stack size on hpux. From-SVN: r189434
2012-07-09[multiple changes]Arnaud Charlet1-1/+1
2012-07-09 Vincent Pucci <pucci@adacore.com> * sem_ch9.adb (Check_Node): Allow attributes that denote static function for lock-free implementation. (Is_Static_Function): New routine. 2012-07-09 Tristan Gingold <gingold@adacore.com> * tracebak.c: Adjust skip_frames on Win64. 2012-07-09 Tristan Gingold <gingold@adacore.com> * init.c: Add __gnat_adjust_context_for_raise for ia64/hpux. * raise-gcc.c: __gnat_cleanupunwind_handler: Do not call _Unwind_GetGR on hpux when using libgcc unwinder. Part of 2012-07-09 Vincent Pucci <pucci@adacore.com> * exp_attr.adb, sem_attr.adb: Minor reformatting. * par-ch13.adb, par-ch4.adb, par-util.adb: Reformatting considering that internal attribute names are not defined anymore in the main attribute names list. * snames.adb-tmpl (Get_Attribute_Id): Special processinf for names CPU, Dispatching_Domain and Interrupt_Priority. (Is_Internal_Attribute_Name): Minor reformatting. * snames.ads-tmpl: New list of internal attribute names. Internal attributes moved at the end of the attribute Id list. From-SVN: r189380
2012-07-09[multiple changes]Arnaud Charlet1-1/+71
2012-07-09 Thomas Quinot <quinot@adacore.com> * einfo.adb (Set_Reverse_Storage_Order): Update assertion, flag is now valid for array types as well. 2012-07-09 Tristan Gingold <gingold@adacore.com> * tracebak.c: Implement __gnat_backtrace for Win64 SEH. 2012-07-09 Robert Dewar <dewar@adacore.com> * einfo.ads: Minor reformatting. 2012-07-09 Javier Miranda <miranda@adacore.com> * exp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration): Handle as renaming_as_body renamings of predefined dispatching equality and unequality operators. 2012-07-09 Robert Dewar <dewar@adacore.com> * rident.ads: Do not instantiate r-ident.ads, this is now an independent unit. 2012-07-09 Javier Miranda <miranda@adacore.com> * exp_disp.adb (Write_DT): Avoid runtime crash of this debugging routine. * sem_disp.adb (Find_Dispatching_Time): Protect this routine against partially decorated entities. 2012-07-09 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Check_Size): Reject a size clause that specifies a value greater than Int'Last for a scalar type. 2012-07-09 Vincent Pucci <pucci@adacore.com> * sem_ch9.adb (Allows_Lock_Free_Implementation): type must support atomic operation moved to the protected body case. No non-elementary out parameter moved to the protected declaration case. Functions have only one lock-free restriction. (Analyze_Protected_Type_Declaration): Issue a warning when Priority given with Lock_Free. 2012-07-09 Vincent Pucci <pucci@adacore.com> * sem_dim.adb: Grammar of aspect Dimension fixed. 2012-07-09 Vincent Pucci <pucci@adacore.com> * freeze.adb (Freeze_Record_Type): Code reorg in order to avoid pushing and popping the scope stack whenever a delayed aspect occurs. 2012-07-09 Gary Dismukes <dismukes@adacore.com> * s-os_lib.ads: Remove pragma Elaborate_Body, as this is now unnecessary due to recently added pragma Preelaborate. 2012-07-09 Jose Ruiz <ruiz@adacore.com> * s-taprop-mingw.adb (Set_Priority): Remove the code that was previously in place to reorder the ready queue when a task drops its priority due to the loss of inherited priority. From-SVN: r189377
2011-10-24[multiple changes]Arnaud Charlet1-13/+12
2011-10-24 Robert Dewar <dewar@adacore.com> * sem.adb (Initialize): Fix bug that blew up if called a second time. 2011-10-24 Robert Dewar <dewar@adacore.com> * tb-alvxw.c, tracebak.c, expect.c, initflt.c, tb-alvms.c, tb-ivms.c, tb-gcc.c: Update headers to GPL 3. 2011-10-24 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Analyze_Pragma, case Debug): Give proper pragma name in error msg. 2011-10-24 Hristian Kirtchev <kirtchev@adacore.com> * gnat_rm.texi Add an entry for restriction No_Finalization. 2011-10-24 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Insert_Freeze_Node_For_Instance): If the current instance is within the one that contains the generic, the freeze node for the current one must appear in the current declarative part. Ditto if the current instance is within another package instance. In both of these cases the freeze node of the previous instance is not relevant. 2011-10-24 Gary Dismukes <dismukes@adacore.com> * switch-m.adb (Normalize_Compiler_Switches): Add recognition of AAMP-specific switches -univ and -aamp_target. 2011-10-24 Robert Dewar <dewar@adacore.com> * a-tienau.adb (Put): Deal properly with limited line length. 2011-10-24 Robert Dewar <dewar@adacore.com> * sem_warn.adb, sem_ch12.adb: Minor reformatting. From-SVN: r180375
2011-09-08part of restore of powerpc-darwin Ada bootstrapIain Sandoe1-2/+16
* traceback.c (Darwin) USE_GCC_UNWINDER for Darwin versions >= 8. From-SVN: r178682
2011-09-02[multiple changes]Arnaud Charlet1-1/+7
2011-09-02 Robert Dewar <dewar@adacore.com> * exp_ch4.adb, exp_ch6.adb, prj-nmsc.adb: Minor reformatting. 2011-09-02 Hristian Kirtchev <kirtchev@adacore.com> * exp_util.adb (Extract_Renamed_Object): Renamed to Find_Renamed_Object. This routine has been reimplemented and now uses tree traversal to locate a renamed object. (Is_Aliased): Replace call to Extract_Renamed_Object with Find_Renamed_Object. 2011-09-02 Tristan Gingold <gingold@adacore.com> * init.c: (__gnat_is_vms_v7): New function. 2011-09-02 Olivier Hainque <hainque@adacore.com> * tracebak.c (STOP_FRAME, ppc elf/vxworks case): Stop on frames that have a misaligned backchain, necessarily bogus. From-SVN: r178457
2011-08-04[multiple changes]Arnaud Charlet1-1/+2
2011-08-04 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch7.adb (Build_Raise_Statement): Remove the specialized processing for .NET/JVM. These targets can now benefit from Raise_From_Controlled_Operation and they share the same processing with standard targets. (Establish_Transient_Scope): Remove the restriction for .NET/JVM. These targets need transient scopes in order to properly finalize short lived controlled objects. (Make_Handler_For_Ctrl_Operation): Remove the specialized processing for NET/JVM. These targets can now benefit from Raise_From_Controlled_Operation and they share the same processing with standard targets. 2011-08-04 Geert Bosch <bosch@adacore.com> * tracebak.c (STOP_FRAME): Stop at any next pointer outside the stack 2011-08-04 Ed Schonberg <schonberg@adacore.com> * exp_aggr.adb (Has_Visible_Private_Ancestor): subsidiary routine to Expand_Record_Aggregate, to determine whether aggregate must be expanded into assignments. This is the case if the ancestor part is private, regarless of the setting of the flag Has_Private_Ancestor. 2011-08-04 Ed Falis <falis@adacore.com> * vxaddr2line.adb: Add support for e500v2 and for Linux hosts 2011-08-04 Bob Duff <duff@adacore.com> * sinfo.ads: Fix comment. 2011-08-04 Steve Baird <baird@adacore.com> * bindgen.adb (Get_Ada_Main_Name): If CodePeer_Mode is set, then choose a package name in much the same way as is done for JGNAT when VM_Target /= No_VM, except that a slightly more distinctive prefix string is used. 2011-08-04 Emmanuel Briot <briot@adacore.com> * makeutl.adb (Complete_Mains): no longer accept unit names on the gnatmake command line. This behavior was never documented (and was supported only because of an early bug in the code). This case might lead to ambiguous cases (between unit names and truncated base names without suffixes). From-SVN: r177379
2011-08-03[multiple changes]Arnaud Charlet1-1/+8
2011-08-03 Olivier Hainque <hainque@adacore.com> * tracebak.c (STOP_FRAME ppc AIX): Stop at null return address as well. 2011-08-03 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Analyze_Object_Renaming): if the renamed object is an explicit dereference of an unconstrained type, create a constrained subtype for it, as is done for function calls that return an unconstrained type. 2011-08-03 Thomas Quinot <quinot@adacore.com> * g-pehage.adb (Finalize): Avoid possible double-free. 2011-08-03 Steve Baird <baird@adacore.com> * exp_attr.adb (Expand_N_Attribute_Reference): Don't expand Elab_Spec/Body attrs in CodePeer_Mode. 2011-08-03 Javier Miranda <miranda@adacore.com> * exp_aggr.adb (Flatten): Convert to positional form aggregates whose low bound is not known at compile time but they have no others choice. Done because in this case the bounds can be obtained directly from the aggregate. 2011-08-03 Ed Falis <falis@adacore.com> * s-tasinf-vxworks.ads: Update comment to reflect 0 indexing of CPUs on VxWorks SMP. Remove unusable constant ANY_CPU. From-SVN: r177242
2011-07-22re PR bootstrap/49794 (Solaris 10/x86 bootstrap broken by C++ build)Rainer Orth1-2/+2
2011-07-20 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> Ralf Wildenhues <Ralf.Wildenhues@gmx.de> gcc: PR bootstrap/49794 * configure.ac: Test AM_ICONV with CXX. * configure: Regenerate. * config/sol2-c.c (solaris_format_types): Use EXPORTED_CONST. gcc/ada: PR bootstrap/49794 * init.c [sun && __SVR4 && !__vxworks] (__gnat_install_handler): Assign to act.sa_sigaction. * tracebak.c [USE_GENERIC_UNWINDER] (__gnat_backtrace): Cast current->return_address to char * before arithmetic. libcpp: PR bootstrap/49794 * configure.ac: Test AM_ICONV with CXX. * configure: Regenerate. * system.h (HAVE_DESIGNATED_INITIALIZERS): Never define for C++. Co-Authored-By: Ralf Wildenhues <Ralf.Wildenhues@gmx.de> From-SVN: r176620
2011-07-12prefix.h: Wrap up in extern "C" block.Laurent GUERBY1-1/+9
* prefix.h: Wrap up in extern "C" block. ada/ * adadecode.c: Wrap up in extern "C" block. * adadecode.h: Likewise. * adaint.c: Likewise. Remove 'const' keyword. * adaint.h: Likewise. * argv.c: Likewise. * atree.h: Likewise. * cio.c: Likewise. * cstreams.c: Likewise. * env.c: Likewise. * exit.c: Likewise. * fe.h: Likewise. * final.c: Likewise. * init.c: Likewise. * initialize.c: Likewise. * link.c: Likewise. * namet.h: Likewise. * nlists.h: Likewise. * raise.c: Likewise. * raise.h: Likewise. * repinfo.h: Likewise. * seh_init.c: Likewise. * targext.c: Likewise. * tracebak.c: Likewise. * uintp.h: Likewise. * urealp.h: Likewise. * xeinfo.adb: Wrap up generated C code in extern "C" block. * xsinfo.adb: Likewise. * xsnamest.adb: Likewise. * gcc-interface/gadaint.h: Wrap up in extern "C" block. * gcc-interface/gigi.h: Wrap up some prototypes in extern "C" block. * gcc-interface/misc.c: Likewise. * gcc-interface/Make-lang.in (GCC_LINK): Use LINKER. (GNAT1_C_OBJS): Remove ada/b_gnat1.o. List ada/seh_init.o and ada/targext.o here... (GNAT_ADA_OBJS): ...and not here. (GNAT1_ADA_OBJS): Add ada/b_gnat1.o. (GNATBIND_OBJS): Reorder. Co-Authored-By: Eric Botcazou <ebotcazou@adacore.com> From-SVN: r176210
2010-08-21* tracebak.c: Fix typo in comment.Eric Botcazou1-2/+2
From-SVN: r163444
2010-08-18* tracebak.c (i386): Use GCC unwinder on Linux with GCC > 4.5.Eric Botcazou1-0/+7
From-SVN: r163352
2010-05-13tracebak.c (__gnat_backtrace): Mark top_stack with ATTRIBUTE_UNUSED.Andreas Schwab1-2/+2
* tracebak.c (__gnat_backtrace): Mark top_stack with ATTRIBUTE_UNUSED. From-SVN: r159356
2009-07-04re PR ada/40631 (bootstrap with Ada fails on __gnat_backtrace warning on ↵Laurent GUERBY1-6/+5
mips-linux) 2009-07-04 Laurent GUERBY <laurent@guerby.net> PR ada/40631 * tracebak.c (__gnat_backtrace): Fix old-style definition. From-SVN: r149224
2009-07-02* tracebak.c [i386 && sun] (IS_BAD_PTR): Use -1UL in comparison.Rainer Orth1-1/+1
From-SVN: r149182
2009-06-11[multiple changes]Arnaud Charlet1-2/+4
2009-06-11 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb (Resolve_Attribute, case 'access): Add missing accessibiliy check on access_to_subprogram in the context of an anonymous access that is not an access parameter. 2009-06-11 Eric Botcazou <ebotcazou@adacore.com> * tracebak.c (i386 section): Define IS_BAD_PTR on Solaris. 2009-06-11 Quentin Ochem <ochem@adacore.com> * sem_warn.adb, scng.adb, sfn_scan.adb, freeze.adb: Add CODEFIX comments for message handled by GPS. 2009-06-11 Matthew Gingell <gingell@adacore.com> * adaint.c: Use fopen64 instead of fopen on platforms where we know it's supported. 2009-06-11 Pascal Obry <obry@adacore.com> * g-cgi.ads: Fix comment typo. * g-cgi.adb: Properly decode "+" in CGI parameters as spaces. From-SVN: r148392
2009-04-16[multiple changes]Arnaud Charlet1-1/+2
2009-04-16 Tristan Gingold <gingold@adacore.com> * init.c: Detect real stack overflow on Darwin. * system-darwin-x86.ads: Use stack probing on darwin x86. 2009-04-16 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb (Analyze_Attribute, case 'Address): It is illegal to take the address of an intrinsic subprogram. 2009-04-16 Vincent Celier <celier@adacore.com> * g-trasym-unimplemented.ads, g-trasym-unimplemented.adb: New file. * g-trasym.ads: Update comments. 2009-04-16 Vasiliy Fofanov <fofanov@adacore.com> * tracebak.c (STOP_FRAME): Verify validity of the current address before dereferencing. From-SVN: r146182
2008-05-20init.c: Enable stack probing on ppc-linux.Tristan Gingold1-4/+4
2008-05-20 Tristan Gingold <gingold@adacore.com> * init.c: Enable stack probing on ppc-linux. * tracebak.c: Add symbolic traceback for ppc-linux. * system-linux-ppc.ads: Enable stack probing on ppc-linux. From-SVN: r135630
2008-04-13sfn_scan.adb, [...]: Fix comment typos.Ralf Wildenhues1-1/+2
gcc/ada/ * sfn_scan.adb, sfn_scan.ads, sinfo.ads, sinput-d.ads, sinput-l.adb, sinput-l.ads, sinput.ads, snames.ads, sprint.adb, stand.ads, stringt.ads, styleg.adb, styleg.ads, stylesw.adb, stylesw.ads, switch.ads, sysdep.c, table.adb, table.ads, targparm.ads, tb-gcc.c, tbuild.ads, tracebak.c, trans.c, tree_io.adb, treepr.adb, types.adb, types.ads, uintp.adb, uintp.ads, utils.c, utils2.c, validsw.ads, vms_conv.adb, vms_conv.ads, vms_data.ads, widechar.adb, widechar.ads, xeinfo.adb, xgnatugn.adb, xr_tabls.adb, xr_tabls.ads, xref_lib.adb, xref_lib.ads, xsinfo.adb: Fix comment typos. From-SVN: r134243
2007-11-07tracebak.c (i386 alternative): Remove useless comparaison which is always ↵Samuel Tardieu1-2/+0
false... gcc/ada/ * tracebak.c (i386 alternative): Remove useless comparaison which is always false; LOWEST_ADDRESS is 0 and is never greater than an unsigned integer. From-SVN: r129964
2007-10-23re PR bootstrap/33608 (Bootstrap with ada fails linking gnatbind with 4.3 ↵Richard Guenther1-0/+2
host compiler) 2007-10-23 Richard Guenther <rguenther@suse.de> PR bootstrap/33608 * tracebak.c: #undef abort after including system.h. From-SVN: r129576
2007-08-14tracebak.c: Use tb-ivms.c on OpenVMS Itanium.Tristan Gingold1-1/+6
2007-08-14 Tristan Gingold <gingold@adacore.com> * tracebak.c: Use tb-ivms.c on OpenVMS Itanium. * tb-ivms.c: New file. * g-trasym-vms-ia64.adb: Fixed for OpenVMS version 8.2 From-SVN: r127466
2007-06-06tracebak.c (FRAME_OFFSET): Add parameter FP.Eric Botcazou1-12/+13
2007-04-20 Eric Botcazou <ebotcazou@adacore.com> * tracebak.c (FRAME_OFFSET): Add parameter FP. On SPARC/Solaris, do not add the stack bias if the offset is computed from a frame address. (__gnat_backtrace): Adjust for above change. From-SVN: r125472
2007-04-06tracebak.c (PC_ADJUST - ia64): -4 instead of -16...Olivier Hainque1-4/+2
2007-04-06 Olivier Hainque <hainque@adacore.com> * tracebak.c (PC_ADJUST - ia64): -4 instead of -16, expected to yield an address always within the call instruction from a return address. From-SVN: r123602
2006-05-28decl.c, [...]: Fix comment typos.Kazu Hirata1-2/+2
* decl.c, env.c, gigi.h, init.c, initialize.c, raise-gcc.c, sem_ch13.adb, sysdep.c, targtyps.c, tb-alvxw.c, tracebak.c, trans.c, utils.c: Fix comment typos. Follow spelling conventions. * gnat_rm.texi, gnat_ugn.texi, : Fix typos. Follow spelling conventions. From-SVN: r114171
2006-02-15tracebak.c (PPC AIX/Darwin): Define FORCE_CALL to 1.Eric Botcazou1-13/+18
2006-02-13 Eric Botcazou <ebotcazou@adacore.com> * tracebak.c (PPC AIX/Darwin): Define FORCE_CALL to 1. (PPC VxWorks): Likewise. (Generic unwinder): Define FORCE_CALL to 0 if not already defined. (forced_callee): Make non-inlinable and non-pure. (__gnat_backtrace): Call forced_callee if FORCE_CALL is set to 1. From-SVN: r111103
2005-11-15tb-gcc.c (trace_callback): Work around problem with _Unwind_GetIP on ia64 HP-UX.Matthew Gingell1-4/+12
2005-11-14 Matthew Gingell <gingell@adacore.com> Olivier Hainque <hainque@adacore.com> * tb-gcc.c (trace_callback): Work around problem with _Unwind_GetIP on ia64 HP-UX. * tracebak.c (ia64 configuration): Enable _Unwind_Backtrace driven tracebacks on ia64 HP-UX and provide explanatory comment. Enable backtraces on ia64 GNU/Linux. (x86 configuration): Bump FRAME_LEVEL to 1 to ensure we retrieve a real base pointer from builtin_frame_address. Adjust BASE_SKIP accordingly. From-SVN: r106964
2005-07-07tracebak.c: Refine tracebacks to use Unwind_Backtrace scheme on ia64 ↵Bernard Banner1-1/+1
platform only on... 2005-07-07 Bernard Banner <banner@adacore.com> * tracebak.c: Refine tracebacks to use Unwind_Backtrace scheme on ia64 platform only on platforms that you the GCC unwind library rather than the system unwind library. From-SVN: r101699
2005-07-04tracebak.c: Enable tracebacks on ia64 platformsMatthew Gingell1-0/+11
2005-07-04 Matthew Gingell <gingell@adacore.com> * tracebak.c: Enable tracebacks on ia64 platforms From-SVN: r101594
2005-07-01Update FSF addressR. Kelley Cook1-2/+2
From-SVN: r101492
2005-06-16s-mastop-irix.adb (Pop_Frame): Revert shorcuts avoiding calls to exc_unwind...Olivier Hainque1-5/+21
2005-06-14 Olivier Hainque <hainque@adacore.com> Eric Botcazou <ebotcazou@adacore.com> * s-mastop-irix.adb (Pop_Frame): Revert shorcuts avoiding calls to exc_unwind, now that we are generating proper .debug_frame output for that target. * tracebak.c: Remove the mips-irix section, as we are now using the s-mastop based unwinder again. Under SPARC/Solaris, take into account the stack bias to compute the frame offset. The stack bias is 0 for the V8 ABI and 2047 for the V9 ABI. From-SVN: r101012
2005-04-10adaint.c, [...]: Fix comment typos.Kazu Hirata1-1/+1
* adaint.c, init.c, tracebak.c: Fix comment typos. * gnat-style.texi, gnat_rm.texi, gnat_ugn.texi: Fix typos. From-SVN: r97950
2005-04-01adaint.c, [...]: Fix comment typos.Kazu Hirata1-1/+1
* adaint.c, cal.c, decl.c, gigi.h, gmem.c, init.c, link.c, raise.c, tracebak.c, trans.c, utils2.c, utils.c: Fix comment typos. From-SVN: r97369
2005-03-15tracebak.c: Under Darwin, use the same unwinding mechanisms as under PPC/AIX.Nicolas Setton1-3/+3
2005-03-08 Nicolas Setton <setton@adacore.com> * tracebak.c: Under Darwin, use the same unwinding mechanisms as under PPC/AIX. From-SVN: r96485