summaryrefslogtreecommitdiff
path: root/gcc/ada
Commit message (Collapse)AuthorAgeFilesLines
* PR ada/24880ebotcazou2008-05-132-1/+33
| | | | | | | | | | | PR ada/26635 * utils.c (convert) <INTEGER_TYPE>: When converting an additive expression to an integral type with lower precision, use NOP_EXPR directly in a couple of special cases. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@135257 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/sam2008-05-122-12/+27
| | | | | | | | | | | * sem_ch3.adb (Build_Derived_Record_Type): Accept statically matching constraint expressions. gcc/testsuite/ * gnat.dg/specs/statically_matching.ads: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@135230 138bc75d-0d04-0410-961f-82ee72b054a4
* * utils2.c (known_alignment, contains_save_expr_p)tomby2008-05-125-20/+23
| | | | | | | | | | | | | | | | | | | (gnat_mark_addressable): Use CASE_CONVERT. * decl.c (annotate_value): Likewise. * trans.c (maybe_stabilize_reference): Likewise. * utils2.c (build_binary_op): Use CONVERT_EXPR_P. * utils.c (rest_of_record_type_compilation): Likewise. * trans.c (protect_multiple_eval, Attribute_to_gnu) (protect_multiple_eval): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@135215 138bc75d-0d04-0410-961f-82ee72b054a4
* * utils.c (handle_pure_attribute, init_gigi_decls): Renameschwab2008-05-082-3/+8
| | | | | | | DECL_IS_PURE to DECL_PURE_P. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@135078 138bc75d-0d04-0410-961f-82ee72b054a4
* * decl.c (maybe_pad_type): Add ??? comment.ebotcazou2008-05-052-1/+11
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134953 138bc75d-0d04-0410-961f-82ee72b054a4
* * decl.c (components_to_record): Zero the alignment of the qualifiedebotcazou2008-05-032-0/+6
| | | | | | | | union built for the variant part upon creating it. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134917 138bc75d-0d04-0410-961f-82ee72b054a4
* * decl.c (maybe_pad_type): Try to get a form of the type with integralebotcazou2008-05-035-73/+114
| | | | | | | | | | | | | | | mode even if the alignment is not a factor of the original size. But make sure to create the inner field with the original size. Reorder. * trans.c (addressable_p) <COMPONENT_REF>: Treat the field of a padding record as always addressable. * utils.c (convert): Deal specially with conversions between original and packable versions of a record type. * utils2.c (build_binary_op) <MODIFY_EXPR>: Be more restrictive when recognizing an assignment between padded objects. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134916 138bc75d-0d04-0410-961f-82ee72b054a4
* * decl.c (make_packable_type): Resize the last component to its RM sizeebotcazou2008-05-013-7/+23
| | | | | | | | | | only if it is of an aggregate type. * trans.c (call_to_gnu): Fix nit in comment. (gnat_to_gnu): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134848 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/sam2008-04-302-1/+7
| | | | | | * Makefile.in: Adapt sh4-linux target. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134819 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-04-29 Ed Schonberg <schonberg@adacore.com>sam2008-04-292-5/+24
| | | | | | | | | | | | | | | | gcc/ada/ PR ada/35792 * sem_ch3.adb (Find_Type_Name): Refuse completion of an incomplete tagged type by an untagged protected or task type. 2008-04-29 Samuel Tardieu <sam@rfc1149.net> gcc/testsuite/ PR ada/35792 * gnat.dg/specs/tag2.ads: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134810 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/36007ebotcazou2008-04-282-1/+10
| | | | | | | | | | * decl.c (gnat_to_gnu_entity) <object>: Do not promote alignment of aliased objects with an unconstrained nominal subtype. Cap the promotion to the effective alignment of the word mode. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134766 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/rwild2008-04-282-9/+15
| | | | | | | | | * Make-lang.in (ada.tags, check-acats, ada/treeprs.ads) (ada/einfo.h, ada/sinfo.h, ada/nmake.adb, ada/nmake.ads): Use '&&' instead of ';'. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134765 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-04-24 Olivier Hainque <hainque@adacore.com>hainque2008-04-242-11/+15
| | | | | | | | | | | | | | ada/ * trans.c (Attribute_to_gnu) <case Attr_Length>: Length * computation doesn't require signed arithmetic anymore. testsuite/ * gnat.dg/concat_length.adb: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134627 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-04-23 Paolo Bonzini <bonzini@gnu.org>bonzini2008-04-233-5/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * tree-cfg.c (verify_expr): Check with is_gimple_address. Don't check TREE_INVARIANT. * tree-gimple.c (is_gimple_address): New. (is_gimple_invariant_address): Simplify using decl_address_invariant_p. * tree-gimple.h (is_gimple_address): New. * tree.h (decl_address_invariant_p): New. * tree.c (make_node_stat): Don't set TREE_INVARIANT. (build_string): Likewise. (decl_address_invariant_p): New, from is_gimple_invariant_address. (tree_invariant_p_1): Likewise. (save_expr): Use it. (tree_invariant_p): New. (skip_simple_arithmetic): Use it. (stabilize_reference_1): Use it. (recompute_tree_invariant_for_addr_expr): Don't update TREE_INVARIANT, simplify. (build1_stat): Drop code to compute TREE_INVARIANT. (build2_stat): Drop code to compute TREE_INVARIANT. (build3_stat): Drop code to compute TREE_INVARIANT. (build4_stat): Drop code to compute TREE_INVARIANT. (build5_stat): Drop code to compute TREE_INVARIANT. (build7_stat): Drop code to compute TREE_INVARIANT. (merge_dllimport_decl_attributes): Don't mention TREE_INVARIANT. * tree.h (struct tree_base): Remove invariant_flag. (TREE_INVARIANT): Remove. * builtins.c (build_string_literal): Don't set TREE_INVARIANT. (fold_builtin_expect): Check TREE_CONSTANT. * tree-ssa-ccp.c (fold_stmt_r): Adjust comment. * c-tree.h (c_expr_to_decl): Drop third parameter. * c-typeck.c (build_external_ref): Don't set TREE_INVARIANT. (build_c_cast): Don't set TREE_INVARIANT. (pop_init_level): Don't set TREE_INVARIANT. (c_objc_common_truthvalue_conversion): Don't set TREE_INVARIANT. * gimplify.c (gimplify_init_ctor_preeval): Add assertion, test TREE_CONSTANT. (gimplify_init_constructor): Don't set TREE_INVARIANT. (gimplify_addr_expr): Adjust comment. * tree-mudflap.c (mf_build_string): * print-tree.c (print_node): Don't print TREE_INVARIANT. * tree-nested.c (convert_nonlocal_reference): Adjust comment. * c-common.c (fix_string_type): Don't set TREE_INVARIANT. * langhooks-def.h (lhd_expr_to_decl): Drop third parameter. * langhooks.c (lhd_expr_to_decl): Drop third parameter. * langhooks.h (struct lang_hooks): Drop third parameter from expr_to_decl. java: 2008-04-23 Paolo Bonzini <bonzini@gnu.org> * class.c (build_utf8_ref): Don't set TREE_INVARIANT. (build_classdollar_field): Don't set TREE_INVARIANT. (get_dispatch_table): Don't set TREE_INVARIANT. (make_class_data): Don't set TREE_INVARIANT. (build_symbol_entry): Don't set TREE_INVARIANT. (emit_symbol_table): Don't set TREE_INVARIANT. * constants.c (build_constant_data_ref): Don't set TREE_INVARIANT. (build_ref_from_constant_pool): Don't set TREE_INVARIANT. * resource.c (compile_resource_data): Don't set TREE_INVARIANT. * expr.c (cache_cpool_data_ref): Don't set TREE_INVARIANT. objc: 2008-04-23 Paolo Bonzini <bonzini@gnu.org> * objc-act.c (objc_build_string_object): Don't set TREE_INVARIANT. cp: 2008-04-23 Paolo Bonzini <bonzini@gnu.org> * typeck.c (get_member_function_from_ptrfunc): Don't set TREE_INVARIANT. (build_ptrmemfunc1): Don't set TREE_INVARIANT. * init.c (build_zero_init): Don't set TREE_INVARIANT. * class.c (build_base_path): Don't set TREE_INVARIANT. (build_vtbl_ref_1): Don't set TREE_INVARIANT. (build_vtbl_initializer): Don't set TREE_INVARIANT. * decl.c (build_enumerator): Don't set TREE_INVARIANT. * rtti.c (tinfo_base_init): Don't set TREE_INVARIANT. (generic_initializer): Don't set TREE_INVARIANT. (ptr_initializer): Don't set TREE_INVARIANT. (ptm_initializer): Don't set TREE_INVARIANT. (class_initializer): Don't set TREE_INVARIANT. * typeck2.c (process_init_constructor): Don't set TREE_INVARIANT. * pt.c (push_inline_template_parms_recursive): Don't set TREE_INVARIANT. (build_template_parm_index): Don't set TREE_INVARIANT. (reduce_template_parm_level): Don't set TREE_INVARIANT. (process_template_parm): Don't set TREE_INVARIANT. ada: 2008-04-23 Paolo Bonzini <bonzini@gnu.org> * trans.c (Attribute_to_gnu): Don't set TREE_INVARIANT. (call_to_gnu): Don't set TREE_INVARIANT. * utils2.c (gnat_build_constructor): Don't set TREE_INVARIANT. fortran: 2008-04-23 Paolo Bonzini <bonzini@gnu.org> * trans-expr.c (gfc_conv_structure): Don't set TREE_INVARIANT. * trans-array.c (gfc_build_null_descriptor): Don't set TREE_INVARIANT. (gfc_trans_array_constructor_value): Don't set TREE_INVARIANT. (gfc_build_constant_array_constructor): Don't set TREE_INVARIANT. (gfc_conv_array_initializer): Don't set TREE_INVARIANT. * trans-common.c (get_init_field): Don't set TREE_INVARIANT. (create_common): Don't set TREE_INVARIANT. * trans-stmt.c (gfc_trans_character_select): Don't set TREE_INVARIANT. * trans-decl.c (gfc_generate_function_code): Don't set TREE_INVARIANT. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134599 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-04-22 Joel Sherrill <joel.sherrill@oarcorp.com>joel2008-04-223-8/+52
| | | | | | | | | | | | * s-osinte-rtems.adb: Add sigalstack function. * s-osinte-rtems.ads: Add SO_ONSTACK and sigalstack function. Add Alternate_Stack and Alternate_Stack_Size. Add missing process_shared field to pthread_condattr_t and change ss_low_priority to int from timespec. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134560 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/sam2008-04-222-2/+8
| | | | | | | * i-forbla.adb: Link against -llapack and -lblas by default instead of the private -lgnalasup. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134550 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-04-21 Olivier Hainque <hainque@adacore.com>hainque2008-04-213-72/+737
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ada/ Access to most C builtins from Ada * utils.c: #include "langhooks.h" and define GCC_DIAG_STYLE. (handle_pure_attribute, handle_novops_attribute, handle_nonnull_attribute, handle_sentinel_attribute, handle_noreturn_attribute, handle_malloc_attribute, handle_type_generic_attribute): New attribute handlers, from C fe. (gnat_internal_attribute_table): Map the new handlers. (gnat_init_decl_processing): Move call to gnat_install_builtins to ... (init_gigi_decls): ... here. (handle_const_attribute, handle_nothrow_attribute, builtin_decl_for): Move to a section dedicated to builtins processing. (build_void_list_node, builtin_type_for_size): New functions. (def_fn_type, get_nonnull_operand): Likewise. (install_builtin_elementary_type, install_builtin_function_types, install_builtin_attributes): Likewise. (fake_attribute_handler): Fake handler for attributes we don't support in Ada. (def_builtin_1): New function, worker for DEF_BUILTIN. (install_builtin_functions): New function. (gnat_install_builtins): Move to the builtins processing section. Now calling the newly introduced installers. testsuite/ * gnat.dg/bltins.adb: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134504 138bc75d-0d04-0410-961f-82ee72b054a4
* * decl.c (gnat_to_gnu_entity) <object>: Also promote the alignment ofebotcazou2008-04-205-17/+33
| | | | | | | | | | | | | constant objects, but not exceptions. * trans.c (add_decl_expr): Use gnat_types_compatible_p for type compatibility test. * utils.c (create_var_decl_1): Likewise. * utils2.c (build_binary_op) <MODIFY_EXPR>: Also use the padded view of the type when copying to padded object and the source is a constructor. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134483 138bc75d-0d04-0410-961f-82ee72b054a4
* * decl.c (gnat_to_gnu_entity) <object>: When trying to promote theebotcazou2008-04-192-3/+9
| | | | | | | | | alignment, reset it to zero if it would end up not being greater than that of the type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134461 138bc75d-0d04-0410-961f-82ee72b054a4
* * decl.c (maybe_pad_type): Only generate the XVS parallel type ifebotcazou2008-04-182-3/+9
| | | | | | | | the padded type has a variable size. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134443 138bc75d-0d04-0410-961f-82ee72b054a4
* * decl.c (gnat_to_gnu_entity) <E_Subprogram_Type>: Use the return byebotcazou2008-04-182-5/+12
| | | | | | | | target pointer mechanism as soon as the size is not constant. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134433 138bc75d-0d04-0410-961f-82ee72b054a4
* * gigi.h (create_var_decl_1): Declare.ebotcazou2008-04-183-59/+51
| | | | | | | | | | | | (create_var_decl): Turn into a macro invoking create_var_decl_1. (create_true_var_decl): Likewise. * utils.c (create_var_decl_1): Make global and reorder parameters. (create_var_decl): Delete. (create_true_var_decl): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134429 138bc75d-0d04-0410-961f-82ee72b054a4
* * decl.c (gnat_to_gnu_entity) <object>: Promote the alignment ofebotcazou2008-04-174-12/+9
| | | | | | | | | | objects by default. * fe.h (Debug_Flag_Dot_A): Delete. * debug.adb (-gnatd.a): Update documentation. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134390 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/sam2008-04-173-5/+11
| | | | | | | * g-socket.ads, g-socket.adb (Get_Address): Make Stream a "not null" parameter. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134386 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/sam2008-04-172-3/+8
| | | | | | | * g-socket.adb: Add a message "IPv6 not supported" to the Socket_Error exception. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134385 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/sam2008-04-162-1/+7
| | | | | | | | | | | | | PR ada/29015 * sem_ch12.adb (Instantiate_Type): Check whether the full view of the type is known instead of the underlying type. gcc/testsuite/ PR ada/29015 * gnat.dg/incomplete1.ads, gnat.dg/incomplete2.ads, gnat.dg/incomplete2.adb: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134345 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-04-15 Ed Schonberg <schonberg@adacore.com>sam2008-04-152-6/+30
| | | | | | | | | | | | | | | | | gcc/ada/ PR ada/22387 * exp_ch5.adb (Expand_Assign_Record): Within an initialization procedure for a derived type retrieve the discriminant values from the parent using the corresponding discriminant. 2008-04-15 Samuel Tardieu <sam@rfc1149.net> gcc/testsuite/ PR ada/22387 * gnat.dg/specs/corr_discr.ads: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134326 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-04-15 Samuel Tardieu <sam@rfc1149.net>sam2008-04-152-2/+20
| | | | | | | | | | | | | Gary Dismukes <dismukes@adacore.com> gcc/ada/ PR ada/28733 * sem_ch8.adb (Analyze_Use_Package): Do not allow "use" of something which is not an entity (and hence not a package). (End_Use_Package): Ditto. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134313 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-04-15 Ed Schonberg <schonberg@adacore.com>sam2008-04-152-12/+28
| | | | | | | | | | | | | | | | | gcc/ada/ PR ada/16086 * sem_ch12.adb (Analyze_Formal_Subprogram): The default can be any protected operation that matches the signature, not only an entry, a regular subprogram or a literal. 2008-04-15 Samuel Tardieu <sam@rfc1149.net> gcc/testsuite/ PR ada/16086 * gnat.dg/prot_def.adb: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134312 138bc75d-0d04-0410-961f-82ee72b054a4
* * ada-tree.h (DECL_BY_COMPONENT_PTR_P): Use DECL_LANG_FLAG_3.ebotcazou2008-04-155-37/+68
| | | | | | | | | | | | | | | | | * decl.c (gnat_to_gnu_entity) <object>: Call maybe_pad_type only if a size or alignment is specified. Do not take into account alignment promotions for the computation of the object's size. <type>: Call maybe_pad_type only if a size or alignment is specified. (maybe_pad_type): Really reuse the RM_Size of the original type if requested. * trans.c (Attribute_to_gnu): Fix a couple of nits. * utils2.c (build_binary_op) <MODIFY_EXPR>: Merge related conditional statements. Use the padded view of the type when copying between padded objects of the same underlying type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134310 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/rwild2008-04-1451-71/+91
| | | | | | | | | | | | | | | | | | | | | | | * vms_data.ads: Fix typo in constant. * gen-soccon.c: Fix typo in error string. * gnat_rm.texi (Pragma Optimize_Alignment, Pragma Postcondition): Fix typos. * a-calcon.ads, a-calend-vms.adb, a-calend.adb, a-crdlli.ads, bcheck.adb, checks.adb, einfo.ads, errout.adb, erroutc.adb, erroutc.ads, exp_attr.adb, exp_ch11.adb, exp_ch2.adb, exp_ch5.adb, exp_ch9.adb, exp_ch9.ads, exp_pakd.adb, exp_util.adb, fmap.adb, g-soccon-linux-mips.ads, g-soccon-rtems.ads, g-timsta.adb, g-timsta.ads, lib-writ.ads, mlib-tgt-specific-linux.adb, mlib-tgt-specific-tru64.adb, s-interr-vxworks.adb, s-interr.adb, s-osinte-lynxos.ads, s-rident.ads, s-taprop-solaris.adb, s-tassta.adb, s-win32.ads, sem_aggr.adb, sem_attr.ads, sem_ch10.adb, sem_ch13.ads, sem_ch3.adb, sem_ch6.adb, sem_ch7.adb, sem_ch8.adb, sem_ch9.adb, sem_prag.ads, sem_res.adb, sem_util.adb, sem_util.ads, sinfo.ads: Fix typos in comments. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134291 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-04-14 Robert Dewar <dewar@adacore.com>sam2008-04-142-3/+8
| | | | | | | | | | | gcc/ada/ * sem_prag.adb (Analyze_Pragma, Linker_Section case): Extend error to every non-object and change error message. gcc/testsuite/ * gnat.dg/specs/linker_section.ads: Check for more error conditions. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134280 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-04-14 Robert Dewar <dewar@adacore.com>sam2008-04-144-16/+7
| | | | | | | | | gcc/ada/ * sem_util.ads, sem_util.adb (In_Subprogram): Remove. * sem_attr.adb (Anayze_Attribute): Check for Current_Subprogram directly. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134273 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/sam2008-04-142-0/+12
| | | | | | | | | | | | PR ada/18680 * sem_prag.adb (Analyze_Pragma, Linker_Section case): Refuse to apply pragma Linker_Section on type. gcc/testsuite/ PR ada/18680 * gnat.dg/specs/linker_section.ads: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134266 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/sam2008-04-142-0/+36
| | | | | | | | | | | | | PR ada/16098 * sem_prag.adb (Error_Pragma_Ref): New. (Process_Convention): Specialized message for non-local subprogram renaming. Detect the problem in homonyms as well. gcc/testsuite/ PR ada/16098 * gnat.dg/specs/renamings.ads: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134262 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/sam2008-04-145-1/+26
| | | | | | | | | | | | | | PR ada/15915 * sem_util.ads, sem_util.adb (Denotes_Variable): New function. * sem_ch12.adb (Instantiate_Object): Use it. * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Ensure that storage pool denotes a variable as per RM 13.11(15). gcc/testsuite/ PR ada/15915 * gnat.dg/specs/storage.ads: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134261 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/sam2008-04-144-1/+21
| | | | | | | | | | * sem_util.ads, sem_util.adb (In_Subprogram): New function. * sem_attr.adb (Analyze_Attribute, Attribute_Old case): Use it. gcc/testsuite/ * gnat.dg/deep_old.adb: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134260 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-04-14 Rolf Ebert <rolf.ebert.gcc@gmx.de>sam2008-04-142-5/+33
| | | | | | | | | | | gcc/ada/ PR ada/20822 * xgnatugn.adb (Put_Line): New procedure, ensuring Unix line endings even on non-Unix platforms. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134257 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/sam2008-04-142-13/+22
| | | | | | | | | | PR ada/35050 * xref_lib.adb (Parse_Identifier_Info): Correctly parse and ignore the renaming information. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134256 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/sam2008-04-132-1/+9
| | | | | | | | | | | | | PR ada/17985 * sem_aggr.adb (Valid_Ancestor_Type): A type is not an ancestor of itself. gcc/testsuite/ PR ada/17985 * gnat.dg/ancestor_type.ads, gnat.dg/ancestor_type.adb: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134244 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/rwild2008-04-1346-191/+206
| | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134243 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/rwild2008-04-1332-215/+227
| | | | | | | | | | | | | | | * sem_ch10.adb, sem_ch10.ads, sem_ch12.adb, sem_ch12.ads, sem_ch13.adb, sem_ch13.ads, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_ch6.ads, sem_ch8.adb, sem_ch8.ads, sem_ch9.adb, sem_elab.adb, sem_elab.ads, sem_elim.ads, sem_eval.adb, sem_eval.ads, sem_intr.adb, sem_mech.adb, sem_mech.ads, sem_prag.adb, sem_prag.ads, sem_res.adb, sem_res.ads, sem_type.adb, sem_util.adb, sem_util.ads, sem_warn.adb, sem_warn.ads: Fix comment typos. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134242 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/rwild2008-04-1362-167/+192
| | | | | | | | | | | | | | | | | | | | | | | | * s-secsta.adb, s-sequio.ads, s-shasto.ads, s-soflin.ads, s-stalib.ads, s-stausa.adb, s-stausa.ads, s-strxdr.adb, s-taenca.adb, s-taenca.ads, s-taprob.adb, s-taprop-hpux-dce.adb, s-taprop-irix.adb, s-taprop-linux.adb, s-taprop-mingw.adb, s-taprop-posix.adb, s-taprop-solaris.adb, s-taprop-tru64.adb, s-taprop-vms.adb, s-taprop-vxworks.adb, s-taprop.ads, s-tarest.adb, s-tarest.ads, s-tasini.adb, s-tasini.ads, s-taskin.ads, s-tasque.ads, s-tassta.adb, s-tassta.ads, s-tasuti.ads, s-tpoben.adb, s-tpoben.ads, s-tpobop.adb, s-tpopsp-posix.adb, s-tpopsp-rtems.adb, s-tposen.adb, s-tposen.ads, s-traceb-hpux.adb, s-traces.ads, s-trafor-default.ads, s-unstyp.ads, s-utf_32.ads, s-vaflop.adb, s-vaflop.ads, s-valrea.adb, s-valuti.adb, s-wchstw.ads, s-wchwts.adb, s-wchwts.ads, scans.ads, scn.adb, scng.adb, seh_init.c, sem.ads, sem_aggr.adb, sem_attr.adb, sem_attr.ads, sem_case.adb, sem_case.ads, sem_cat.adb, sem_cat.ads: Fix comment typos. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134241 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-04-12 Joel Sherrill <joel@oarcorp.com>sam2008-04-122-0/+6
| | | | | | | | | gcc/ada/ PR ada/35825 * g-soccon-rtems.ads: Add IP_PKTINFO as unsupported. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134230 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/35917charlet2008-04-122-1/+5
| | | | | | | * s-linux-hppa.ads: Fix syntax errors. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134226 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/rwild2008-04-1069-155/+183
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat_ugn.texi: Fix typos. * raise-gcc.c, repinfo.adb, repinfo.ads, restrict.adb, restrict.ads, rtsfind.adb, rtsfind.ads, s-arit64.ads, s-asthan-vms-alpha.adb, s-auxdec.ads, s-casuti.ads, s-fatflt.ads, s-fatgen.adb, s-fatlfl.ads, s-fatllf.ads, s-fatsfl.ads, s-filofl.ads, s-finimp.adb, s-finroo.ads, s-fishfl.ads, s-fvadfl.ads, s-fvaffl.ads, s-fvagfl.ads, s-hibaen.ads, s-htable.ads, s-imgcha.adb, s-imgenu.ads, s-imgint.adb, s-imgrea.adb, s-inmaop-dummy.adb, s-inmaop.ads, s-interr-vms.adb, s-interr-vxworks.adb, s-interr.adb, s-interr.ads, s-intman-vxworks.ads, s-intman.ads, s-mastop-irix.adb, s-os_lib.adb, s-os_lib.ads, s-osinte-aix.ads, s-osinte-darwin.ads, s-osinte-freebsd.ads, s-osinte-hpux.ads, s-osinte-lynxos-3.adb, s-osinte-lynxos-3.ads, s-osinte-lynxos.ads, s-osinte-rtems.ads, s-osinte-solaris-posix.ads, s-osprim-mingw.adb, s-osprim-vms.adb, s-parame-ae653.ads, s-parame-hpux.ads, s-parame-vms-alpha.ads, s-parame-vms-ia64.ads, s-parame-vms-restrict.ads, s-parame-vxworks.ads, s-parame.ads, s-parint.adb, s-parint.ads, s-poosiz.adb, s-proinf-irix-athread.ads, s-proinf.ads, s-regexp.adb, s-regpat.adb, s-regpat.ads, s-rident.ads: Fix comment typos. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134177 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ada/sam2008-04-092-2/+14
| | | | | | | | | | | | | | | PR ada/28305 * sem_ch6.adb (Build_Body_To_Inline): Do not save and restore environment if generic instance is a top-level one. gcc/testsuite/ PR ada/28305 * gnat.dg/specs/fe_inlining.ads, gnat.dg/specs/fe_inlining_helper.ads, gnat.dg/specs/fe_inlining_helper.adb: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134142 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-04-09 Doug Rupp <rupp@adacore.com>charlet2008-04-0913-30/+117
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * decl.c (validate_size): Set minimum size for fat pointers same as access types. Code clean ups. * gmem.c (xstrdup32): New macro for 32bit dup on VMS, noop otherwise (__gnat_gmem_a2l_initialize): Dup exename into 32 bit memory on VMS * s-auxdec-vms_64.ads, s-auxdec.ads (Short_Address_Size): New constant * s-crtl.ads (malloc32) New function, alias for malloc (realloc32) New function, alias for realloc * socket.c (__gnat_new_socket_set): Malloc fd_set in 32 bits on VMS * utils2.c (build_call_alloc_dealloc): Return call to short malloc if allocator size is 32 and default pointer size is 64. (find_common_type): Document assumption on t1/t2 vs lhs/rhs. Force use of lhs type if smaller, whatever the modes. * gigi.h (malloc32_decl): New macro definition * utils.c (init_gigi_decls): New malloc32_decl Various code clean ups. * s-asthan-vms-alpha.adb (Process_AST.To_Address): Unchecked convert to Task_Address vice System.Address. * s-taspri-vms.ads: Import System.Aux_DEC (Task_Address): New subtype of System.Aux_DEC.Short_Address (Task_Address_Size): New constant size of System.Aux_DEC.Short_Address * s-asthan-vms-alpha.adb (Process_AST.To_Address): Unchecked convert to Task_Address vice System.Address. * s-inmaop-vms.adb: Import System.Task_Primitives (To_Address): Unchecked convert to Task_Address vice System.Address * s-taprop-vms.adb (Timed_Delay): Always set the timer even if delay expires now. (To_Task_ID) Unchecked convert from Task_Adddress vice System.Address (To_Address) Unchecked convert to Task_Address vice System.Address * s-tpopde-vms.adb: Remove unnecessary warning pragmas * g-socthi-vms.ads: Add 32bit size clauses on socket access types. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134131 138bc75d-0d04-0410-961f-82ee72b054a4
* * gigi.h (standard_datatypes): Add ADT_fdesc_type and ADT_null_fdesc.ebotcazou2008-04-085-3/+126
| | | | | | | | | | | | | | | | | | | | | | | | (fdesc_type_node): Define. (null_fdesc_node): Likewise. * decl.c (gnat_to_gnu_entity) <E_Access_Subprogram_Type>: If the target uses descriptors for vtables and the type comes from a dispatch table, return the descriptor type. * trans.c (Attribute_to_gnu) <Attr_Unrestricted_Access>: If the target uses descriptors for vtables and the type comes from a dispatch table, build a descriptor in the static case and copy the existing one in the non-static case. (gnat_to_gnu) <N_Null>: If the target uses descriptors for vtables and the type is a pointer-to-subprogram coming from a dispatch table, return the null descriptor. <N_Unchecked_Type_Conversion>: If the target uses descriptors for vtables, the source type is the descriptor type and the target type is a pointer type, first build the pointer. * utils.c (init_gigi_decls): If the target uses descriptors for vtables build the descriptor type and the null descriptor. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134101 138bc75d-0d04-0410-961f-82ee72b054a4
* * decl.c (prepend_attributes): Fix typo.ebotcazou2008-04-086-11/+16
| | | | | | | | | * trans.c (Pragma_to_gnu): Likewise. * utils.c (gnat_genericize): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134094 138bc75d-0d04-0410-961f-82ee72b054a4