gcc/testsuite/gnat.dg · d7134c0eb570daf54d4e985dc28c83ca95209373 · lvzhengyang / riscv-gcc-1

tree-cfg.c (replace_loop_annotate_in_block): New function extracted from... · 8a9b4fa1

	* tree-cfg.c (replace_loop_annotate_in_block): New function extracted
	from...
	(replace_loop_annotate): ...here.  Call it on the header and on the
	latch block, if any.  Restore proper behavior of final cleanup.

From-SVN: r217602

committed Nov 15, 2014

8a9b4fa1

Name	Last commit	Last update
..
Too many items to show. To preserve performance only 1,000 of 1,113 items are displayed.
specs		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...
addr_slice.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...
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...
bad_array.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...
blocklocs.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_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...
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...
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...
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...
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...
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...
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...
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_optimization2.adb		Loading commit data...
loop_optimization2.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...
lto1_pkg.adb		Loading commit data...
lto1_pkg.ads		Loading commit data...
lto2.adb		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...
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...
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...
opt5.adb		Loading commit data...
opt6.adb		Loading commit data...
opt6.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...
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...
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...
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...
rep_clause1.adb		Loading commit data...
rep_clause2.adb		Loading commit data...
rep_clause2.ads		Loading commit data...
rep_clause3.adb		Loading commit data...
rep_clause4.adb		Loading commit data...
rep_clause5.adb		Loading commit data...
rep_clause5.ads		Loading commit data...
rep_clause5_pkg.ads		Loading commit data...
requeue1.adb		Loading commit data...
return1.adb		Loading commit data...
return1.ads		Loading commit data...
return2.adb		Loading commit data...
return2.ads		Loading commit data...
return2_pkg.ads		Loading commit data...
return3.adb		Loading commit data...
return4.adb		Loading commit data...
return4_pkg.adb		Loading commit data...
return4_pkg.ads		Loading commit data...
rt1.adb		Loading commit data...
rt1.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...
self1.adb		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...
set_in_pproc.adb		Loading commit data...
show_deques_priority.adb		Loading commit data...
size_attribute.adb		Loading commit data...
sizetype1.adb		Loading commit data...
sizetype2.adb		Loading commit data...
sizetype3.adb		Loading commit data...
sizetype3.ads		Loading commit data...
sizetype3_pkg.ads		Loading commit data...
sizetype4.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...
slice5.adb		Loading commit data...
slice6.adb		Loading commit data...
slice6_pkg.ads		Loading commit data...
slice7.adb		Loading commit data...
slice7_pkg.ads		Loading commit data...
slice8.adb		Loading commit data...
slice8_pkg1.ads		Loading commit data...
slice8_pkg2.ads		Loading commit data...
slice8_pkg3.adb		Loading commit data...
slice8_pkg3.ads		Loading commit data...
slice_enum.adb		Loading commit data...
small_alignment.adb		Loading commit data...
socket1.adb		Loading commit data...
sort1.adb		Loading commit data...
sort1.ads		Loading commit data...
sort2.adb		Loading commit data...
source_ref1.adb		Loading commit data...
source_ref2.adb		Loading commit data...
spipaterr.adb		Loading commit data...
sse_nolib.adb		Loading commit data...
stack_check1.adb		Loading commit data...
stack_check2.adb		Loading commit data...
stack_check3.adb		Loading commit data...
stack_check3.ads		Loading commit data...
stack_usage1.adb		Loading commit data...
stack_usage1_pkg.adb		Loading commit data...
stack_usage1_pkg.ads		Loading commit data...
stack_usage1b.adb		Loading commit data...
stack_usage1c.adb		Loading commit data...
stack_usage2.adb		Loading commit data...
statically_matching.ads		Loading commit data...
str1.adb		Loading commit data...
string_comparison.adb		Loading commit data...
string_slice.adb		Loading commit data...
string_slice2.adb		Loading commit data...
subp_elim_errors.adb		Loading commit data...
subp_elim_errors.ads		Loading commit data...
sync1.adb		Loading commit data...
sync1.ads		Loading commit data...
sync_iface_test.adb		Loading commit data...
sync_iface_test.ads		Loading commit data...
taft_type1.adb		Loading commit data...
taft_type1_pkg1.adb		Loading commit data...
taft_type1_pkg1.ads		Loading commit data...
taft_type1_pkg2.ads		Loading commit data...
taft_type2.adb		Loading commit data...
taft_type2.ads		Loading commit data...
taft_type2_pkg.ads		Loading commit data...
taft_type3.adb		Loading commit data...
taft_type3_pkg.ads		Loading commit data...
tag1.adb		Loading commit data...
tagged_alloc_free.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...
task_name.adb		Loading commit data...
task_name.ads		Loading commit data...
task_stack_align.adb		Loading commit data...
test_8bitlong_overflow.adb		Loading commit data...
test_address_null_init.adb		Loading commit data...
test_ai254.adb		Loading commit data...
test_allocator_maxalign2.adb		Loading commit data...
test_bip_no_alloc.adb		Loading commit data...
test_bounded.adb		Loading commit data...
test_call.adb		Loading commit data...
test_debug1.adb		Loading commit data...
test_delay.adb		Loading commit data...
test_direct_io.adb		Loading commit data...
test_dse_step.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_iface_aggr.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_oconst.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_raise_from_pure.adb		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_time_stamp.adb		Loading commit data...
test_unknown_discrs.adb		Loading commit data...
test_version.adb		Loading commit data...
testint.adb		Loading commit data...
tf_interface_1.adb		Loading commit data...
tf_interface_1.ads		Loading commit data...
tfren.adb		Loading commit data...
thin_pointer1.adb		Loading commit data...
thin_pointer1.ads		Loading commit data...
thin_pointer2.adb		Loading commit data...