summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg
ModeNameSize
-rw-r--r--abstract1.adb964logplain
-rw-r--r--abstract1.ads619logplain
-rw-r--r--abstract_with_anonymous_result.adb896logplain
-rw-r--r--access1.adb414logplain
-rw-r--r--access2.adb367logplain
-rw-r--r--access3.adb318logplain
-rw-r--r--access3.ads246logplain
-rw-r--r--access4.adb147logplain
-rw-r--r--access_discr.adb559logplain
-rw-r--r--access_discr2.adb197logplain
-rw-r--r--access_func.adb217logplain
-rw-r--r--access_test.adb563logplain
-rw-r--r--addr1.adb387logplain
-rw-r--r--addr1.ads48logplain
-rw-r--r--addr2.adb158logplain
-rw-r--r--addr2_p.adb248logplain
-rw-r--r--addr2_p.ads229logplain
-rw-r--r--addr3.adb664logplain
-rw-r--r--addr4.adb253logplain
-rw-r--r--addr5.adb199logplain
-rw-r--r--addr6.adb554logplain
-rw-r--r--addr_slice.adb408logplain
-rw-r--r--address_conversion.adb452logplain
-rw-r--r--address_null_init.ads226logplain
-rw-r--r--aggr1.adb1228logplain
-rw-r--r--aggr10.adb593logplain
-rw-r--r--aggr10_pkg.ads460logplain
-rw-r--r--aggr11.adb422logplain
-rw-r--r--aggr11_pkg.ads297logplain
-rw-r--r--aggr12.adb399logplain
-rw-r--r--aggr12.ads261logplain
-rw-r--r--aggr13.adb437logplain
-rw-r--r--aggr14.adb91logplain
-rw-r--r--aggr14_pkg.adb235logplain
-rw-r--r--aggr14_pkg.ads148logplain
-rw-r--r--aggr15.adb321logplain
-rw-r--r--aggr15.ads248logplain
-rw-r--r--aggr16.adb431logplain
-rw-r--r--aggr16.ads50logplain
-rw-r--r--aggr16_pkg.ads433logplain
-rw-r--r--aggr2.adb310logplain
-rw-r--r--aggr3.adb842logplain
-rw-r--r--aggr4.adb514logplain
-rw-r--r--aggr7.adb813logplain
-rw-r--r--aggr8.adb401logplain
-rw-r--r--aggr9.adb162logplain
-rw-r--r--aggr9.ads89logplain
-rw-r--r--aggr9_pkg.ads231logplain
-rw-r--r--aliased1.adb568logplain
-rw-r--r--aliased_prefix_accessibility.adb1558logplain
-rw-r--r--aliasing1.adb493logplain
-rw-r--r--aliasing1.ads177logplain
-rw-r--r--aliasing2.adb496logplain
-rw-r--r--aliasing2.ads163logplain
-rw-r--r--aliasing3.adb162logplain
-rw-r--r--aliasing3_pkg.adb157logplain
-rw-r--r--aliasing3_pkg.ads305logplain
-rw-r--r--align_check.adb523logplain
-rw-r--r--align_max.adb3832logplain
-rw-r--r--aligned_vla.adb533logplain
-rw-r--r--alignment1.adb247logplain
-rw-r--r--alignment2.adb1236logplain
-rw-r--r--alignment3.adb883logplain
-rw-r--r--alignment4.adb284logplain
-rw-r--r--alignment5.adb701logplain
-rw-r--r--alignment6.adb760logplain
-rw-r--r--alignment7.adb306logplain
-rw-r--r--alignment8.adb318logplain
-rw-r--r--alignment9.adb444logplain
-rw-r--r--allocator_maxalign1.adb964logplain
-rw-r--r--allocator_maxalign2.adb669logplain
-rw-r--r--allocator_maxalign2.ads211logplain
-rw-r--r--ancestor_type.adb233logplain
-rw-r--r--ancestor_type.ads200logplain
-rw-r--r--anon1.ads66logplain
-rw-r--r--anon2.adb120logplain
-rw-r--r--array1.adb656logplain
-rw-r--r--array1.ads151logplain
-rw-r--r--array10.adb449logplain
-rw-r--r--array11.adb333logplain
-rw-r--r--array12.adb347logplain
-rw-r--r--array13.adb211logplain
-rw-r--r--array13.ads201logplain
-rw-r--r--array2.ads129logplain
-rw-r--r--array3.adb1110logplain
-rw-r--r--array4.adb576logplain
-rw-r--r--array5.adb575logplain
-rw-r--r--array6.adb605logplain
-rw-r--r--array7.adb538logplain
-rw-r--r--array7.ads484logplain
-rw-r--r--array8.adb575logplain
-rw-r--r--array9.adb309logplain
-rw-r--r--array_bounds_test.adb397logplain
-rw-r--r--assert.ads75logplain
-rw-r--r--assert1.adb1086logplain
-rw-r--r--assign_from_packed.adb257logplain
-rw-r--r--assign_from_packed_pixels.ads335logplain
-rw-r--r--asynch.adb556logplain
-rw-r--r--asynch.ads199logplain
-rw-r--r--atomic1.adb426logplain
-rw-r--r--atomic1_pkg.ads1024logplain
-rw-r--r--atomic2.adb214logplain
-rw-r--r--atomic3.adb398logplain
-rw-r--r--atomic4.adb270logplain
-rw-r--r--atomic4.ads534logplain
-rw-r--r--atomic5.adb341logplain
-rw-r--r--atomic5.ads382logplain
-rw-r--r--bad_array.adb146logplain
-rw-r--r--biased_uc.adb1067logplain
-rw-r--r--bip_aggregate_bug.adb1341logplain
-rw-r--r--bip_prim_func.adb277logplain
-rw-r--r--bip_prim_func.ads222logplain
-rw-r--r--bit_packed_array1.adb369logplain
-rw-r--r--bit_packed_array1.ads934logplain
-rw-r--r--bit_packed_array2.adb324logplain
-rw-r--r--bit_packed_array3.adb971logplain
-rw-r--r--bit_packed_array4.adb182logplain
-rw-r--r--bit_packed_array4.ads411logplain
-rw-r--r--blkextract_from_reg.adb1178logplain
-rw-r--r--bltins.adb202logplain
-rw-r--r--boolean_bitfield.adb1198logplain
-rw-r--r--boolean_conv.adb536logplain
-rw-r--r--boolean_expr1.adb781logplain
-rw-r--r--boolean_expr1.ads95logplain
-rw-r--r--boolean_expr2.adb314logplain
-rw-r--r--boolean_subtype.adb752logplain
-rw-r--r--bug_elaboration_code.adb184logplain
-rw-r--r--bug_elaboration_code.ads119logplain
-rw-r--r--c_words.adb288logplain
-rw-r--r--c_words.ads469logplain
-rw-r--r--capture_value.adb245logplain
-rw-r--r--case_null.adb284logplain
-rw-r--r--case_null.ads207logplain
-rw-r--r--case_optimization1.adb518logplain
-rw-r--r--case_optimization1.ads161logplain
-rw-r--r--case_optimization2.adb276logplain
-rw-r--r--case_optimization_pkg1.ads18675logplain
-rw-r--r--case_optimization_pkg2.adb598logplain
-rw-r--r--case_optimization_pkg2.ads764logplain
-rw-r--r--check1.adb146logplain
-rw-r--r--check1.ads207logplain
-rw-r--r--check_displace_generation.adb1100logplain
-rw-r--r--check_elaboration_code.adb197logplain
-rw-r--r--class_wide1.adb489logplain
-rw-r--r--class_wide2.adb287logplain
-rw-r--r--class_wide2.ads311logplain
-rw-r--r--compose.adb293logplain
-rw-r--r--concat1.adb482logplain
-rw-r--r--concat1_pkg.adb117logplain
-rw-r--r--concat1_pkg.ads89logplain
-rw-r--r--concat_length.adb317logplain
-rw-r--r--cond_expr1.adb177logplain
-rw-r--r--constant1.adb134logplain
-rw-r--r--constant2.adb171logplain
-rw-r--r--constant2_pkg1.ads134logplain
-rw-r--r--constant2_pkg2.adb184logplain
-rw-r--r--constant2_pkg2.ads108logplain
-rw-r--r--controlled1.ads372logplain
-rw-r--r--controlled2.adb239logplain
-rw-r--r--controlled2.ads101logplain
-rw-r--r--controlled3.ads371logplain
-rw-r--r--controlled4.adb192logplain
-rw-r--r--controlled4.ads89logplain
-rw-r--r--controlled5.adb141logplain
-rw-r--r--controlled5_pkg.adb367logplain
-rw-r--r--controlled5_pkg.ads369logplain
-rw-r--r--controlled_record.adb281logplain
-rw-r--r--controlled_record.ads329logplain
-rw-r--r--conv_bug.adb685logplain
-rw-r--r--conv_decimal.adb739logplain
-rw-r--r--conv_integer.adb246logplain
-rw-r--r--conv_real.adb568logplain
-rw-r--r--curr_task.adb2246logplain
-rw-r--r--debug1.ads502logplain
-rw-r--r--decl_ctx_def.ads48logplain
-rw-r--r--decl_ctx_use.adb229logplain
-rw-r--r--decl_ctx_use.ads74logplain
-rw-r--r--deep_old.adb156logplain
-rw-r--r--deferred_const1.adb276logplain
-rw-r--r--deferred_const2.adb203logplain
-rw-r--r--deferred_const2_pkg.adb201logplain
-rw-r--r--deferred_const2_pkg.ads224logplain
-rw-r--r--deferred_const3.adb344logplain
-rw-r--r--deferred_const3_pkg.adb342logplain
-rw-r--r--deferred_const3_pkg.ads356logplain
-rw-r--r--deques.ads400logplain
-rw-r--r--deref1.ads104logplain
-rw-r--r--deref2.ads344logplain
-rw-r--r--deref3.adb172logplain
-rw-r--r--derived_aggregate.adb666logplain
-rw-r--r--derived_type1.adb650logplain
-rw-r--r--dg.exp1097logplain
-rw-r--r--discr1.ads466logplain
-rw-r--r--discr10.adb146logplain
-rw-r--r--discr10.ads516logplain
-rw-r--r--discr11.adb164logplain
-rw-r--r--discr11.ads174logplain
-rw-r--r--discr11_pkg.ads213logplain
-rw-r--r--discr12.adb565logplain
-rw-r--r--discr12_pkg.ads89logplain
-rw-r--r--discr13.adb607logplain
-rw-r--r--discr14.adb270logplain
-rw-r--r--discr14.ads1063logplain
-rw-r--r--discr15.adb312logplain
-rw-r--r--discr15_pkg.ads436logplain
-rw-r--r--discr16.adb404logplain
-rw-r--r--discr16_cont.ads105logplain
-rw-r--r--discr16_g.ads289logplain
-rw-r--r--discr16_pkg.ads165logplain
-rw-r--r--discr17.adb1085logplain
-rw-r--r--discr18.adb499logplain
-rw-r--r--discr18_pkg.ads470logplain
-rw-r--r--discr19.adb342logplain
-rw-r--r--discr2.adb372logplain
-rw-r--r--discr2.ads53logplain
-rw-r--r--discr20.adb141logplain
-rw-r--r--discr20.ads605logplain
-rw-r--r--discr21.adb584logplain
-rw-r--r--discr21.ads52logplain
-rw-r--r--discr21_pkg.ads351logplain
-rw-r--r--discr22.adb404logplain
-rw-r--r--discr23.adb280logplain
-rw-r--r--discr23.ads53logplain
-rw-r--r--discr23_pkg.ads221logplain
-rw-r--r--discr24.adb1192logplain
-rw-r--r--discr25.adb140logplain
-rw-r--r--discr25_pkg.adb463logplain
-rw-r--r--discr25_pkg.ads195logplain
-rw-r--r--discr29.adb139logplain
-rw-r--r--discr29.ads420logplain
-rw-r--r--discr3.ads299logplain
-rw-r--r--discr30.adb1194logplain
-rw-r--r--discr4.adb894logplain
-rw-r--r--discr5.adb323logplain
-rw-r--r--discr6.adb654logplain
-rw-r--r--discr6_pkg.ads327logplain
-rw-r--r--discr7.adb436logplain
-rw-r--r--discr8.adb636logplain
-rw-r--r--discr8.ads350logplain
-rw-r--r--discr8_pkg1.ads203logplain
-rw-r--r--discr8_pkg2.ads236logplain
-rw-r--r--discr8_pkg3.ads73logplain
-rw-r--r--discr9.adb188logplain
-rw-r--r--discr9.ads475logplain
-rw-r--r--discr_range_check.adb415logplain
-rw-r--r--discr_test.adb437logplain
-rw-r--r--discr_test2.adb381logplain
-rw-r--r--dispatch1.adb168logplain
-rw-r--r--dispatch1_p.ads95logplain
-rw-r--r--dispatch2.adb199logplain
-rw-r--r--dispatch2_p.adb152logplain
-rw-r--r--dispatch2_p.ads260logplain
-rw-r--r--div_no_warning.adb293logplain
-rw-r--r--dse_step.adb361logplain
-rw-r--r--dse_step.ads411logplain
-rw-r--r--dynamic_bound.adb529logplain
-rw-r--r--dynamic_elab1.adb271logplain
-rw-r--r--dynamic_elab1.ads198logplain
-rw-r--r--dynamic_elab2.adb271logplain
-rw-r--r--dynamic_elab2.ads215logplain
-rw-r--r--dynamic_elab_pkg.ads153logplain
-rw-r--r--elab1.ads474logplain
-rw-r--r--elab2.adb123logplain
-rw-r--r--elim1.adb83logplain
-rw-r--r--elim1.ads111logplain
-rw-r--r--elim2.adb70logplain
-rw-r--r--empty_vector_length.adb395logplain
-rw-r--r--enclosing_record_reference.adb888logplain
-rw-r--r--enclosing_record_reference.ads618logplain
-rw-r--r--entry_queues.adb1078logplain
-rw-r--r--enum1.adb247logplain
-rw-r--r--enum1_pkg.ads128logplain
-rw-r--r--enum2.adb274logplain
-rw-r--r--enum2_pkg.ads237logplain
-rw-r--r--env_compile_capacity.adb957logplain
-rw-r--r--env_compile_capacity.ads60logplain
-rw-r--r--equal1.ads286logplain
-rw-r--r--equal_access.adb142logplain
-rw-r--r--exp0_eval.adb620logplain
-rw-r--r--expect1.adb300logplain
-rw-r--r--ext1.ads377logplain
-rw-r--r--fatp_sra.adb234logplain
-rw-r--r--finalized.adb220logplain
-rw-r--r--fixce.adb293logplain
-rw-r--r--fixedpnt.adb186logplain
-rw-r--r--forward_anon.adb151logplain
-rw-r--r--forward_anon.ads266logplain
-rw-r--r--forward_vla.adb419logplain
-rw-r--r--frame_overflow.adb558logplain
-rw-r--r--frame_overflow.ads423logplain
-rw-r--r--frunaligned.adb159logplain
-rw-r--r--frunaligned1.ads260logplain
-rw-r--r--g_tables.adb175logplain
-rw-r--r--g_tables.ads225logplain
-rw-r--r--gen_disp.adb1375logplain
-rw-r--r--gen_disp.ads299logplain
-rw-r--r--generic_dispatch.adb236logplain
-rw-r--r--generic_dispatch_p.adb166logplain
-rw-r--r--generic_dispatch_p.ads525logplain
-rw-r--r--gnat_malloc.adb422logplain
-rw-r--r--gnatg.adb305logplain
-rw-r--r--graphic.adb538logplain
-rw-r--r--graphic.ads216logplain
-rw-r--r--handle_and_return.adb282logplain
-rw-r--r--handle_raise_from_pure.adb270logplain
-rw-r--r--hyper_flat.adb312logplain
-rw-r--r--ice_type.adb187logplain
-rw-r--r--ice_types.ads150logplain
-rw-r--r--iface1.ads408logplain
-rw-r--r--iface2.adb140logplain
-rw-r--r--iface2.ads144logplain
-rw-r--r--iface_test.adb689logplain
-rw-r--r--iface_test.ads450logplain
-rw-r--r--ifaces.adb157logplain
-rw-r--r--ifaces.ads401logplain
-rw-r--r--import1.adb357logplain
-rw-r--r--import1.ads131logplain
-rw-r--r--in_mod_conv.adb558logplain
-rw-r--r--in_out_parameter.adb799logplain
-rw-r--r--in_out_parameter2.adb364logplain
-rw-r--r--in_out_parameter3.adb726logplain
-rw-r--r--include.adb128logplain
-rw-r--r--incomplete1.ads66logplain
-rw-r--r--incomplete2.adb134logplain
-rw-r--r--incomplete2.ads223logplain
-rw-r--r--init_scalar1.adb405logplain
-rw-r--r--inline_scope.adb362logplain
-rw-r--r--inline_scope_p.adb174logplain
-rw-r--r--inline_scope_p.ads116logplain
-rw-r--r--inline_tagged.adb935logplain
-rw-r--r--interface1.adb481logplain
-rw-r--r--interface2.adb490logplain
-rw-r--r--interface3.adb709logplain
-rw-r--r--interface4.adb279logplain
-rw-r--r--interface5.adb186logplain
-rw-r--r--interface5.ads258logplain
-rw-r--r--interface_conv.adb381logplain
-rw-r--r--invariant_index.adb337logplain
-rw-r--r--invariant_index.ads142logplain
-rw-r--r--iprot_test.adb772logplain
-rw-r--r--itype.adb161logplain
-rw-r--r--itype.ads113logplain
-rw-r--r--itypes.adb519logplain
-rw-r--r--itypes.ads45logplain
-rw-r--r--kill_value.adb368logplain
-rw-r--r--late_overriding.adb401logplain
-rw-r--r--layered_abstraction.adb442logplain
-rw-r--r--layered_abstraction.ads626logplain
-rw-r--r--layered_abstraction_p.ads108logplain
-rw-r--r--layered_instance.adb305logplain
-rw-r--r--lhs_view_convert.adb544logplain
-rw-r--r--limited_with.adb170logplain
-rw-r--r--limited_with.ads120logplain
-rw-r--r--loop_address.adb487logplain
-rw-r--r--loop_address2.adb560logplain
-rw-r--r--loop_boolean.adb276logplain
-rw-r--r--loop_bound.adb623logplain
-rw-r--r--loop_optimization1.adb632logplain
-rw-r--r--loop_optimization1.ads846logplain
-rw-r--r--loop_optimization2.adb1253logplain
-rw-r--r--loop_optimization2.ads1180logplain
-rw-r--r--loop_optimization3.adb315logplain
-rw-r--r--loop_optimization3_pkg.adb143logplain
-rw-r--r--loop_optimization3_pkg.ads107logplain
-rw-r--r--loop_optimization4.adb162logplain
-rw-r--r--loop_optimization4_pkg.adb461logplain
-rw-r--r--loop_optimization4_pkg.ads265logplain
-rw-r--r--loop_optimization5.adb579logplain
-rw-r--r--loop_optimization5_pkg.ads191logplain
-rw-r--r--loop_optimization6.adb483logplain
-rw-r--r--loop_optimization6.ads92logplain
-rw-r--r--loop_optimization7.adb334logplain
-rw-r--r--loop_optimization7.ads191logplain
-rw-r--r--loop_optimization7_pkg.ads171logplain
-rw-r--r--loop_optimization8.adb597logplain
-rw-r--r--loop_optimization8_pkg1.adb381logplain
-rw-r--r--loop_optimization8_pkg1.ads468logplain
-rw-r--r--loop_optimization8_pkg2.adb285logplain
-rw-r--r--loop_optimization8_pkg2.ads392logplain
-rw-r--r--loop_unchecked_conversion.adb714logplain
-rw-r--r--loop_unchecked_conversion.ads90logplain
-rw-r--r--lto1.adb256logplain
-rw-r--r--lto10.adb252logplain
-rw-r--r--lto10_pkg.ads329logplain
-rw-r--r--lto1_pkg.adb570logplain
-rw-r--r--lto1_pkg.ads737logplain
-rw-r--r--lto2.adb589logplain
-rw-r--r--lto4.adb281logplain
-rw-r--r--lto4.ads581logplain
-rw-r--r--lto5.adb113logplain
-rw-r--r--lto5_pkg.adb85logplain
-rw-r--r--lto5_pkg.ads108logplain
-rw-r--r--lto6.adb284logplain
-rw-r--r--lto6_pkg.ads235logplain
-rw-r--r--lto7.adb253logplain
-rw-r--r--lto7_pkg.adb143logplain
-rw-r--r--lto7_pkg.ads390logplain
-rw-r--r--lto8.adb382logplain
-rw-r--r--lto8_pkg.adb183logplain
-rw-r--r--lto8_pkg.ads480logplain
-rw-r--r--lto9.adb267logplain
-rw-r--r--lto9_pkg1.ads623logplain
-rw-r--r--lto9_pkg2.adb249logplain
-rw-r--r--lto9_pkg2.ads482logplain
-rw-r--r--machine_code1.adb308logplain
-rw-r--r--max_align.adb256logplain
-rw-r--r--md5_test.adb379logplain
-rw-r--r--memtrap.adb273logplain
-rw-r--r--misaligned_nest.adb387logplain
-rw-r--r--misaligned_param.adb633logplain
-rw-r--r--misaligned_param_pkg.adb305logplain
-rw-r--r--misaligned_param_pkg.ads108logplain
-rw-r--r--missing_acc_check.adb807logplain
-rw-r--r--modify_a_constant.adb566logplain
-rw-r--r--modular1.adb424logplain
-rw-r--r--modular2.adb113logplain
-rw-r--r--modular3.adb454logplain
-rw-r--r--modular3_pkg.ads239logplain
-rw-r--r--mutable1.adb668logplain
-rw-r--r--my_env_versioned_value_set_g.ads201logplain
-rw-r--r--named_test.adb559logplain
-rw-r--r--namet.ads196logplain
-rw-r--r--nat1.ads162logplain
-rw-r--r--nat1r.adb221logplain
-rw-r--r--nested_agg_bitfield_constructor.adb693logplain
-rw-r--r--nested_controlled_alloc.adb1021logplain
-rw-r--r--nested_float_packed.ads438logplain
-rw-r--r--nested_proc1.adb567logplain
-rw-r--r--nested_proc2.adb443logplain
-rw-r--r--nested_return_test.adb892logplain
-rw-r--r--nested_subtype_byref.adb398logplain
-rw-r--r--nested_subtype_byref.ads58logplain
-rw-r--r--no_exc_prop.adb327logplain
-rw-r--r--no_exc_prop.ads233logplain
-rw-r--r--no_final.adb564logplain
-rw-r--r--noreturn1.adb330logplain
-rw-r--r--noreturn1.ads159logplain
-rw-r--r--noreturn2.adb599logplain
-rw-r--r--noreturn2.ads166logplain
-rw-r--r--noreturn3.adb533logplain
-rw-r--r--noreturn3.ads227logplain
-rw-r--r--not_null.adb487logplain
-rw-r--r--notnot.adb201logplain
-rw-r--r--null_pointer_deref1.adb525logplain
-rw-r--r--null_pointer_deref2.adb611logplain
-rw-r--r--oalign1.ads108logplain
-rw-r--r--oalign2.ads108logplain
-rw-r--r--object_overflow.adb244logplain
-rw-r--r--oconst1.adb300logplain
-rw-r--r--oconst1.ads382logplain
-rw-r--r--oconst2.adb241logplain
-rw-r--r--oconst2.ads351logplain
-rw-r--r--oconst3.adb269logplain
-rw-r--r--oconst3.ads426logplain
-rw-r--r--oconst4.adb519logplain
-rw-r--r--oconst4.ads1375logplain
-rw-r--r--oconst5.adb299logplain
-rw-r--r--oconst5.ads522logplain
-rw-r--r--old_errors.adb1317logplain
-rw-r--r--old_errors.ads66logplain
-rw-r--r--opt1.adb644logplain
-rw-r--r--opt1.ads310logplain
-rw-r--r--opt10.adb477logplain
-rw-r--r--opt10_pkg.ads297logplain
-rw-r--r--opt11.adb160logplain
-rw-r--r--opt11.ads316logplain
-rw-r--r--opt12.adb288logplain
-rw-r--r--opt12_pkg.adb149logplain
-rw-r--r--opt12_pkg.ads245logplain
-rw-r--r--opt13.adb186logplain
-rw-r--r--opt13_pkg.adb587logplain
-rw-r--r--opt13_pkg.ads192logplain
-rw-r--r--opt14.adb364logplain
-rw-r--r--opt17.adb196logplain
-rw-r--r--opt17.ads89logplain
-rw-r--r--opt2.adb564logplain
-rw-r--r--opt26.adb715logplain
-rw-r--r--opt3.adb230logplain
-rw-r--r--opt3_pkg.ads71logplain
-rw-r--r--opt4.adb303logplain
-rw-r--r--opt5.adb368logplain
-rw-r--r--opt6.adb600logplain
-rw-r--r--opt6.ads389logplain
-rw-r--r--opt7.adb1292logplain
-rw-r--r--opt7.ads303logplain
-rw-r--r--opt7_pkg.ads68logplain
-rw-r--r--opt8.adb1350logplain
-rw-r--r--opt8.ads1247logplain
-rw-r--r--opt8_pkg.ads123logplain
-rw-r--r--opt9.adb390logplain
-rw-r--r--opt9_pkg.ads57logplain
-rw-r--r--outer_agg_bitfield_constructor.adb845logplain
-rw-r--r--overflow_sum.adb1822logplain
-rw-r--r--overflow_sum2.adb902logplain
-rw-r--r--overriding_ops.adb328logplain
-rw-r--r--overriding_ops.ads407logplain
-rw-r--r--overriding_ops_p.ads281logplain
-rw-r--r--pack1.ads126logplain
-rw-r--r--pack10.adb507logplain
-rw-r--r--pack11.adb387logplain
-rw-r--r--pack12.adb529logplain
-rw-r--r--pack13.adb191logplain
-rw-r--r--pack13.ads734logplain
-rw-r--r--pack13_pkg.ads223logplain
-rw-r--r--pack14.adb224logplain
-rw-r--r--pack15.adb134logplain
-rw-r--r--pack15.ads383logplain
-rw-r--r--pack2.adb376logplain
-rw-r--r--pack3.adb532logplain
-rw-r--r--pack4.adb590logplain
-rw-r--r--pack5.adb508logplain
-rw-r--r--pack6.adb406logplain
-rw-r--r--pack7.adb397logplain
-rw-r--r--pack8.adb428logplain
-rw-r--r--pack9.adb437logplain
-rw-r--r--pack9.ads256logplain
-rw-r--r--packed_subtype.adb372logplain
-rw-r--r--pak.adb445logplain
-rw-r--r--pak.ads227logplain
-rw-r--r--parameterlessfunc.adb358logplain
-rw-r--r--parent_ltd_with-child_full_view.adb303logplain
-rw-r--r--parent_ltd_with-child_full_view.ads349logplain
-rw-r--r--parent_ltd_with.ads304logplain
-rw-r--r--pointer_array.adb230logplain
-rw-r--r--pointer_controlled.adb676logplain
-rw-r--r--pointer_conversion.adb429logplain
-rw-r--r--pointer_discr1.adb172logplain
-rw-r--r--pointer_discr1_pkg1.ads162logplain
-rw-r--r--pointer_discr1_pkg2.ads259logplain
-rw-r--r--pointer_discr1_pkg3.ads243logplain
-rw-r--r--pointer_protected.adb214logplain
-rw-r--r--pointer_protected_p.ads182logplain
-rw-r--r--pointer_variable_bounds.adb652logplain
-rw-r--r--pointer_variable_bounds.ads606logplain
-rw-r--r--pointer_variable_bounds_q.ads165logplain
-rw-r--r--prefix1.adb208logplain
-rw-r--r--prefix1.ads148logplain
-rw-r--r--prefix2.adb958logplain
-rw-r--r--prefix2.ads743logplain
-rw-r--r--profile_warning.adb59logplain
-rw-r--r--profile_warning.ads165logplain
-rw-r--r--profile_warning_p.adb283logplain
-rw-r--r--profile_warning_p.ads64logplain
-rw-r--r--prot1.adb443logplain
-rw-r--r--prot2.adb396logplain
-rw-r--r--prot2.ads50logplain
-rw-r--r--prot2_pkg1.ads72logplain
-rw-r--r--prot2_pkg2.adb395logplain
-rw-r--r--prot2_pkg2.ads216logplain
-rw-r--r--prot_def.adb809logplain
-rw-r--r--protected_self_ref1.adb450logplain
-rw-r--r--protected_self_ref2.adb314logplain
-rw-r--r--quote.adb162logplain
-rw-r--r--raise_ce.adb60logplain
-rw-r--r--raise_from_pure.adb197logplain
-rw-r--r--raise_from_pure.ads105logplain
-rw-r--r--range_check.adb320logplain
-rw-r--r--range_check2.adb334logplain
-rw-r--r--rational_arithmetic.ads1017logplain
-rw-r--r--ref_type.adb209logplain
-rw-r--r--ref_type.ads103logplain
-rw-r--r--regpat1.adb241logplain
-rw-r--r--release_unc_maxalign.adb428logplain
-rw-r--r--remote_type.adb468logplain
-rw-r--r--remote_type.ads583logplain
-rw-r--r--renaming1.adb243logplain
-rw-r--r--renaming1.ads83logplain
-rw-r--r--renaming2.adb1705logplain
-rw-r--r--renaming3.adb213logplain
-rw-r--r--renaming4.ads342logplain
-rw-r--r--renaming5.adb626logplain
-rw-r--r--renaming5.ads57logplain
-rw-r--r--rep_clause1.adb2453logplain
-rw-r--r--rep_clause2.adb251logplain
-rw-r--r--rep_clause2.ads1134logplain
-rw-r--r--rep_clause3.adb867logplain
-rw-r--r--rep_clause4.adb615logplain
-rw-r--r--rep_clause5.adb1017logplain
-rw-r--r--rep_clause5.ads243logplain
-rw-r--r--rep_clause5_pkg.ads7321logplain
-rw-r--r--requeue1.adb953logplain
-rw-r--r--return1.adb268logplain
-rw-r--r--return1.ads238logplain
-rw-r--r--return2.adb722logplain
-rw-r--r--return2.ads349logplain
-rw-r--r--return2_pkg.ads133logplain
-rw-r--r--rt1.adb180logplain
-rw-r--r--rt1.ads419logplain
-rw-r--r--scalar_mode_agg_compare.adb571logplain
-rw-r--r--scalar_mode_agg_compare_loop.adb404logplain
-rw-r--r--self.adb453logplain
-rw-r--r--self.ads574logplain
-rw-r--r--self1.adb480logplain
-rw-r--r--self_aggregate_with_array.adb396logplain
-rw-r--r--self_aggregate_with_call.adb579logplain
-rw-r--r--self_aggregate_with_pointer.adb484logplain
-rw-r--r--self_aggregate_with_zeros.adb382logplain
-rw-r--r--set_in_pproc.adb368logplain
-rw-r--r--show_deques_priority.adb168logplain
-rw-r--r--size_attribute.adb151logplain
-rw-r--r--sizetype1.adb273logplain
-rw-r--r--sizetype2.adb576logplain
-rw-r--r--sizetype3.adb409logplain
-rw-r--r--sizetype3.ads188logplain
-rw-r--r--sizetype3_pkg.ads127logplain
-rw-r--r--sizetype4.adb489logplain
-rw-r--r--slice1.adb485logplain
-rw-r--r--slice2.adb219logplain
-rw-r--r--slice2.ads231logplain
-rw-r--r--slice3.adb517logplain
-rw-r--r--slice4.adb581logplain
-rw-r--r--slice5.adb680logplain
-rw-r--r--slice6.adb373logplain
-rw-r--r--slice6_pkg.ads402logplain
-rw-r--r--slice7.adb1055logplain
-rw-r--r--slice7_pkg.ads149logplain
-rw-r--r--slice8.adb177logplain
-rw-r--r--slice8_pkg1.ads99logplain
-rw-r--r--slice8_pkg2.ads457logplain
-rw-r--r--slice8_pkg3.adb391logplain
-rw-r--r--slice8_pkg3.ads154logplain
-rw-r--r--slice_enum.adb131logplain
-rw-r--r--small_alignment.adb436logplain
-rw-r--r--socket1.adb303logplain
-rw-r--r--sort1.adb778logplain
-rw-r--r--sort1.ads64logplain
-rw-r--r--sort2.adb155logplain
d---------specs4632logplain
-rw-r--r--spipaterr.adb292logplain
-rw-r--r--sse_nolib.adb1287logplain
-rw-r--r--stack_check1.adb734logplain
-rw-r--r--stack_check2.adb818logplain
-rw-r--r--statically_matching.ads244logplain
-rw-r--r--str1.adb313logplain
-rw-r--r--string_comparison.adb208logplain
-rw-r--r--string_slice.adb339logplain
-rw-r--r--string_slice2.adb492logplain
d---------style37logplain
-rw-r--r--subp_elim_errors.adb621logplain
-rw-r--r--subp_elim_errors.ads115logplain
-rw-r--r--sync1.adb273logplain
-rw-r--r--sync1.ads319logplain
-rw-r--r--sync_iface_test.adb414logplain
-rw-r--r--sync_iface_test.ads320logplain
-rw-r--r--tag1.adb450logplain
-rw-r--r--tagged_alloc_free.adb560logplain
-rw-r--r--tagged_type_pkg.adb515logplain
-rw-r--r--tagged_type_pkg.ads248logplain
-rw-r--r--tail_call.adb159logplain
-rw-r--r--tail_call_p.adb698logplain
-rw-r--r--tail_call_p.ads217logplain
-rw-r--r--tamdt.adb405logplain
-rw-r--r--tamdt.ads158logplain
-rw-r--r--tamdt_aux.ads120logplain
-rw-r--r--task_name.adb122logplain
-rw-r--r--task_name.ads750logplain
-rw-r--r--task_stack_align.adb704logplain
-rw-r--r--test_8bitlong_overflow.adb513logplain
-rw-r--r--test_address_null_init.adb397logplain
-rw-r--r--test_ai254.adb270logplain
-rw-r--r--test_allocator_maxalign2.adb125logplain
-rw-r--r--test_bip_no_alloc.adb580logplain
-rw-r--r--test_bounded.adb274logplain
-rw-r--r--test_call.adb599logplain
-rw-r--r--test_debug1.adb134logplain
-rw-r--r--test_delay.adb129logplain
-rw-r--r--test_direct_io.adb243logplain
-rw-r--r--test_dse_step.adb291logplain
-rw-r--r--test_enum_io.adb604logplain
-rw-r--r--test_equal1.adb354logplain
-rw-r--r--test_ext1.adb117logplain
-rw-r--r--test_fixed_io.adb852logplain
-rw-r--r--test_iface_aggr.adb1174logplain
-rw-r--r--test_ifaces.adb215logplain
-rw-r--r--test_image.adb149logplain
-rw-r--r--test_image_p.adb670logplain
-rw-r--r--test_image_p.ads744logplain
-rw-r--r--test_nested_subtype_byref.adb150logplain
-rw-r--r--test_oalign.adb339logplain
-rw-r--r--test_oconst.adb306logplain
-rw-r--r--test_prefix1.adb273logplain
-rw-r--r--test_prio.adb418logplain
-rw-r--r--test_prio_p.adb187logplain
-rw-r--r--test_prio_p.ads479logplain
-rw-r--r--test_raise_from_pure.adb335logplain
-rw-r--r--test_rational_arithmetic.adb418logplain
-rw-r--r--test_self.adb259logplain
-rw-r--r--test_self_ref.adb845logplain
-rw-r--r--test_table1.adb820logplain
-rw-r--r--test_tables.adb203logplain
-rw-r--r--test_tamdt.adb82logplain
-rw-r--r--test_time_stamp.adb801logplain
-rw-r--r--test_unknown_discrs.adb606logplain
-rw-r--r--test_version.adb348logplain
-rw-r--r--testint.adb318logplain
-rw-r--r--tf_interface_1.adb199logplain
-rw-r--r--tf_interface_1.ads655logplain
-rw-r--r--tfren.adb780logplain
-rw-r--r--thin_pointer1.adb234logplain
-rw-r--r--thin_pointer1.ads432logplain
-rw-r--r--thin_pointer2.adb230logplain
-rw-r--r--thin_pointer2_pkg.adb350logplain
-rw-r--r--thin_pointer2_pkg.ads169logplain
-rw-r--r--timer_cancel.adb844logplain
-rw-r--r--timing_events.adb557logplain
-rw-r--r--trampoline1.adb377logplain
-rw-r--r--trampoline2.adb439logplain
-rw-r--r--tree_static_def.adb160logplain
-rw-r--r--tree_static_def.ads177logplain
-rw-r--r--tree_static_use.adb164logplain
-rw-r--r--type_conv.adb275logplain
-rw-r--r--unaligned_rep_clause.adb689logplain
-rw-r--r--unc.adb602logplain
-rw-r--r--unc_memfree.adb865logplain
-rw-r--r--unc_memops.adb1359logplain
-rw-r--r--unc_memops.ads948logplain
-rw-r--r--unchecked_convert1.adb655logplain
-rw-r--r--unchecked_convert2.adb854logplain
-rw-r--r--unchecked_convert3.adb355logplain
-rw-r--r--unchecked_convert4.adb408logplain
-rw-r--r--unchecked_convert5.adb396logplain
-rw-r--r--unchecked_convert5b.adb403logplain
-rw-r--r--unchecked_convert6.adb396logplain
-rw-r--r--unchecked_convert6b.adb403logplain
-rw-r--r--unchecked_convert7.adb653logplain
-rw-r--r--unchecked_convert8.adb631logplain
-rw-r--r--unchecked_convert8.ads76logplain
-rw-r--r--unchecked_union1.adb409logplain
-rw-r--r--uninit_func.adb268logplain
-rw-r--r--valid1.adb460logplain
-rw-r--r--varsize_copy.adb466logplain
-rw-r--r--varsize_copy.ads629logplain
-rw-r--r--varsize_temp.adb558logplain
-rw-r--r--volatile1.ads447logplain
-rw-r--r--volatile2.adb472logplain
-rw-r--r--volatile2.ads267logplain
-rw-r--r--volatile3.adb285logplain
-rw-r--r--volatile4.adb323logplain
-rw-r--r--volatile5.adb172logplain
-rw-r--r--volatile5_pkg.ads156logplain
-rw-r--r--volatile_aggregate.adb676logplain
-rw-r--r--warn1.adb288logplain
-rw-r--r--warn2.adb413logplain
-rw-r--r--warn3.adb398logplain
-rw-r--r--warn4.adb847logplain
-rw-r--r--warn5.adb824logplain
-rw-r--r--wide_boolean.adb389logplain
-rw-r--r--wide_boolean_pkg.adb182logplain
-rw-r--r--wide_boolean_pkg.ads512logplain
-rw-r--r--wide_pi.adb117logplain
-rw-r--r--wide_test.adb348logplain