gcc/testsuite/gnat.dg · 2d143ba8cfef7ef480c639882fd5518b7afd822b · lvzhengyang / riscv-gcc-1

tree-switch-conversion (array_value_type): Start by resetting candidate type to it's main variant. · f1b0632a

2017-03-10  Olivier Hainque  <hainque@adacore.com>

	* tree-switch-conversion (array_value_type): Start by resetting
	candidate type to it's main variant.

	testsuite/
	* gnat.dg/opt64.adb: New test.
	* gnat.dg/opt64_pkg.ads: New helper.
	* gnat.dg/opt64_pkg.adb: New helper.

From-SVN: r246024

committed Mar 10, 2017

f1b0632a

Name	Last commit	Last update
..
Too many items to show. To preserve performance only 1,000 of 1,310 items are displayed.
specs		Loading commit data...
sso		Loading commit data...
abstract1.adb		Loading commit data...
abstract1.ads		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_discr2.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...
addr4.adb		Loading commit data...
addr5.adb		Loading commit data...
addr6.adb		Loading commit data...
addr7.adb		Loading commit data...
addr7.ads		Loading commit data...
addr8.adb		Loading commit data...
addr8.ads		Loading commit data...
addr9_1.adb		Loading commit data...
addr9_2.adb		Loading commit data...
addr9_3.adb		Loading commit data...
addr9_4.adb		Loading commit data...
addr_slice.adb		Loading commit data...
address_conv.adb		Loading commit data...
address_conversion.adb		Loading commit data...
address_null_init.ads		Loading commit data...
aggr1.adb		Loading commit data...
aggr10.adb		Loading commit data...
aggr10_pkg.ads		Loading commit data...
aggr11.adb		Loading commit data...
aggr11_pkg.ads		Loading commit data...
aggr12.adb		Loading commit data...
aggr12.ads		Loading commit data...
aggr13.adb		Loading commit data...
aggr14.adb		Loading commit data...
aggr14_pkg.adb		Loading commit data...
aggr14_pkg.ads		Loading commit data...
aggr15.adb		Loading commit data...
aggr15.ads		Loading commit data...
aggr16.adb		Loading commit data...
aggr16.ads		Loading commit data...
aggr16_pkg.ads		Loading commit data...
aggr17.adb		Loading commit data...
aggr18.adb		Loading commit data...
aggr19.adb		Loading commit data...
aggr19_pkg.adb		Loading commit data...
aggr19_pkg.ads		Loading commit data...
aggr2.adb		Loading commit data...
aggr20.adb		Loading commit data...
aggr20.ads		Loading commit data...
aggr20_pkg.ads		Loading commit data...
aggr21.adb		Loading commit data...
aggr21_pkg.adb		Loading commit data...
aggr21_pkg.ads		Loading commit data...
aggr3.adb		Loading commit data...
aggr4.adb		Loading commit data...
aggr7.adb		Loading commit data...
aggr8.adb		Loading commit data...
aggr9.adb		Loading commit data...
aggr9.ads		Loading commit data...
aggr9_pkg.ads		Loading commit data...
aliased1.adb		Loading commit data...
aliased_prefix_accessibility.adb		Loading commit data...
aliasing1.adb		Loading commit data...
aliasing1.ads		Loading commit data...
aliasing2.adb		Loading commit data...
aliasing2.ads		Loading commit data...
aliasing3.adb		Loading commit data...
aliasing3_pkg.adb		Loading commit data...
aliasing3_pkg.ads		Loading commit data...
align_check.adb		Loading commit data...
align_max.adb		Loading commit data...
aligned_vla.adb		Loading commit data...
alignment1.adb		Loading commit data...
alignment10.adb		Loading commit data...
alignment2.adb		Loading commit data...
alignment3.adb		Loading commit data...
alignment4.adb		Loading commit data...
alignment5.adb		Loading commit data...
alignment6.adb		Loading commit data...
alignment7.adb		Loading commit data...
alignment8.adb		Loading commit data...
alignment9.adb		Loading commit data...
allocator_maxalign1.adb		Loading commit data...
allocator_maxalign2.adb		Loading commit data...
allocator_maxalign2.ads		Loading commit data...
ancestor_type.adb		Loading commit data...
ancestor_type.ads		Loading commit data...
anon1.ads		Loading commit data...
anon2.adb		Loading commit data...
array1.adb		Loading commit data...
array1.ads		Loading commit data...
array10.adb		Loading commit data...
array11.adb		Loading commit data...
array12.adb		Loading commit data...
array13.adb		Loading commit data...
array13.ads		Loading commit data...
array14.adb		Loading commit data...
array14.ads		Loading commit data...
array14_pkg.ads		Loading commit data...
array15.adb		Loading commit data...
array15.ads		Loading commit data...
array16.adb		Loading commit data...
array16.ads		Loading commit data...
array16_pkg.ads		Loading commit data...
array17.adb		Loading commit data...
array17_pkg.ads		Loading commit data...
array18.adb		Loading commit data...
array18_pkg.ads		Loading commit data...
array19.adb		Loading commit data...
array19.ads		Loading commit data...
array2.ads		Loading commit data...
array20.adb		Loading commit data...
array20.ads		Loading commit data...
array21.adb		Loading commit data...
array22.adb		Loading commit data...
array23.adb		Loading commit data...
array23_pkg1.ads		Loading commit data...
array23_pkg2.ads		Loading commit data...
array23_pkg3.ads		Loading commit data...
array24.adb		Loading commit data...
array25.adb		Loading commit data...
array25_pkg.adb		Loading commit data...
array25_pkg.ads		Loading commit data...
array26.adb		Loading commit data...
array26_pkg.adb		Loading commit data...
array26_pkg.ads		Loading commit data...
array27.adb		Loading commit data...
array27_pkg.adb		Loading commit data...
array27_pkg.ads		Loading commit data...
array28.adb		Loading commit data...
array28_pkg.adb		Loading commit data...
array28_pkg.ads		Loading commit data...
array3.adb		Loading commit data...
array4.adb		Loading commit data...
array5.adb		Loading commit data...
array6.adb		Loading commit data...
array7.adb		Loading commit data...
array7.ads		Loading commit data...
array8.adb		Loading commit data...
array9.adb		Loading commit data...
array_bounds_test.adb		Loading commit data...
array_bounds_test2.adb		Loading commit data...
assert.ads		Loading commit data...
assert1.adb		Loading commit data...
assign_from_packed.adb		Loading commit data...
assign_from_packed_pixels.ads		Loading commit data...
asynch.adb		Loading commit data...
asynch.ads		Loading commit data...
atomic1.adb		Loading commit data...
atomic1_pkg.ads		Loading commit data...
atomic2.adb		Loading commit data...
atomic3.adb		Loading commit data...
atomic4.adb		Loading commit data...
atomic4.ads		Loading commit data...
atomic5.adb		Loading commit data...
atomic5.ads		Loading commit data...
atomic6_1.adb		Loading commit data...
atomic6_2.adb		Loading commit data...
atomic6_3.adb		Loading commit data...
atomic6_4.adb		Loading commit data...
atomic6_5.adb		Loading commit data...
atomic6_6.adb		Loading commit data...
atomic6_7.adb		Loading commit data...
atomic6_8.adb		Loading commit data...
atomic6_pkg.ads		Loading commit data...
atomic7_1.adb		Loading commit data...
atomic7_2.adb		Loading commit data...
atomic7_pkg1.ads		Loading commit data...
atomic7_pkg2.adb		Loading commit data...
atomic7_pkg2.ads		Loading commit data...
atomic8.adb		Loading commit data...
bad_array.adb		Loading commit data...
biased_subtype.adb		Loading commit data...
biased_uc.adb		Loading commit data...
bip_aggregate_bug.adb		Loading commit data...
bip_prim_func.adb		Loading commit data...
bip_prim_func.ads		Loading commit data...
bit_packed_array1.adb		Loading commit data...
bit_packed_array1.ads		Loading commit data...
bit_packed_array2.adb		Loading commit data...
bit_packed_array3.adb		Loading commit data...
bit_packed_array4.adb		Loading commit data...
bit_packed_array4.ads		Loading commit data...
bit_packed_array5.adb		Loading commit data...
bit_packed_array5.ads		Loading commit data...
blkextract_from_reg.adb		Loading commit data...
bltins.adb		Loading commit data...
boolean_bitfield.adb		Loading commit data...
boolean_conv.adb		Loading commit data...
boolean_expr1.adb		Loading commit data...
boolean_expr1.ads		Loading commit data...
boolean_expr2.adb		Loading commit data...
boolean_subtype1.adb		Loading commit data...
boolean_subtype2.adb		Loading commit data...
boolean_subtype2.ads		Loading commit data...
boolean_subtype2_pkg.ads		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_character.adb		Loading commit data...
case_null.adb		Loading commit data...
case_null.ads		Loading commit data...
case_optimization1.adb		Loading commit data...
case_optimization1.ads		Loading commit data...
case_optimization2.adb		Loading commit data...
case_optimization_pkg1.ads		Loading commit data...
case_optimization_pkg2.adb		Loading commit data...
case_optimization_pkg2.ads		Loading commit data...
check1.adb		Loading commit data...
check1.ads		Loading commit data...
check_displace_generation.adb		Loading commit data...
check_elaboration_code.adb		Loading commit data...
class_wide1.adb		Loading commit data...
class_wide2.adb		Loading commit data...
class_wide2.ads		Loading commit data...
complex1.adb		Loading commit data...
complex1_pkg.ads		Loading commit data...
compose.adb		Loading commit data...
concat1.adb		Loading commit data...
concat1_pkg.adb		Loading commit data...
concat1_pkg.ads		Loading commit data...
concat2.adb		Loading commit data...
concat2.ads		Loading commit data...
concat_length.adb		Loading commit data...
cond_expr1.adb		Loading commit data...
cond_expr2.adb		Loading commit data...
cond_expr2.ads		Loading commit data...
constant1.adb		Loading commit data...
constant2.adb		Loading commit data...
constant2_pkg1.ads		Loading commit data...
constant2_pkg2.adb		Loading commit data...
constant2_pkg2.ads		Loading commit data...
constant3.adb		Loading commit data...
constant4.adb		Loading commit data...
constant4_pkg.ads		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...
controlled5.adb		Loading commit data...
controlled5_pkg.adb		Loading commit data...
controlled5_pkg.ads		Loading commit data...
controlled6.adb		Loading commit data...
controlled6_pkg-iterators.adb		Loading commit data...
controlled6_pkg-iterators.ads		Loading commit data...
controlled6_pkg.ads		Loading commit data...
controlled7.adb		Loading commit data...
controlled7.ads		Loading commit data...
controlled_record.adb		Loading commit data...
controlled_record.ads		Loading commit data...
conv_bug.adb		Loading commit data...
conv_decimal.adb		Loading commit data...
conv_integer.adb		Loading commit data...
conv_real.adb		Loading commit data...
curr_task.adb		Loading commit data...
debug1.ads		Loading commit data...
debug2.adb		Loading commit data...
debug2.ads		Loading commit data...
debug2_pkg.ads		Loading commit data...
debug3.adb		Loading commit data...
debug3.ads		Loading commit data...
debug4.adb		Loading commit data...
debug4_pkg.adb		Loading commit data...
debug4_pkg.ads		Loading commit data...
debug5.adb		Loading commit data...
debug6.adb		Loading commit data...
debug6_pkg.ads		Loading commit data...
debug7.adb		Loading commit data...
debug7.ads		Loading commit data...
debug8.adb		Loading commit data...
debug9.adb		Loading commit data...
decl_ctx_def.ads		Loading commit data...
decl_ctx_use.adb		Loading commit data...
decl_ctx_use.ads		Loading commit data...
deferred_const1.adb		Loading commit data...
deferred_const2.adb		Loading commit data...
deferred_const2_pkg.adb		Loading commit data...
deferred_const2_pkg.ads		Loading commit data...
deferred_const3.adb		Loading commit data...
deferred_const3_pkg.adb		Loading commit data...
deferred_const3_pkg.ads		Loading commit data...
deferred_const4.adb		Loading commit data...
deferred_const4.ads		Loading commit data...
deferred_const4_pkg.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...
derived_type1.adb		Loading commit data...
derived_type2.adb		Loading commit data...
derived_type3.adb		Loading commit data...
derived_type3_pkg.adb		Loading commit data...
derived_type3_pkg.ads		Loading commit data...
derived_type4.adb		Loading commit data...
dg.exp		Loading commit data...
discr1.ads		Loading commit data...
discr10.adb		Loading commit data...
discr10.ads		Loading commit data...
discr11.adb		Loading commit data...
discr11.ads		Loading commit data...
discr11_pkg.ads		Loading commit data...
discr12.adb		Loading commit data...
discr12_pkg.ads		Loading commit data...
discr13.adb		Loading commit data...
discr14.adb		Loading commit data...
discr14.ads		Loading commit data...
discr15.adb		Loading commit data...
discr15_pkg.ads		Loading commit data...
discr16.adb		Loading commit data...
discr16_cont.ads		Loading commit data...
discr16_g.ads		Loading commit data...
discr16_pkg.ads		Loading commit data...
discr17.adb		Loading commit data...
discr18.adb		Loading commit data...
discr18_pkg.ads		Loading commit data...
discr19.adb		Loading commit data...
discr2.adb		Loading commit data...
discr2.ads		Loading commit data...
discr20.adb		Loading commit data...
discr20.ads		Loading commit data...
discr21.adb		Loading commit data...
discr21.ads		Loading commit data...
discr21_pkg.ads		Loading commit data...
discr22.adb		Loading commit data...
discr23.adb		Loading commit data...
discr23.ads		Loading commit data...
discr23_pkg.ads		Loading commit data...
discr24.adb		Loading commit data...
discr25.adb		Loading commit data...
discr25_pkg.adb		Loading commit data...
discr25_pkg.ads		Loading commit data...
discr26.adb		Loading commit data...
discr26.ads		Loading commit data...
discr26_pkg.ads		Loading commit data...
discr27.adb		Loading commit data...
discr27.ads		Loading commit data...
discr28.adb		Loading commit data...
discr28.ads		Loading commit data...
discr28_pkg.ads		Loading commit data...
discr29.adb		Loading commit data...
discr29.ads		Loading commit data...
discr3.ads		Loading commit data...
discr30.adb		Loading commit data...
discr31.adb		Loading commit data...
discr31.ads		Loading commit data...
discr32.adb		Loading commit data...
discr32_pkg.ads		Loading commit data...
discr33.adb		Loading commit data...
discr34.adb		Loading commit data...
discr34_pkg.ads		Loading commit data...
discr35.adb		Loading commit data...
discr35.ads		Loading commit data...
discr36.adb		Loading commit data...
discr36.ads		Loading commit data...
discr36_pkg.adb		Loading commit data...
discr36_pkg.ads		Loading commit data...
discr37.adb		Loading commit data...
discr37.ads		Loading commit data...
discr38.adb		Loading commit data...
discr39.adb		Loading commit data...
discr4.adb		Loading commit data...
discr40.adb		Loading commit data...
discr40.ads		Loading commit data...
discr41.adb		Loading commit data...
discr41.ads		Loading commit data...
discr42.adb		Loading commit data...
discr42_pkg.adb		Loading commit data...
discr42_pkg.ads		Loading commit data...
discr43.adb		Loading commit data...
discr44.adb		Loading commit data...
discr45.adb		Loading commit data...
discr46.adb		Loading commit data...
discr46.ads		Loading commit data...
discr47.adb		Loading commit data...
discr5.adb		Loading commit data...
discr7.adb		Loading commit data...
discr8.adb		Loading commit data...
discr8.ads		Loading commit data...
discr8_pkg1.ads		Loading commit data...
discr8_pkg2.ads		Loading commit data...
discr8_pkg3.ads		Loading commit data...
discr9.adb		Loading commit data...
discr9.ads		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...
div_no_warning.adb		Loading commit data...
dse_step.adb		Loading commit data...
dse_step.ads		Loading commit data...
dynamic_bound.adb		Loading commit data...
dynamic_elab1.adb		Loading commit data...
dynamic_elab1.ads		Loading commit data...
dynamic_elab2.adb		Loading commit data...
dynamic_elab2.ads		Loading commit data...
dynamic_elab_pkg.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...
entry_queues2.adb		Loading commit data...
entry_queues3.adb		Loading commit data...
enum1.adb		Loading commit data...
enum1_pkg.ads		Loading commit data...
enum2.adb		Loading commit data...
enum2_pkg.ads		Loading commit data...
enum3.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...
exp0_eval.adb		Loading commit data...
expect1.adb		Loading commit data...
ext1.ads		Loading commit data...
fatp_sra.adb		Loading commit data...
finalized.adb		Loading commit data...
fixce.adb		Loading commit data...
fixedpnt.adb		Loading commit data...
forward_anon.adb		Loading commit data...
forward_anon.ads		Loading commit data...
forward_vla.adb		Loading commit data...
fp_exception.adb		Loading commit data...
frame_overflow.adb		Loading commit data...
frame_overflow.ads		Loading commit data...
frunaligned.adb		Loading commit data...
frunaligned1.ads		Loading commit data...
g_tables.adb		Loading commit data...
g_tables.ads		Loading commit data...
gen_disp.adb		Loading commit data...
gen_disp.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...
handle_and_return.adb		Loading commit data...
handle_raise_from_pure.adb		Loading commit data...
hyper_flat.adb		Loading commit data...
ice_type.adb		Loading commit data...
ice_types.ads		Loading commit data...
iface1.ads		Loading commit data...
iface2.adb		Loading commit data...
iface2.ads		Loading commit data...
iface_test.adb		Loading commit data...
iface_test.ads		Loading commit data...
ifaces.adb		Loading commit data...
ifaces.ads		Loading commit data...
import1.adb		Loading commit data...
import1.ads		Loading commit data...
in_mod_conv.adb		Loading commit data...
in_out_parameter.adb		Loading commit data...
in_out_parameter2.adb		Loading commit data...
in_out_parameter3.adb		Loading commit data...
in_out_parameter4.adb		Loading commit data...
include.adb		Loading commit data...
incomplete1.ads		Loading commit data...
incomplete2.adb		Loading commit data...
incomplete2.ads		Loading commit data...
incomplete3.adb		Loading commit data...
incomplete3.ads		Loading commit data...
incomplete4.adb		Loading commit data...
incomplete4_pkg.ads		Loading commit data...
init_scalar1.adb		Loading commit data...
inline1.adb		Loading commit data...
inline10.adb		Loading commit data...
inline10_pkg.adb		Loading commit data...
inline10_pkg.ads		Loading commit data...
inline11.adb		Loading commit data...
inline11_pkg.adb		Loading commit data...
inline11_pkg.ads		Loading commit data...
inline12.adb		Loading commit data...
inline13.adb		Loading commit data...
inline13.ads		Loading commit data...
inline13_pkg.adb		Loading commit data...
inline13_pkg.ads		Loading commit data...
inline1_pkg.adb		Loading commit data...
inline1_pkg.ads		Loading commit data...
inline2.adb		Loading commit data...
inline2_pkg.adb		Loading commit data...
inline2_pkg.ads		Loading commit data...
inline3.adb		Loading commit data...
inline3_pkg.adb		Loading commit data...
inline3_pkg.ads		Loading commit data...
inline4.adb		Loading commit data...
inline4_pkg.adb		Loading commit data...
inline4_pkg.ads		Loading commit data...
inline5.adb		Loading commit data...
inline5_pkg.adb		Loading commit data...
inline5_pkg.ads		Loading commit data...
inline6.adb		Loading commit data...
inline6_pkg.adb		Loading commit data...
inline6_pkg.ads		Loading commit data...
inline7.adb		Loading commit data...
inline7_pkg1.adb		Loading commit data...
inline7_pkg1.ads		Loading commit data...
inline7_pkg2.adb		Loading commit data...
inline7_pkg2.ads		Loading commit data...
inline8.adb		Loading commit data...
inline8_pkg1.adb		Loading commit data...
inline8_pkg1.ads		Loading commit data...
inline8_pkg2.adb		Loading commit data...
inline8_pkg2.ads		Loading commit data...
inline9.adb		Loading commit data...
inline9_pkg.adb		Loading commit data...
inline9_pkg.ads		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...
interface5.adb		Loading commit data...
interface5.ads		Loading commit data...
interface_conv.adb		Loading commit data...
invalid1.adb		Loading commit data...
invariant_index.adb		Loading commit data...
invariant_index.ads		Loading commit data...
iprot_test.adb		Loading commit data...
itype.adb		Loading commit data...
itype.ads		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...
limited_with2.adb		Loading commit data...
limited_with2.ads		Loading commit data...
limited_with2_pkg1.ads		Loading commit data...
limited_with2_pkg2.ads		Loading commit data...
limited_with3.adb		Loading commit data...
limited_with3.ads		Loading commit data...
limited_with3_pkg1.adb		Loading commit data...
limited_with3_pkg1.ads		Loading commit data...
limited_with3_pkg2.ads		Loading commit data...
limited_with3_pkg3.ads		Loading commit data...
limited_with4.adb		Loading commit data...
limited_with4.ads		Loading commit data...
limited_with4_pkg.ads		Loading commit data...
loop_address.adb		Loading commit data...
loop_address2.adb		Loading commit data...
loop_boolean.adb		Loading commit data...
loop_bound.adb		Loading commit data...
loop_optimization1.adb		Loading commit data...
loop_optimization1.ads		Loading commit data...
loop_optimization10.adb		Loading commit data...
loop_optimization10.ads		Loading commit data...
loop_optimization10_pkg.ads		Loading commit data...
loop_optimization11.adb		Loading commit data...
loop_optimization11_pkg.ads		Loading commit data...
loop_optimization12.adb		Loading commit data...
loop_optimization12.ads		Loading commit data...
loop_optimization13.adb		Loading commit data...
loop_optimization13.ads		Loading commit data...
loop_optimization13_pkg.ads		Loading commit data...
loop_optimization14.adb		Loading commit data...
loop_optimization14.ads		Loading commit data...
loop_optimization14_pkg.ads		Loading commit data...
loop_optimization15.adb		Loading commit data...
loop_optimization15.ads		Loading commit data...
loop_optimization16.adb		Loading commit data...
loop_optimization16_pkg.adb		Loading commit data...
loop_optimization16_pkg.ads		Loading commit data...
loop_optimization17.adb		Loading commit data...
loop_optimization17_pkg.adb		Loading commit data...
loop_optimization17_pkg.ads		Loading commit data...
loop_optimization18.adb		Loading commit data...
loop_optimization18.ads		Loading commit data...
loop_optimization18_pkg.ads		Loading commit data...
loop_optimization19.adb		Loading commit data...
loop_optimization2.adb		Loading commit data...
loop_optimization2.ads		Loading commit data...
loop_optimization20.adb		Loading commit data...
loop_optimization21.adb		Loading commit data...
loop_optimization21.ads		Loading commit data...
loop_optimization22.adb		Loading commit data...
loop_optimization22.ads		Loading commit data...
loop_optimization23.adb		Loading commit data...
loop_optimization23_pkg.adb		Loading commit data...
loop_optimization23_pkg.ads		Loading commit data...
loop_optimization3.adb		Loading commit data...
loop_optimization3_pkg.adb		Loading commit data...
loop_optimization3_pkg.ads		Loading commit data...
loop_optimization4.adb		Loading commit data...
loop_optimization4_pkg.adb		Loading commit data...
loop_optimization4_pkg.ads		Loading commit data...
loop_optimization5.adb		Loading commit data...
loop_optimization5_pkg.ads		Loading commit data...
loop_optimization6.adb		Loading commit data...
loop_optimization6.ads		Loading commit data...
loop_optimization7.adb		Loading commit data...
loop_optimization7.ads		Loading commit data...
loop_optimization7_pkg.ads		Loading commit data...
loop_optimization8.adb		Loading commit data...
loop_optimization8_pkg1.adb		Loading commit data...
loop_optimization8_pkg1.ads		Loading commit data...
loop_optimization8_pkg2.adb		Loading commit data...
loop_optimization8_pkg2.ads		Loading commit data...
loop_optimization9.adb		Loading commit data...
loop_optimization9.ads		Loading commit data...
loop_unchecked_conversion.adb		Loading commit data...
loop_unchecked_conversion.ads		Loading commit data...
lto1.adb		Loading commit data...
lto10.adb		Loading commit data...
lto10_pkg.ads		Loading commit data...
lto11.adb		Loading commit data...
lto11.ads		Loading commit data...
lto13.adb		Loading commit data...
lto13_pkg.adb		Loading commit data...
lto13_pkg.ads		Loading commit data...
lto14.adb		Loading commit data...
lto15.adb		Loading commit data...
lto15.ads		Loading commit data...
lto16.adb		Loading commit data...
lto16_pkg.adb		Loading commit data...
lto16_pkg.ads		Loading commit data...
lto17.adb		Loading commit data...
lto17.ads		Loading commit data...
lto18.adb		Loading commit data...
lto18.ads		Loading commit data...
lto18_pkg.ads		Loading commit data...
lto19.adb		Loading commit data...
lto19_pkg1.adb		Loading commit data...
lto19_pkg1.ads		Loading commit data...
lto19_pkg2.adb		Loading commit data...
lto19_pkg2.ads		Loading commit data...
lto1_pkg.adb		Loading commit data...
lto1_pkg.ads		Loading commit data...
lto2.adb		Loading commit data...
lto20.adb		Loading commit data...
lto20_pkg.adb		Loading commit data...
lto20_pkg.ads		Loading commit data...
lto21.adb		Loading commit data...
lto21_pkg1.ads		Loading commit data...
lto21_pkg2.adb		Loading commit data...
lto21_pkg2.ads		Loading commit data...
lto4.adb		Loading commit data...
lto4.ads		Loading commit data...
lto5.adb		Loading commit data...
lto5_pkg.adb		Loading commit data...
lto5_pkg.ads		Loading commit data...
lto6.adb		Loading commit data...
lto6_pkg.ads		Loading commit data...
lto7.adb		Loading commit data...
lto7_pkg.adb		Loading commit data...
lto7_pkg.ads		Loading commit data...
lto8.adb		Loading commit data...
lto8_pkg.adb		Loading commit data...
lto8_pkg.ads		Loading commit data...
lto9.adb		Loading commit data...
lto9_pkg1.ads		Loading commit data...
lto9_pkg2.adb		Loading commit data...
lto9_pkg2.ads		Loading commit data...
machine_code1.adb		Loading commit data...
max_align.adb		Loading commit data...
md5_test.adb		Loading commit data...
memtrap.adb		Loading commit data...
misaligned_nest.adb		Loading commit data...
misaligned_param.adb		Loading commit data...
misaligned_param_pkg.adb		Loading commit data...
misaligned_param_pkg.ads		Loading commit data...
misaligned_volatile.adb		Loading commit data...
missing_acc_check.adb		Loading commit data...
modify_a_constant.adb		Loading commit data...
modular1.adb		Loading commit data...
modular2.adb		Loading commit data...
modular3.adb		Loading commit data...
modular3_pkg.ads		Loading commit data...
modular4.adb		Loading commit data...
modular4_pkg.ads		Loading commit data...
mutable1.adb		Loading commit data...
my_env_versioned_value_set_g.ads		Loading commit data...
named_test.adb		Loading commit data...
namet.ads		Loading commit data...
nan_max.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_float_packed.ads		Loading commit data...
nested_generic1.adb		Loading commit data...
nested_generic1_pkg.adb		Loading commit data...
nested_generic1_pkg.ads		Loading commit data...
nested_proc1.adb		Loading commit data...
nested_proc2.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...
noinline2.adb		Loading commit data...
noinline2.ads		Loading commit data...
noreturn1.adb		Loading commit data...
noreturn1.ads		Loading commit data...
noreturn2.adb		Loading commit data...
noreturn2.ads		Loading commit data...
noreturn3.adb		Loading commit data...
noreturn3.ads		Loading commit data...
noreturn4.adb		Loading commit data...
noreturn4.ads		Loading commit data...
noreturn4_pkg.ads		Loading commit data...
noreturn5.adb		Loading commit data...
noreturn5.ads		Loading commit data...
not_null.adb		Loading commit data...
notnot.adb		Loading commit data...
null_pointer_deref1.adb		Loading commit data...
null_pointer_deref2.adb		Loading commit data...
null_pointer_deref3.adb		Loading commit data...
oalign1.ads		Loading commit data...
oalign2.ads		Loading commit data...
object_overflow1.adb		Loading commit data...
object_overflow2.adb		Loading commit data...
object_overflow3.adb		Loading commit data...
object_overflow4.adb		Loading commit data...
object_overflow5.adb		Loading commit data...
oconst1.adb		Loading commit data...
oconst1.ads		Loading commit data...
oconst2.adb		Loading commit data...
oconst2.ads		Loading commit data...
oconst3.adb		Loading commit data...
oconst3.ads		Loading commit data...
oconst4.adb		Loading commit data...
oconst4.ads		Loading commit data...
oconst5.adb		Loading commit data...
oconst5.ads		Loading commit data...
old_errors.ads		Loading commit data...
opt1.adb		Loading commit data...
opt1.ads		Loading commit data...
opt10.adb		Loading commit data...
opt10_pkg.ads		Loading commit data...
opt11.adb		Loading commit data...
opt11.ads		Loading commit data...
opt12.adb		Loading commit data...
opt12_pkg.adb		Loading commit data...
opt12_pkg.ads		Loading commit data...
opt13.adb		Loading commit data...
opt13_pkg.adb		Loading commit data...
opt13_pkg.ads		Loading commit data...
opt14.adb		Loading commit data...
opt15.adb		Loading commit data...
opt15_pkg.adb		Loading commit data...
opt15_pkg.ads		Loading commit data...
opt16.adb		Loading commit data...
opt17.adb		Loading commit data...
opt17.ads		Loading commit data...
opt18.adb		Loading commit data...
opt18.ads		Loading commit data...
opt18_pkg.ads		Loading commit data...
opt19.adb		Loading commit data...
opt2.adb		Loading commit data...
opt20.adb		Loading commit data...
opt20.ads		Loading commit data...
opt20_pkg.ads		Loading commit data...
opt21.adb		Loading commit data...
opt21_pkg.adb		Loading commit data...
opt21_pkg.ads		Loading commit data...
opt22.adb		Loading commit data...
opt22_pkg.adb		Loading commit data...
opt22_pkg.ads		Loading commit data...
opt23.adb		Loading commit data...
opt23.ads		Loading commit data...
opt23_pkg.adb		Loading commit data...
opt23_pkg.ads		Loading commit data...
opt24.adb		Loading commit data...
opt24.ads		Loading commit data...
opt25.adb		Loading commit data...
opt25_pkg1.adb		Loading commit data...
opt25_pkg1.ads		Loading commit data...
opt25_pkg2.adb		Loading commit data...
opt25_pkg2.ads		Loading commit data...
opt26.adb		Loading commit data...
opt27.adb		Loading commit data...
opt27_pkg.adb		Loading commit data...
opt27_pkg.ads		Loading commit data...
opt28.adb		Loading commit data...
opt28.ads		Loading commit data...
opt28_pkg.ads		Loading commit data...
opt29.adb		Loading commit data...
opt29.ads		Loading commit data...
opt3.adb		Loading commit data...
opt30.adb		Loading commit data...
opt31.adb		Loading commit data...
opt32.adb		Loading commit data...
opt33.adb		Loading commit data...
opt34.adb		Loading commit data...
opt34_pkg.ads		Loading commit data...
opt35.adb		Loading commit data...
opt35_pkg.adb		Loading commit data...
opt35_pkg.ads		Loading commit data...
opt36.adb		Loading commit data...
opt37.adb		Loading commit data...
opt37.ads		Loading commit data...
opt38.adb		Loading commit data...
opt38_pkg.adb		Loading commit data...
opt38_pkg.ads		Loading commit data...
opt39.adb		Loading commit data...
opt3_pkg.ads		Loading commit data...
opt4.adb		Loading commit data...
opt40.adb		Loading commit data...
opt41.adb		Loading commit data...
opt41_pkg.adb		Loading commit data...
opt41_pkg.ads		Loading commit data...
opt42.adb		Loading commit data...
opt42.ads		Loading commit data...
opt43.adb		Loading commit data...
opt44.adb		Loading commit data...
opt44.ads		Loading commit data...
opt45.adb		Loading commit data...
opt46.adb		Loading commit data...
opt46.ads		Loading commit data...
opt46_pkg.adb		Loading commit data...
opt46_pkg.ads		Loading commit data...
opt47.adb		Loading commit data...
opt48.adb		Loading commit data...
opt48_pkg1.adb		Loading commit data...
opt48_pkg1.ads		Loading commit data...
opt48_pkg2.adb		Loading commit data...
opt48_pkg2.ads		Loading commit data...
opt49.adb		Loading commit data...
opt5.adb		Loading commit data...
opt50.adb		Loading commit data...
opt50_pkg.adb		Loading commit data...
opt50_pkg.ads		Loading commit data...
opt51.adb		Loading commit data...
opt51_pkg.ads		Loading commit data...
opt52.adb		Loading commit data...
opt53.adb		Loading commit data...
opt54.adb		Loading commit data...
opt55.adb		Loading commit data...
opt55.ads		Loading commit data...
opt56.adb		Loading commit data...
opt56.ads		Loading commit data...
opt57.adb		Loading commit data...
opt57.ads		Loading commit data...
opt57_pkg.ads		Loading commit data...
opt58.adb		Loading commit data...
opt58_pkg.ads		Loading commit data...
opt59.adb		Loading commit data...
opt59_pkg.adb		Loading commit data...
opt59_pkg.ads		Loading commit data...
opt6.adb		Loading commit data...
opt6.ads		Loading commit data...
opt60.adb		Loading commit data...
opt61.adb		Loading commit data...
opt61_pkg.adb		Loading commit data...
opt61_pkg.ads		Loading commit data...
opt62.adb		Loading commit data...
opt62_pkg.ads		Loading commit data...
opt63.adb		Loading commit data...
opt64.adb		Loading commit data...
opt64_pkg.adb		Loading commit data...
opt64_pkg.ads		Loading commit data...
opt7.adb		Loading commit data...
opt7.ads		Loading commit data...
opt7_pkg.ads		Loading commit data...
opt8.adb		Loading commit data...
opt8.ads		Loading commit data...
opt8_pkg.ads		Loading commit data...
opt9.adb		Loading commit data...
opt9_pkg.ads		Loading commit data...
outer_agg_bitfield_constructor.adb		Loading commit data...
overflow_fixed.adb		Loading commit data...
overflow_sum.adb		Loading commit data...
overflow_sum2.adb		Loading commit data...
overflow_sum3.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...
pack10.adb		Loading commit data...
pack11.adb		Loading commit data...
pack12.adb		Loading commit data...
pack13.adb		Loading commit data...
pack13.ads		Loading commit data...
pack13_pkg.ads		Loading commit data...
pack14.adb		Loading commit data...
pack15.adb		Loading commit data...
pack15.ads		Loading commit data...
pack16.adb		Loading commit data...
pack16_pkg.ads		Loading commit data...
pack17.adb		Loading commit data...
pack18.adb		Loading commit data...
pack18_pkg.ads		Loading commit data...
pack19.adb		Loading commit data...
pack2.adb		Loading commit data...
pack20.adb		Loading commit data...
pack20.ads		Loading commit data...
pack20_pkg.ads		Loading commit data...
pack21.adb		Loading commit data...
pack22.adb		Loading commit data...
pack22_pkg.adb		Loading commit data...
pack22_pkg.ads		Loading commit data...
pack3.adb		Loading commit data...
pack4.adb		Loading commit data...
pack5.adb		Loading commit data...
pack6.adb		Loading commit data...
pack7.adb		Loading commit data...
pack8.adb		Loading commit data...
pack9.adb		Loading commit data...
pack9.ads		Loading commit data...
packed_subtype.adb		Loading commit data...
pak.adb		Loading commit data...
pak.ads		Loading commit data...
parameterlessfunc.adb		Loading commit data...
parent_ltd_with-child_full_view.adb		Loading commit data...
parent_ltd_with-child_full_view.ads		Loading commit data...
parent_ltd_with.ads		Loading commit data...
pointer_array.adb		Loading commit data...
pointer_controlled.adb		Loading commit data...
pointer_conversion.adb		Loading commit data...
pointer_discr1.adb		Loading commit data...
pointer_discr1_pkg1.ads		Loading commit data...
pointer_discr1_pkg2.ads		Loading commit data...
pointer_discr1_pkg3.ads		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...
prot2.adb		Loading commit data...
prot2.ads		Loading commit data...
prot2_pkg1.ads		Loading commit data...
prot2_pkg2.adb		Loading commit data...
prot2_pkg2.ads		Loading commit data...
prot_def.adb		Loading commit data...
protected_self_ref1.adb		Loading commit data...
protected_self_ref2.adb		Loading commit data...
quote.adb		Loading commit data...
raise_ce.adb		Loading commit data...
raise_from_pure.adb		Loading commit data...
raise_from_pure.ads		Loading commit data...
range_check.adb		Loading commit data...
range_check2.adb		Loading commit data...
rational_arithmetic.ads		Loading commit data...
recursive_call.adb		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...
renaming10.adb		Loading commit data...
renaming10.ads		Loading commit data...
renaming11.adb		Loading commit data...
renaming11.ads		Loading commit data...
renaming2.adb		Loading commit data...
renaming3.adb		Loading commit data...
renaming4.ads		Loading commit data...
renaming5.adb		Loading commit data...
renaming5.ads		Loading commit data...
renaming6.adb		Loading commit data...
renaming6.ads		Loading commit data...
renaming7.adb		Loading commit data...
renaming7_pkg.ads		Loading commit data...
renaming8.adb		Loading commit data...