gcc/testsuite/gnat.dg · 4e9f48a126a0812b87a7dba7dfcd11d441c48e80 · lvzhengyang / riscv-gcc-1

trans.c (Attribute_to_gnu): Compute as (hb < lb) ? 0 : hb - lb + 1 instead of max (hb - lb + 1, 0). · f4351641

2008-03-21  Olivier Hainque  <hainque@adacore.com>

	ada/
	* trans.c (Attribute_to_gnu) <'length>: Compute as (hb < lb)
	? 0 : hb - lb + 1 instead of max (hb - lb + 1, 0).

	testsuite/
	* gnat.dg/empty_vector_length.adb: New testcase.

From-SVN: r133423

committed Mar 21, 2008

f4351641

Name	Last commit	Last update
..
specs		Loading commit data...
style		Loading commit data...
abstract_with_anonymous_result.adb		Loading commit data...
access1.adb		Loading commit data...
access2.adb		Loading commit data...
access3.adb		Loading commit data...
access3.ads		Loading commit data...
access4.adb		Loading commit data...
access_discr.adb		Loading commit data...
access_func.adb		Loading commit data...
access_test.adb		Loading commit data...
addr1.adb		Loading commit data...
addr1.ads		Loading commit data...
addr2.adb		Loading commit data...
addr2_p.adb		Loading commit data...
addr2_p.ads		Loading commit data...
addr3.adb		Loading commit data...
address_conversion.adb		Loading commit data...
address_null_init.ads		Loading commit data...
aggr1.adb		Loading commit data...
aggr2.adb		Loading commit data...
aggr3.adb		Loading commit data...
aggr4.adb		Loading commit data...
aggr7.adb		Loading commit data...
aggr8.adb		Loading commit data...
aliased1.adb		Loading commit data...
aliased_prefix_accessibility.adb		Loading commit data...
align_check.adb		Loading commit data...
alignment1.adb		Loading commit data...
alignment2.adb		Loading commit data...
alignment3.adb		Loading commit data...
anon1.ads		Loading commit data...
anon2.adb		Loading commit data...
array1.adb		Loading commit data...
array1.ads		Loading commit data...
array2.ads		Loading commit data...
array3.adb		Loading commit data...
assert.ads		Loading commit data...
assert1.adb		Loading commit data...
asynch.adb		Loading commit data...
asynch.ads		Loading commit data...
bad_array.adb		Loading commit data...
biased_uc.adb		Loading commit data...
bip_prim_func.adb		Loading commit data...
bip_prim_func.ads		Loading commit data...
bit_packed_array.adb		Loading commit data...
bit_packed_array.ads		Loading commit data...
boolean_subtype.adb		Loading commit data...
bug_elaboration_code.adb		Loading commit data...
bug_elaboration_code.ads		Loading commit data...
c_words.adb		Loading commit data...
c_words.ads		Loading commit data...
capture_value.adb		Loading commit data...
case_null.adb		Loading commit data...
case_null.ads		Loading commit data...
check1.adb		Loading commit data...
check1.ads		Loading commit data...
check_elaboration_code.adb		Loading commit data...
class_wide.adb		Loading commit data...
compose.adb		Loading commit data...
controlled1.ads		Loading commit data...
controlled2.adb		Loading commit data...
controlled2.ads		Loading commit data...
controlled3.ads		Loading commit data...
controlled4.adb		Loading commit data...
controlled4.ads		Loading commit data...
controlled_record.adb		Loading commit data...
controlled_record.ads		Loading commit data...
conv_bug.adb		Loading commit data...
conv_real.adb		Loading commit data...
curr_task.adb		Loading commit data...
debug1.ads		Loading commit data...
deques.ads		Loading commit data...
deref1.ads		Loading commit data...
deref2.ads		Loading commit data...
deref3.adb		Loading commit data...
derived_aggregate.adb		Loading commit data...
dg.exp		Loading commit data...
discr1.ads		Loading commit data...
discr2.adb		Loading commit data...
discr2.ads		Loading commit data...
discr3.ads		Loading commit data...
discr4.adb		Loading commit data...
discr5.adb		Loading commit data...
discr_range_check.adb		Loading commit data...
discr_test.adb		Loading commit data...
discr_test2.adb		Loading commit data...
dispatch1.adb		Loading commit data...
dispatch1_p.ads		Loading commit data...
dispatch2.adb		Loading commit data...
dispatch2_p.adb		Loading commit data...
dispatch2_p.ads		Loading commit data...
elab1.ads		Loading commit data...
elab2.adb		Loading commit data...
elim1.adb		Loading commit data...
elim1.ads		Loading commit data...
elim2.adb		Loading commit data...
empty_vector_length.adb		Loading commit data...
enclosing_record_reference.adb		Loading commit data...
enclosing_record_reference.ads		Loading commit data...
entry_queues.adb		Loading commit data...
env_compile_capacity.adb		Loading commit data...
env_compile_capacity.ads		Loading commit data...
equal1.ads		Loading commit data...
equal_access.adb		Loading commit data...
expect1.adb		Loading commit data...
ext1.ads		Loading commit data...
finalized.adb		Loading commit data...
fixedpnt.adb		Loading commit data...
forward_vla.adb		Loading commit data...
frame_overflow.adb		Loading commit data...
g_tables.adb		Loading commit data...
g_tables.ads		Loading commit data...
generic_dispatch.adb		Loading commit data...
generic_dispatch_p.adb		Loading commit data...
generic_dispatch_p.ads		Loading commit data...
gnat_malloc.adb		Loading commit data...
gnatg.adb		Loading commit data...
graphic.adb		Loading commit data...
graphic.ads		Loading commit data...
ice_type.adb		Loading commit data...
ice_types.ads		Loading commit data...
ifaces.adb		Loading commit data...
ifaces.ads		Loading commit data...
in_mod_conv.adb		Loading commit data...
in_out_parameter.adb		Loading commit data...
inline_scope.adb		Loading commit data...
inline_scope_p.adb		Loading commit data...
inline_scope_p.ads		Loading commit data...
inline_tagged.adb		Loading commit data...
interface1.adb		Loading commit data...
interface2.adb		Loading commit data...
interface3.adb		Loading commit data...
interface4.adb		Loading commit data...
interface_conv.adb		Loading commit data...
invariant_index.adb		Loading commit data...
invariant_index.ads		Loading commit data...
iprot_test.adb		Loading commit data...
itypes.adb		Loading commit data...
itypes.ads		Loading commit data...
kill_value.adb		Loading commit data...
late_overriding.adb		Loading commit data...
layered_abstraction.adb		Loading commit data...
layered_abstraction.ads		Loading commit data...
layered_abstraction_p.ads		Loading commit data...
layered_instance.adb		Loading commit data...
lhs_view_convert.adb		Loading commit data...
limited_with.adb		Loading commit data...
limited_with.ads		Loading commit data...
loop_address.adb		Loading commit data...
loop_bound.adb		Loading commit data...
loop_unchecked_conversion.adb		Loading commit data...
loop_unchecked_conversion.ads		Loading commit data...
machine_code1.adb		Loading commit data...
max_align.adb		Loading commit data...
md5_test.adb		Loading commit data...
modify_a_constant.adb		Loading commit data...
mutable1.adb		Loading commit data...
my_env_versioned_value_set_g.ads		Loading commit data...
named_test.adb		Loading commit data...
nat1.ads		Loading commit data...
nat1r.adb		Loading commit data...
nested_agg_bitfield_constructor.adb		Loading commit data...
nested_controlled_alloc.adb		Loading commit data...
nested_return_test.adb		Loading commit data...
nested_subtype_byref.adb		Loading commit data...
nested_subtype_byref.ads		Loading commit data...
no_exc_prop.adb		Loading commit data...
no_exc_prop.ads		Loading commit data...
no_final.adb		Loading commit data...
oalign1.ads		Loading commit data...
oalign2.ads		Loading commit data...
opt1.adb		Loading commit data...
opt1.ads		Loading commit data...
outer_agg_bitfield_constructor.adb		Loading commit data...
overriding_ops.adb		Loading commit data...
overriding_ops.ads		Loading commit data...
overriding_ops_p.ads		Loading commit data...
pack1.ads		Loading commit data...
pack2.adb		Loading commit data...
pack3.adb		Loading commit data...
pack4.adb		Loading commit data...
packed_subtype.adb		Loading commit data...
pointer_array.adb		Loading commit data...
pointer_conversion.adb		Loading commit data...
pointer_protected.adb		Loading commit data...
pointer_protected_p.ads		Loading commit data...
pointer_variable_bounds.adb		Loading commit data...
pointer_variable_bounds.ads		Loading commit data...
pointer_variable_bounds_q.ads		Loading commit data...
prefix1.adb		Loading commit data...
prefix1.ads		Loading commit data...
prefix2.adb		Loading commit data...
prefix2.ads		Loading commit data...
profile_warning.adb		Loading commit data...
profile_warning.ads		Loading commit data...
profile_warning_p.adb		Loading commit data...
profile_warning_p.ads		Loading commit data...
prot1.adb		Loading commit data...
quote.adb		Loading commit data...
range_check.adb		Loading commit data...
range_check2.adb		Loading commit data...
rational_arithmetic.ads		Loading commit data...
ref_type.adb		Loading commit data...
ref_type.ads		Loading commit data...
regpat1.adb		Loading commit data...
release_unc_maxalign.adb		Loading commit data...
remote_type.adb		Loading commit data...
remote_type.ads		Loading commit data...
renaming1.adb		Loading commit data...
renaming1.ads		Loading commit data...
renaming2.adb		Loading commit data...
renaming3.adb		Loading commit data...
renaming4.ads		Loading commit data...
rep_clause1.adb		Loading commit data...
rep_clause2.adb		Loading commit data...
rep_clause2.ads		Loading commit data...
requeue1.adb		Loading commit data...
return1.adb		Loading commit data...
return1.ads		Loading commit data...
scalar_mode_agg_compare.adb		Loading commit data...
scalar_mode_agg_compare_loop.adb		Loading commit data...
self.adb		Loading commit data...
self.ads		Loading commit data...
self_aggregate_with_array.adb		Loading commit data...
self_aggregate_with_call.adb		Loading commit data...
self_aggregate_with_pointer.adb		Loading commit data...
self_aggregate_with_zeros.adb		Loading commit data...
show_deques_priority.adb		Loading commit data...
sizetype.adb		Loading commit data...
slice1.adb		Loading commit data...
slice2.adb		Loading commit data...
slice2.ads		Loading commit data...
slice3.adb		Loading commit data...
slice4.adb		Loading commit data...
small_alignment.adb		Loading commit data...
socket1.adb		Loading commit data...
socket2.adb		Loading commit data...
sort1.adb		Loading commit data...
sort1.ads		Loading commit data...
sort2.adb		Loading commit data...
spipaterr.adb		Loading commit data...
str1.adb		Loading commit data...
string_slice.adb		Loading commit data...
tag1.adb		Loading commit data...
tagged_type_pkg.adb		Loading commit data...
tagged_type_pkg.ads		Loading commit data...
tail_call.adb		Loading commit data...
tail_call_p.adb		Loading commit data...
tail_call_p.ads		Loading commit data...
tamdt.adb		Loading commit data...
tamdt.ads		Loading commit data...
tamdt_aux.ads		Loading commit data...
task_name.adb		Loading commit data...
task_name.ads		Loading commit data...
test_address_null_init.adb		Loading commit data...
test_bounded.adb		Loading commit data...
test_debug1.adb		Loading commit data...
test_delay.adb		Loading commit data...
test_direct_io.adb		Loading commit data...
test_enum_io.adb		Loading commit data...
test_equal1.adb		Loading commit data...
test_ext1.adb		Loading commit data...
test_fixed_io.adb		Loading commit data...
test_ifaces.adb		Loading commit data...
test_image.adb		Loading commit data...
test_image_p.adb		Loading commit data...
test_image_p.ads		Loading commit data...
test_nested_subtype_byref.adb		Loading commit data...
test_oalign.adb		Loading commit data...
test_prefix1.adb		Loading commit data...
test_prio.adb		Loading commit data...
test_prio_p.adb		Loading commit data...
test_prio_p.ads		Loading commit data...
test_rational_arithmetic.adb		Loading commit data...
test_self.adb		Loading commit data...
test_self_ref.adb		Loading commit data...
test_table1.adb		Loading commit data...
test_tables.adb		Loading commit data...
test_tamdt.adb		Loading commit data...
test_unknown_discrs.adb		Loading commit data...
tfren.adb		Loading commit data...
thin_pointer.adb		Loading commit data...
thin_pointer.ads		Loading commit data...
timing_events.adb		Loading commit data...
type_conv.adb		Loading commit data...
unaligned_rep_clause.adb		Loading commit data...
unc.adb		Loading commit data...
unc_memfree.adb		Loading commit data...
unc_memops.adb		Loading commit data...
unc_memops.ads		Loading commit data...
unchecked_convert1.adb		Loading commit data...
unchecked_union1.adb		Loading commit data...
uninit_func.adb		Loading commit data...
valid1.adb		Loading commit data...
varsize_temp.adb		Loading commit data...
volatile1.ads		Loading commit data...
volatile2.adb		Loading commit data...
volatile2.ads		Loading commit data...
volatile_aggregate.adb		Loading commit data...
warn1.adb		Loading commit data...
warn2.adb		Loading commit data...
warn3.adb		Loading commit data...
wide_pi.adb		Loading commit data...
wide_test.adb		Loading commit data...