summaryrefslogtreecommitdiffstats
path: root/gcc/ada/gcc-interface
Commit message (Collapse)AuthorAgeFilesLines
...
* 2008-08-05 Thomas Quinot <quinot@adacore.com>charlet2008-08-052-2/+34
| | | | | | | | | | * xoscons.adb, xutil.ads, xutil.adb, s-oscons-tmplt.c: New files. * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Generate s-oscons.ads git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138705 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-05 Jose Ruiz <ruiz@adacore.com>charlet2008-08-051-6/+17
| | | | | | | | | | | | | | | | * init.c (__gnat_install_handler for linux): If we are building the Xenomai run time then we need to do two additional things: avoid memory swapping and transform the Linux environment task into a native Xenomai task. * gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS for xenomai run time): Use interface to Xenomai native skin and avoid linux-specific way of setting CPU affinity. (EH_MECHANISM for the xenomai run time): Use sjlj exception mechanism. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138684 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-04 Vasiliy Fofanov <fofanov@adacore.com>charlet2008-08-041-4/+13
| | | | | | | | | | | * g-soccon-mingw-64.ads, system-mingw-x86_64.ads: New files. * gcc-interface/Makefile.in: Use 64bit-specific system files when compiling for 64bit windows. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138605 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-04 Doug Rupp <rupp@adacore.com>charlet2008-08-043-16/+23
| | | | | | | | | | | * gigi.h (fill_vms_descriptor): Add third parameter gnat_actual * trans.c (call_to_gnu): Call fill_vms_descriptor with new parameter. * utils2.c (fill_vms_descriptor): Add third parameter for error sloc and use it. Calculate pointer range overflow using 64bit types. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138594 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-04 Doug Rupp <rupp@adacore.com>charlet2008-08-041-4/+5
| | | | | | | | | * utils2.c (fill_vms_descriptor): Use long_integer for comparison. Call add_stmt_with_node to set locus. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138589 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-04 Doug Rupp <rupp@adacore.com>charlet2008-08-041-8/+26
| | | | | | | | | | * gcc-interface/utils2.c: (fill_vms_descriptor): Raise CE if attempt made to pass 64bit pointer in 32bit descriptor. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138588 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/utils2.c (build_binary_op) <PLUS_EXPR, MINUS_EXPR>:ebotcazou2008-08-021-1/+9
| | | | | | | New case. Convert BOOLEAN_TYPE operation to the default integer type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138552 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/ada-tree.h (DECL_PARM_ALT): Now DECL_PARM_ALT_TYPE.ebotcazou2008-08-013-50/+41
| | | | | | | | | | | | * gcc-interface/decl.c (gnat_to_gnu_param): Fix formatting, simplify and adjust for above renaming. * gcc-interface/utils.c (convert_vms_descriptor): Likewise. Add new gnu_expr_alt_type parameter. Convert the expression to it instead of changing its type in place. (build_function_stub): Adjust call to above function. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138518 138bc75d-0d04-0410-961f-82ee72b054a4
* Revert incorrect patch.ebotcazou2008-08-011-30/+36
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138514 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-01  Eric Botcazou  <ebotcazou@adacore.com>ebotcazou2008-08-013-59/+84
| | | | | | | | | | | | | | | | | | | * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Remove dead code.  Do not get full definition of deferred constants with address clause for a use.  Do not ignore deferred constant definitions with address clause.  Ignore constant definitions already marked with the error node. <object>: Remove obsolete comment.  For a deferred constant with address clause, get the initializer from the full view. * gcc-interface/trans.c (gnat_to_gnu) <N_Attribute_Definition_Clause>: Rework and remove obsolete comment. <N_Object_Declaration>: For a deferred constant with address clause, mark the full view with the error node. *  gcc-interface/utils.c (convert_to_fat_pointer): Rework and fix formatting nits. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138513 138bc75d-0d04-0410-961f-82ee72b054a4
* ada/hainque2008-08-011-10/+6
| | | | | | | | | | | | | | * decl.c (gnat_to_gnu_entity) <case E_Function>: Do not turn Ada Pure into GCC const, now implicitely implying nothrow as well. testsuite/ * gnat.dg/raise_from_pure.ad[bs], * gnat.dg/wrap_raise_from_pure.ad[bs]: Support for ... * gnat.dg/test_raise_from_pure.adb: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138509 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-01 Eric Botcazou <ebotcazou@adacore.com>charlet2008-08-011-36/+30
| | | | | | | | | | * gcc-interface/utils.c (convert_vms_descriptor): Add gnu_expr_alt_type parameter. Convert the expression to it instead of changing its type in place. (build_function_stub): Adjust call to above function. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138492 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-01 Doug Rupp <rupp@adacore.com>charlet2008-08-015-60/+263
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat_rm.texi: Document new mechanism Short_Descriptor. * types.ads (Mechanism_Type): Modify range for new Short_Descriptor mechanism values. * sem_prag.adb (Set_Mechanism_Value): Enhance for Short_Descriptor mechanism and Short_Descriptor mechanism values. * snames.adb (preset_names): Add short_descriptor entry. * snames.ads: Add Name_Short_Descriptor. * types.h: Add new By_Short_Descriptor mechanism values. * sem_mech.adb (Set_Mechanism_Value): Enhance for Short_Descriptor mechanism and Short_Descriptor mechanism values. * sem_mech.ads (Mechanism_Type): Add new By_Short_Descriptor mechanism values. (Descriptor_Codes): Modify range for new mechanism values. * treepr.adb (Print_Entity_Enfo): Handle new By_Short_Descriptor mechanism values. * gcc-interface/decl.c (gnat_to_gnu_entity): Handle By_Short_Descriptor. (gnat_to_gnu_param): Handle By_Short_Descriptor. * gcc-interface/gigi.h (build_vms_descriptor64): Remove prototype. (build_vms_descriptor32): New prototype. (fill_vms_descriptor): Remove unneeded gnat_actual parameter. * gcc-interface/trans.c (call_to_gnu): Removed unneeded gnat_actual argument in call fill_vms_descriptor. * 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. (convert_vms_descriptor32): New function. (convert_vms_descriptor64): New function. (convert_vms_descriptor): Rewrite to handle both 32bit and 64bit descriptors. * gcc-interface/utils2.c (fill_vms_descriptor): Revert previous changes, no longer needed. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138473 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity): Fix formatting.ebotcazou2008-07-312-2/+2
| | | | | | | * gcc-interface/utils.c (create_field_decl): Avoid superfluous work. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138440 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-07-31 Jose Ruiz <ruiz@adacore.com>charlet2008-07-311-1/+3
| | | | | | | | | | | | | | | * s-parame-vxworks.adb Document that this body is used for RTX in RTSS (kernel) mode. * gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS for the rtx_rtss run time): Use the s-parame-vxworks.adb body in order to have reasonable stack sizes in RTX RTSS kernel mode. Virtual memory is not used in that case, so we cannot ask for too big values. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138418 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-07-31 Geert Bosch <bosch@adacore.com>charlet2008-07-314-5/+193
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * arit64.c: New file implementing __gnat_mulv64 signed integer multiplication with overflow checking * fe.h (Backend_Overflow_Checks_On_Target): Define for use by Gigi * gcc-interface/gigi.h: (standard_types): Add ADT_mulv64_decl (mulv64_decl): Define subprogram declaration for __gnat_mulv64 * gcc-interface/utils.c: (init_gigi_decls): Add initialization of mulv64_decl * gcc-interface/trans.c: (build_unary_op_trapv): New function (build_binary_op_trapv): New function (gnat_to_gnu): Use the above functions instead of build_{unary,binary}_op * gcc-interface/Makefile.in (LIBGNAT_SRCS): Add arit64.c (LIBGNAT_OBJS): Add arit64.o git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138384 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-07-30 Aaron W. LaFramboise <aaronavay62@aaronwl.com>aaronwl2008-07-311-1/+1
| | | | | | | | | * Makefile.in (EXTRA_GNATRTL_NONTASKING_OBJS) [WINDOWS]: Add s-winext.o. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138353 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/36554ebotcazou2008-07-305-13/+66
| | | | | | | | | | | | | | | | | | | | | | | | * dwarf2out.c (is_subrange_type): Deal with BOOLEAN_TYPE. ada/ * back_end.adb (Call_Back_End): Pass Standard_Boolean to gigi. * gcc-interface/gigi.h (gigi): Take new standard_boolean parameter. * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Enumeration_Subtype>: Set precision to 1 for subtype of BOOLEAN_TYPE. (set_rm_size): Set TYPE_RM_SIZE_NUM for BOOLEAN_TYPE. (make_type_from_size): Deal with BOOLEAN_TYPE. * gcc-interface/misc.c (gnat_print_type): Likewise. * gcc-interface/trans.c (gigi): Take new standard_boolean parameter. Set boolean_type_node as its translation in the table, as well as boolean_false_node for False and boolean_true_node for True. * gcc-interface/utils.c (gnat_init_decl_processing): Create custom 8-bit boolean_type_node and set its TYPE_RM_SIZE_NUM. (create_param_decl): Deal with BOOLEAN_TYPE. (build_vms_descriptor): Likewise. (build_vms_descriptor64): Likewise. (convert): Deal with BOOLEAN_TYPE like with ENUMERAL_TYPE. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138348 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-07-30 Doug Rupp <rupp@adacore.com>charlet2008-07-306-17/+389
| | | | | | | | | | | | | | | | | | | | | | | | * gigi.h (build_vms_descriptor64): New function prototype. (fill_vms_descriptor): Modified function prototype. * utils.c (build_vms_descriptor64): New function. * utils2.c (fill_vms_descriptor): Fix handling on 32bit systems. * trans.c (call_to_gnu): Call fill_vms_descriptor with new third argument. * decl.c (gnat_to_gnu_tree): For By_Descriptor mech, build both a 64bit and 32bit descriptor and save the 64bit version as an alternate TREE_TYPE in the parameter. (make_type_from_size) <RECORD_TYPE>: Use the appropriate mode for the thin pointer. * ada-tree.h (DECL_PARM_ALT, SET_DECL_PARM_ALT): New macros. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138307 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-07-30 Jose Ruiz <ruiz@adacore.com>charlet2008-07-301-6/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * adaint.c (__gnat_file_exists): Do not use __gnat_stat for RTX. (__main for RTX in RTSS mode): Create this dummy procedure symbol to avoid the use of this symbol from libgcc.a in RTX kernel mode. * 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. * gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS for RTX): Use gcc exception handling mechanism for Windows and RTX in Win32 mode, but not for RTX in kernel mode (RTSS). (LIBGNAT_SRCS): Remove ada.h git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138305 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-07-30 Paolo Bonzini <bonzini@gnu.org>bonzini2008-07-302-37/+19
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * configure.ac: Add makefile fragments for hpux. * Makefile.def (flags_to_pass): Add ADA_CFLAGS. * Makefile.tpl (HOST_EXPORTS): Pass ADA_CFLAGS. * configure: Regenerate. * Makefile.in: Regenerate. config: 2008-07-30 Paolo Bonzini <bonzini@gnu.org> * mh-pa: New, from gcc/config/pa/x-ada. * mh-pa-hpux10: New, from gcc/config/pa/x-ada-hpux10. gcc: 2008-07-30 Paolo Bonzini <bonzini@gnu.org> * configure.ac: Substitute ADA_CFLAGS. * configure: Regenerate. * config.host: Remove mention of pa/x-ada and pa/x-ada-hpux10 files. * Makefile.in: Remove mention of X_* variables. * config/pa/x-ada-hpux10: Remove. * config/pa/x-ada: Remove. * doc/fragments.texi: Update. gcc/ada: 2008-07-30 Paolo Bonzini <bonzini@gnu.org> * gcc-interface/Make-lang.in (ALL_ADAFLAGS): Remove X_ADAFLAGS and T_ADAFLAGS, replace ALL_ADA_CFLAGS with ADA_CFLAGS. (ALL_ADA_CFLAGS): Remove, replace throughout with ADA_CFLAGS. * gcc-interface/Makefile.in (XCFLAGS, X_CFLAGS, X_CPPFLAGS, T_CPPFLAGS, X_ADA_CFLAGS, T_ADA_CFLAGS, X_ADAFLAGS, T_ADAFLAGS, ADA_CFLAGS, ALL_ADA_CFLAGS): Remove. (ALL_ADAFLAGS, MOST_ADAFLAGS): Remove X_ADAFLAGS and T_ADAFLAGS, replace ALL_ADA_CFLAGS with ADA_CFLAGS. (GCC_CFLAGS): Remove X_CFLAGS. (LOOSE_CFLAGS): Remove X_CFLAGS and XCFLAGS. (ALL_CPPFLAGS): Remove X_CPPFLAGS and T_CPPFLAGS. (ADA_CFLAGS): Substitute. gnattools: 2008-07-30 Paolo Bonzini <bonzini@gnu.org> * configure.ac (x_ada_cflags): Remove. (ADA_CFLAGS): Substitute. * configure: Regenerate. * Makefile.in (ADA_CFLAGS): Substitute. (T_ADA_CFLAGS, X_ADA_CFLAGS, ALL_ADA_CFLAGS): Remove. (TOOLS_FLAGS_TO_PASS_1, TOOLS_FLAGS_TO_PASS_1re, TOOLS_FLAGS_TO_PASS_NATIVE, TOOLS_FLAGS_TO_PASS_CROSS): Pass ADA_CFLAGS. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138301 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ChangeLogguerby2008-07-302-87/+102
| | | | | | | | | | | | | | | | | | | | | | 2008-07-29 Laurent Guerby <laurent@guerby.net> PR ada/5911 * gnattools/Makefile.in: Replace stamp-gnatlib by stamp-gnatlib-rts. gcc/ada/ChangeLog 2008-07-29 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138294 138bc75d-0d04-0410-961f-82ee72b054a4
* * trans.c (process_inlined_subprograms): Remove tree_really_inlinecharlet2008-07-291-2/+2
| | | | | | | check. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138261 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface: New directory.charlet2008-07-2917-0/+31325
* ada-tree.def, cuintp.c, gigi.h, Makefile.in, targtyps.c, ada.h, utils.c, ada-tree.h, decl.c, lang.opt, Make-lang.in, trans.c, config-lang.in, deftarg.c, lang-specs.h, misc.c, utils2.c: Moved to gcc-interface subdirectory. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138246 138bc75d-0d04-0410-961f-82ee72b054a4
OpenPOWER on IntegriCloud