aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg
AgeCommit message (Collapse)AuthorFilesLines
2013-06-20gcc: Delete.Eric Botcazou1-36/+0
* ada/acats/tests/gcc: Delete. * gnat.dg/style: Likewise. From-SVN: r200249
2013-05-28sol2-unwind.h (MD_FALLBACK_FRAME_STATE_FOR): Do not set fs->signal_frame for ↵Eric Botcazou1-0/+24
SIGFPE raised for IEEE-754 exceptions. * config/sparc/sol2-unwind.h (MD_FALLBACK_FRAME_STATE_FOR): Do not set fs->signal_frame for SIGFPE raised for IEEE-754 exceptions. * config/i386/sol2-unwind.h (x86_fallback_frame_state): Likewise. From-SVN: r199381
2013-05-26trans.c (Attribute_to_gnu): Add kludge to avoid generating an overflow for -1.Eric Botcazou1-0/+19
* gcc-interface/trans.c (Attribute_to_gnu) <Attr_Last_Bit>: Add kludge to avoid generating an overflow for -1. From-SVN: r199339
2013-05-26gigi.h (create_type_decl): Adjust prototype.Eric Botcazou1-0/+8
* gcc-interface/gigi.h (create_type_decl): Adjust prototype. (create_label_decl): Complete prototype. (process_attributes): Declare. * gcc-interface/decl.c (gnat_to_gnu_entity): Adjust multiple calls to create_type_decl throughout. <E_Enumeration_Type>: Do the layout of the type manually and call process_attributes on it. Reindent. <E_Enumeration_Subtype>: Minor tweak. <E_Floating_Point_Subtype>: Reindent. <E_Array_Subtype>: Call process_attributes on the array type built for a packed array type. <E_Record_Type>: Call process_attributes on the type. <E_Record_Subtype>: Likewise. <E_Access_Type>: Likewise. <E_Subprogram_Type>: Likewise. Likewise for all types at the end of the processing. * gcc-interface/utils.c (make_aligning_type): Adjust call to create_type_decl. (maybe_pad_type): Likewise. (create_index_type): Likewise. (create_type_decl): Remove attr_list parameter and associated code. (create_var_decl_1): Call process_attributes on the variable. (process_attributes): Take a pointer to the object and add in_place and gnat_node parameters and adjust throughout. <ATTR_MACHINE_ATTRIBUTE>: Pass ATTR_FLAG_TYPE_IN_PLACE only on demand and set the input location. Zap the attribute list at the end. (create_subprog_decl): Call process_attributes on the subprogram. (build_unc_object_type): Adjust call to create_type_decl. (handle_vector_type_attribute): Remove dead code. From-SVN: r199338
2013-05-26decl.c (gnat_to_gnu_entity): Do not prematurely elaborate the full view of a ↵Eric Botcazou2-0/+37
type with a freeze node. * gcc-interface/decl.c (gnat_to_gnu_entity): Do not prematurely elaborate the full view of a type with a freeze node. * gcc-interface/trans.c (process_type): Add explicit predicate. From-SVN: r199336
2013-05-24gigi.h (enum inline_status_t): New type.Eric Botcazou6-0/+84
* gcc-interface/gigi.h (enum inline_status_t): New type. (create_subprog_decl): Adjust prototype. * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Adjust calls to create_subprog_decl. (get_minimal_subprog_decl): Likewise. * gcc-interface/trans.c (gigi): Likewise. (build_raise_check): Likewise. (establish_gnat_vms_condition_handler): Likewise. (Compilation_Unit_to_gnu): Likewise. (gnat_to_gnu): Likewise. * gcc-interface/utils.c (create_subprog_decl): Change inline_flag parameter to inline_status and implement for suppressed inlining. From-SVN: r199286
2013-05-24decl.c (gnat_to_gnu_entity): Constify a handful of local variables.Eric Botcazou1-0/+16
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Constify a handful of local variables. For a derived untagged type that renames discriminants, change the type of the stored discriminants to a subtype with the bounds of the type of the visible discriminants. (build_subst_list): Rename local variable. From-SVN: r199279
2013-05-07re PR ada/56474 (bogus Storage_Error raised for record containing empty ↵Eric Botcazou1-0/+18
zero-based array) PR ada/56474 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Use int_const_binop to shift bounds by 1 when they are integer constants. From-SVN: r198663
2013-04-17tree-ssa-alias.c (nonoverlapping_component_refs_of_decl_p): New.Eric Botcazou2-0/+32
* tree-ssa-alias.c (nonoverlapping_component_refs_of_decl_p): New. (decl_refs_may_alias_p): Add REF1 and REF2 parameters. Use nonoverlapping_component_refs_of_decl_p to disambiguate component references. (refs_may_alias_p_1): Adjust call to decl_refs_may_alias_p. * tree-streamer.c (record_common_node): Adjust reference in comment. From-SVN: r198024
2013-04-11stor-layout.c (skip_simple_constant_arithmetic): Move to...Eric Botcazou4-0/+39
* stor-layout.c (skip_simple_constant_arithmetic): Move to... * tree.c (skip_simple_constant_arithmetic): ...here and make public. (skip_simple_arithmetic): Tidy up. * tree.h (skip_simple_constant_arithmetic): Declare. ada/ * gcc-interface/decl.c (elaborate_expression_1): Skip only constant arithmetics when looking for a read-only variable in the expression. From-SVN: r197815
2013-03-06decl.c (gnat_to_gnu_field): Remove the wrapper around a misaligned integral ↵Eric Botcazou1-0/+25
type if... * gcc-interface/decl.c (gnat_to_gnu_field): Remove the wrapper around a misaligned integral type if a size is specified for the field. From-SVN: r196506
2013-03-06trans.c (Raise_Error_to_gnu): Record the unpadded type of the index type on ↵Eric Botcazou2-0/+29
the RCI stack. * gcc-interface/trans.c (Raise_Error_to_gnu) <CE_Index_Check_Failed>: Record the unpadded type of the index type on the RCI stack. From-SVN: r196504
2013-02-01fold-const.c (make_range_step): Bail out if the range isn't testing for zero.Eric Botcazou1-0/+37
* fold-const.c (make_range_step) <TRUTH_NOT_EXPR>: Bail out if the range isn't testing for zero. From-SVN: r195642
2013-01-22trans.c (Pragma_to_gnu): Use optimize_size instead of optimize and adjust ↵Eric Botcazou1-0/+8
warning message. * gcc-interface/trans.c (Pragma_to_gnu) <Name_Space>: Use optimize_size instead of optimize and adjust warning message. (Compilation_Unit_to_gnu): Process pragmas preceding the unit. From-SVN: r195366
2013-01-10Update copyright years in gcc/Richard Sandiford3-3/+3
From-SVN: r195098
2013-01-06decl.c (gnat_to_gnu_field): Emit a specialized diagnostic for component size ↵Olivier Hainque1-0/+85
mismatch wrt volatile requirements. * gcc-interface/decl.c (gnat_to_gnu_field): Emit a specialized diagnostic for component size mismatch wrt volatile requirements. Add a gcc_unreachable() at the end of the checks for size. Split the check on volatile for positions into one check on atomic and a subsequent one on volatile. From-SVN: r194946
2013-01-06decl.c (gnat_to_gnu_entity): Do not pack the field of the record type made ↵Eric Botcazou1-0/+20
for a misaligned type. * gcc-interface/decl.c (gnat_to_gnu_entity) <discrete_type>: Do not pack the field of the record type made for a misaligned type. From-SVN: r194942
2012-12-15re PR ada/52735 (ICE in gnat_to_gnu_entity at gcc-interface/decl.c:4156)Eric Botcazou3-0/+31
PR ada/52735 * gnat.dg/nested_generic1.adb: New test. * gnat.dg/nested_generic1_pkg.ad[sb]: New helper. From-SVN: r194523
2012-12-15re PR ada/53766 (ICE in build_binary_op on Max_Size_In_Storage_Elements with ↵Eric Botcazou2-0/+25
-gnatp) PR ada/53766 * gnat.dg/controlled7.ad[sb]: New test. From-SVN: r194521
2012-12-09vect9.adb: Add -w to dg-options.Eric Botcazou2-1/+2
* gnat.dg/vect9.adb: Add -w to dg-options. * gnat.dg/vect10.adb: Likewise. From-SVN: r194331
2012-12-08trans.c (Subprogram_Body_to_gnu): Be prepared for a by-ref VAR_DECL in the ↵Eric Botcazou2-0/+46
case of an Out parameter passed by copy. * gcc-interface/trans.c (Subprogram_Body_to_gnu): Be prepared for a by-ref VAR_DECL in the case of an Out parameter passed by copy. From-SVN: r194321
2012-12-08* tree-ssa-loop-im.c (for_each_index) <CONST_DECL>: New case.Eric Botcazou3-0/+76
From-SVN: r194320
2012-12-07discr38.adb: Don't use ^M line endings.Mike Stump8-137/+137
2012-12-07 Mike Stump <mikestump@comcast.net> * gnat.dg/discr38.adb: Don't use ^M line endings. gnat.dg/loop_optimization13.adb: Likewise. gnat.dg/loop_optimization13.ads: Likewise. gnat.dg/discr36_pkg.adb: Likewise. gnat.dg/discr36_pkg.ads: Likewise. gnat.dg/loop_optimization11_pkg.ads: Likewise. gnat.dg/discr36.ads: Likewise. gnat.dg/loop_optimization11.adb: Likewise. From-SVN: r194309
2012-11-30stor-layout.c (bit_field_mode_iterator::bit_field_mode_iterator): Deal with ↵Eric Botcazou1-0/+15
degenerate cases where the bitsize isn't positive. * stor-layout.c (bit_field_mode_iterator::bit_field_mode_iterator): Deal with degenerate cases where the bitsize isn't positive. Rework comment. From-SVN: r194009
2012-11-29re PR middle-end/55321 (Ada bootstrap failure on armv5tel-linux-gnueabi)Eric Botcazou3-0/+47
PR middle-end/55321 * calls.c (emit_library_call_value_1): Mark as no-nonlocal if no-throw. From-SVN: r193973
2012-11-28stor-layout.c (layout_type): Do not clear TREE_OVERFLOW on overflowed ↵Eric Botcazou4-1/+53
zeroes, except in one specific case. * stor-layout.c (layout_type) <ARRAY_TYPE>: Do not clear TREE_OVERFLOW on overflowed zeroes, except in one specific case. ada/ * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Use valid_constant_size_p to detect too large objects. <E_Subprogram_Type>: Likewise for too large return types. (allocatable_size_p): Call valid_constant_size_p in the fixed case. (annotate_value) <INTEGER_CST>: Simplify. <BIT_AND_EXPR>: Deal with negative values here. * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Use valid_constant_size_p to detect too large objects on the LHS. * gcc-interface/misc.c (default_pass_by_ref): Likewise for large types. And use TYPE_SIZE_UNIT throughout. (must_pass_by_ref): Likewise. * gcc-interface/utils.c (max_size) <tcc_unary>: Split from common case. <tcc_binary>: Likewise. Call size_binop instead of fold_build2. <tcc_expression>: Simplify. * gcc-interface/utils2.c (build_allocator): Use valid_constant_size_p to detect too large allocations. From-SVN: r193886
2012-11-23trans.c (Attribute_to_gnu): Look through a view conversion from constrained ↵Eric Botcazou2-0/+38
to unconstrained form. * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Length>: Look through a view conversion from constrained to unconstrained form. From-SVN: r193751
2012-11-23decl.c (components_need_strict_alignment): New.Eric Botcazou1-0/+22
* gcc-interface/decl.c (components_need_strict_alignment): New. (components_to_record): Do not pack the variants if one of the fields needs strict alignment. Likewise for the variant part as a whole. Specify the position of the variants even if the size isn't specified, but do not specify the size of the variant part in this case. From-SVN: r193750
2012-11-09i386.c (release_scratch_register_on_entry): Also adjust sp_offset manually.Eric Botcazou2-0/+41
* config/i386/i386.c (release_scratch_register_on_entry): Also adjust sp_offset manually. From-SVN: r193352
2012-10-22decl.c (gnat_to_gnu_entity): In type annotation mode, break circularities ↵Eric Botcazou2-0/+38
introduced by AI05-0151. * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Subprogram_Type>: In type annotation mode, break circularities introduced by AI05-0151. From-SVN: r192671
2012-10-22trans.c (Loop_Statement_to_gnu): Use gnat_type_for_size directly to obtain ↵Eric Botcazou2-0/+20
an unsigned version of the base type. * gcc-interface/trans.c (Loop_Statement_to_gnu): Use gnat_type_for_size directly to obtain an unsigned version of the base type. From-SVN: r192669
2012-10-21atomic1.ads: XFAIL on MIPS.Eric Botcazou2-6/+6
* gnat.dg/specs/atomic1.ads: XFAIL on MIPS. * gnat.dg/specs/addr1.ads: Likewise. From-SVN: r192658
2012-10-18loop-invariant.c: Include target.h.Eric Botcazou3-0/+43
* loop-invariant.c: Include target.h. (check_dependency): Return false for an uninitialized argument register that is likely to be spilled. * Makefile.in (loop-invariant.o): Add $(TARGET_H). From-SVN: r192566
2012-10-15expr.c (expand_expr_real_1): Do not unnecessarily copy the object in the ↵Eric Botcazou2-0/+35
MEM_P case. * expr.c (expand_expr_real_1) <VIEW_CONVERT_EXPR>: Do not unnecessarily copy the object in the MEM_P case. From-SVN: r192452
2012-09-20opt20.ads: Move dg directive to...Eric Botcazou19-29/+23
* gnat.dg/opt20.ads: Move dg directive to... * gnat.dg/opt20.adb: ...here. * gnat.dg/addr1.ad[sb]: Likewise. * gnat.dg/concat2.ad[sb]: Likewise. * gnat.dg/array16.ad[sb]: Likewise. * gnat.dg/atomic5.ad[sb]: Likewise. * gnat.dg/discr29.ad[sb]: Likewise. * gnat.dg/noreturn5.ad[sb]: Likewise. * gnat.dg/vect8.ad[sb]: Likewise. Add dg-options. * gnat.dg/discr23.ads: Remove dg directive. * gnat.dg/nested_float_packed.ads: Likewise. * gnat.dg/oconst6.ads: Move to... * gnat.dg/specs/oconst6.ads: ...here. From-SVN: r191592
2012-09-17* tree-cfgcleanup. (cleanup_control_expr_graph) <GIMPLE_COND>: RemoveEric Botcazou2-0/+49
code doing propagation from degenerate PHI nodes. * tree-ssa-loop-ivcanon.c (propagate_into_all_uses): New function. (propagate_constants_for_unrolling): Likewise. (tree_unroll_loops_completely): If the current loop has been unrolled and its father isn't the entire function, propagate constants within the new basic blocks by means of propagate_constants_for_unrolling. From-SVN: r191387
2012-09-16re PR testsuite/54007 (lto15.adb fails: gnat1: error: LTO support has not ↵John David Anglin1-0/+1
been enabled in this configuration) PR testsuite/54007 * gnat.dg/lto15.adb: Require lto. From-SVN: r191360
2012-07-25gimple-low.c (lower_try_catch): New function.Eric Botcazou2-0/+38
* gimple-low.c (lower_try_catch): New function. (lower_stmt) <GIMPLE_TRY>: Use it to lower GIMPLE_TRY_CATCH. <GIMPLE_CATCH>: Delete. <GIMPLE_EH_FILTER>: Likewise. From-SVN: r189865
2012-07-19tree-ssa-forwprop.c (combine_conversions): Punt if the RHS of the defining ↵Eric Botcazou5-0/+66
statement is a SSA name that occurs in abnormal... * tree-ssa-forwprop.c (combine_conversions): Punt if the RHS of the defining statement is a SSA name that occurs in abnormal PHIs. From-SVN: r189687
2012-07-19gimple-fold.c (canonicalize_constructor_val): Strip only useless type ↵Eric Botcazou3-0/+43
conversions. * gimple-fold.c (canonicalize_constructor_val): Strip only useless type conversions. From-SVN: r189685
2012-07-19decl.c (gnat_to_gnu_entity): Try to ensure that an object of CW type ↵Eric Botcazou3-0/+57
initialized to a value is sufficiently... * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Try to ensure that an object of CW type initialized to a value is sufficiently aligned for this value. From-SVN: r189682
2012-07-19decl.c (gnat_to_gnu_entity): Do not look up the REP part of the base type in ↵Eric Botcazou1-0/+40
advance. * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Do not look up the REP part of the base type in advance. Deal with that of the variant types. (get_rep_part): Be prepared for record types with fields. From-SVN: r189666
2012-07-19tree-ssa-ccp.c (valid_lattice_transition): Clarify comment about transition ↵Richard Guenther2-0/+30
from invariant to known bits. 2012-07-19 Richard Guenther <rguenther@suse.de> Eric Botcazou <ebotcazou@adacore.com> * tree-ssa-ccp.c (valid_lattice_transition): Clarify comment about transition from invariant to known bits. (likely_value): Addresses with UNDEFINED components are UNDEFINED. * gnat.dg/loop_optimization11.adb: New testcase. * gnat.dg/loop_optimization11_pkg.ads: Likewise. Co-Authored-By: Eric Botcazou <ebotcazou@adacore.com> From-SVN: r189650
2012-07-18trans.c (stmt_group_may_fallthru): New function.Eric Botcazou3-0/+49
* gcc-interface/trans.c (stmt_group_may_fallthru): New function. (gnat_to_gnu) <N_Block_Statement>: Use it to find out whether the block needs to be translated. From-SVN: r189612
2012-07-03trans.c (Call_to_gnu): Robustify test for function case if the CICO ↵Eric Botcazou1-0/+10
mechanism is used. * gcc-interface/trans.c (Call_to_gnu): Robustify test for function case if the CICO mechanism is used. From-SVN: r189204
2012-07-03utils2.c (build_simple_component_ref): Do not look through an extension if ↵Eric Botcazou2-0/+34
the type contains a placeholder. * gcc-interface/utils2.c (build_simple_component_ref): Do not look through an extension if the type contains a placeholder. From-SVN: r189202
2012-06-28* gnat.dg/deep_old.adb, gnat.dg/old_errors.adb: Removed, obsolete.Arnaud Charlet2-57/+0
From-SVN: r189042
2012-06-22tree-ssa-live.c (remove_unused_scope_block_p): Remove again DECL_IGNORED_P ↵Eric Botcazou2-0/+22
non-reg vars even if they are used. * tree-ssa-live.c (remove_unused_scope_block_p): Remove again DECL_IGNORED_P non-reg vars even if they are used. From-SVN: r188872
2012-06-15re PR ada/53592 (ICE on assignment to component of vector_type)Eric Botcazou2-0/+21
PR ada/53592 * gcc-interface/gigi.h (maybe_vector_array): Make static inline. * gcc-interface/utils.c (maybe_vector_array): Delete. * gcc-interface/trans.c (gnat_to_gnu) <N_Indexed_Component>: Mark the array object as addressable if it has vector type and is on the LHS. From-SVN: r188653
2012-06-11decl.c (gnat_to_gnu_entity): Convert GNU_SIZE to units before invoking ↵Eric Botcazou3-0/+43
allocatable_size_p on it. * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Convert GNU_SIZE to units before invoking allocatable_size_p on it. Remove orphaned comment. Do not use ssize_int. <E_Record_Subtype>: Traverse list in original order. Minor tweak. (allocatable_size_p): Adjust and simplify. (build_subst_list): Use consistent terminology throughout. (build_variant_list): Likewise. Traverse list in original order. (create_field_decl_from): Likewise. (copy_and_substitute_in_size): Likewise. (create_variant_part_from): Add comment about field list order. * gcc-interface/utils.c (build_vms_descriptor): Do not use ssize_int. * gcc-interface/utils2.c (build_allocator): Likewise. From-SVN: r188382
generated by cgit v1.1 at 2025-08-11 07:23:28 +0000