aboutsummaryrefslogtreecommitdiff
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--addr7.adb179logplain
-rw-r--r--addr7.ads145logplain
-rw-r--r--addr8.adb171logplain
-rw-r--r--addr8.ads137logplain
-rw-r--r--addr9_1.adb827logplain
-rw-r--r--addr9_2.adb854logplain
-rw-r--r--addr9_3.adb819logplain
-rw-r--r--addr9_4.adb811logplain
-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.adb405logplain
-rw-r--r--aggr11_pkg.ads283logplain
-rw-r--r--aggr12.adb350logplain
-rw-r--r--aggr12.ads261logplain
-rw-r--r--aggr13.adb390logplain
-rw-r--r--aggr14.adb91logplain
-rw-r--r--aggr14_pkg.adb235logplain
-rw-r--r--aggr14_pkg.ads148logplain
-rw-r--r--aggr15.adb303logplain
-rw-r--r--aggr15.ads233logplain
-rw-r--r--aggr16.adb431logplain
-rw-r--r--aggr16.ads50logplain
-rw-r--r--aggr16_pkg.ads433logplain
-rw-r--r--aggr17.adb554logplain
-rw-r--r--aggr18.adb545logplain
-rw-r--r--aggr19.adb253logplain
-rw-r--r--aggr19_pkg.adb153logplain
-rw-r--r--aggr19_pkg.ads570logplain
-rw-r--r--aggr2.adb310logplain
-rw-r--r--aggr20.adb147logplain
-rw-r--r--aggr20.ads430logplain
-rw-r--r--aggr20_pkg.ads140logplain
-rw-r--r--aggr21.adb284logplain
-rw-r--r--aggr21_pkg.adb135logplain
-rw-r--r--aggr21_pkg.ads178logplain
-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.adb441logplain
-rw-r--r--aliasing1.ads177logplain
-rw-r--r--aliasing2.adb446logplain
-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--alignment10.adb390logplain
-rw-r--r--alignment2.adb1236logplain
-rw-r--r--alignment3.adb883logplain
-rw-r--r--alignment4.adb237logplain
-rw-r--r--alignment5.adb654logplain
-rw-r--r--alignment6.adb713logplain
-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--array14.adb682logplain
-rw-r--r--array14.ads52logplain
-rw-r--r--array14_pkg.ads455logplain
-rw-r--r--array15.adb397logplain
-rw-r--r--array15.ads78logplain
-rw-r--r--array16.adb550logplain
-rw-r--r--array16.ads537logplain
-rw-r--r--array16_pkg.ads71logplain
-rw-r--r--array17.adb242logplain
-rw-r--r--array17_pkg.ads180logplain
-rw-r--r--array18.adb125logplain
-rw-r--r--array18_pkg.ads132logplain
-rw-r--r--array19.adb531logplain
-rw-r--r--array19.ads53logplain
-rw-r--r--array2.ads129logplain
-rw-r--r--array20.adb201logplain
-rw-r--r--array20.ads60logplain
-rw-r--r--array21.adb309logplain
-rw-r--r--array22.adb385logplain
-rw-r--r--array23.adb145logplain
-rw-r--r--array23_pkg1.ads254logplain
-rw-r--r--array23_pkg2.ads199logplain
-rw-r--r--array23_pkg3.ads65logplain
-rw-r--r--array24.adb257logplain
-rw-r--r--array25.adb129logplain
-rw-r--r--array25_pkg.adb250logplain
-rw-r--r--array25_pkg.ads268logplain
-rw-r--r--array3.adb1110logplain
-rw-r--r--array4.adb576logplain
-rw-r--r--array5.adb575logplain
-rw-r--r--array6.adb605logplain
-rw-r--r--array7.adb488logplain
-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--array_bounds_test2.adb525logplain
-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.adb379logplain
-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--atomic6_1.adb1440logplain
-rw-r--r--atomic6_2.adb1634logplain
-rw-r--r--atomic6_3.adb1728logplain
-rw-r--r--atomic6_4.adb1566logplain
-rw-r--r--atomic6_5.adb1476logplain
-rw-r--r--atomic6_6.adb1496logplain
-rw-r--r--atomic6_7.adb1546logplain
-rw-r--r--atomic6_8.adb1429logplain
-rw-r--r--atomic6_pkg.ads600logplain
-rw-r--r--atomic7_1.adb214logplain
-rw-r--r--atomic7_2.adb143logplain
-rw-r--r--atomic7_pkg1.ads152logplain
-rw-r--r--atomic7_pkg2.adb217logplain
-rw-r--r--atomic7_pkg2.ads77logplain
-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--bit_packed_array5.adb453logplain
-rw-r--r--bit_packed_array5.ads363logplain
-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_subtype1.adb753logplain
-rw-r--r--boolean_subtype2.adb945logplain
-rw-r--r--boolean_subtype2.ads186logplain
-rw-r--r--boolean_subtype2_pkg.ads285logplain
-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.adb315logplain
-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--complex1.adb205logplain
-rw-r--r--complex1_pkg.ads86logplain
-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--concat2.adb362logplain
-rw-r--r--concat2.ads55logplain
-rw-r--r--concat_length.adb317logplain
-rw-r--r--cond_expr1.adb177logplain
-rw-r--r--cond_expr2.adb209logplain
-rw-r--r--cond_expr2.ads82logplain
-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--constant3.adb391logplain
-rw-r--r--constant4.adb211logplain
-rw-r--r--constant4_pkg.ads440logplain
-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--controlled6.adb514logplain
-rw-r--r--controlled6_pkg-iterators.adb560logplain
-rw-r--r--controlled6_pkg-iterators.ads493logplain
-rw-r--r--controlled6_pkg.ads212logplain
-rw-r--r--controlled7.adb403logplain
-rw-r--r--controlled7.ads146logplain
-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--debug2.adb599logplain
-rw-r--r--debug2.ads52logplain
-rw-r--r--debug2_pkg.ads404logplain
-rw-r--r--debug3.adb483logplain
-rw-r--r--debug3.ads50logplain
-rw-r--r--debug4.adb142logplain
-rw-r--r--debug4_pkg.adb729logplain
-rw-r--r--debug4_pkg.ads676logplain
-rw-r--r--decl_ctx_def.ads48logplain
-rw-r--r--decl_ctx_use.adb229logplain
-rw-r--r--decl_ctx_use.ads74logplain
-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--deferred_const4.adb174logplain
-rw-r--r--deferred_const4.ads279logplain
-rw-r--r--deferred_const4_pkg.ads347logplain
-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.adb601logplain
-rw-r--r--derived_type2.adb633logplain
-rw-r--r--derived_type3.adb124logplain
-rw-r--r--derived_type3_pkg.adb1048logplain
-rw-r--r--derived_type3_pkg.ads94logplain
-rw-r--r--derived_type4.adb288logplain
-rw-r--r--dg.exp1096logplain
-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--discr26.adb258logplain
-rw-r--r--discr26.ads245logplain
-rw-r--r--discr26_pkg.ads71logplain
-rw-r--r--discr27.adb605logplain
-rw-r--r--discr27.ads53logplain
-rw-r--r--discr28.adb307logplain
-rw-r--r--discr28.ads337logplain
-rw-r--r--discr28_pkg.ads71logplain
-rw-r--r--discr29.adb139logplain
-rw-r--r--discr29.ads420logplain
-rw-r--r--discr3.ads299logplain
-rw-r--r--discr30.adb1194logplain
-rw-r--r--discr31.adb226logplain
-rw-r--r--discr31.ads370logplain
-rw-r--r--discr32.adb327logplain
-rw-r--r--discr32_pkg.ads472logplain
-rw-r--r--discr33.adb610logplain
-rw-r--r--discr34.adb121logplain
-rw-r--r--discr34_pkg.ads271logplain
-rw-r--r--discr35.adb215logplain
-rw-r--r--discr35.ads361logplain
-rw-r--r--discr36.adb298logplain
-rw-r--r--discr36.ads206logplain
-rw-r--r--discr36_pkg.adb151logplain
-rw-r--r--discr36_pkg.ads101logplain
-rw-r--r--discr37.adb217logplain
-rw-r--r--discr37.ads463logplain
-rw-r--r--discr38.adb941logplain
-rw-r--r--discr39.adb456logplain
-rw-r--r--discr4.adb894logplain
-rw-r--r--discr40.adb231logplain
-rw-r--r--discr40.ads719logplain
-rw-r--r--discr41.adb168logplain
-rw-r--r--discr41.ads437logplain
-rw-r--r--discr42.adb265logplain
-rw-r--r--discr42_pkg.adb255logplain
-rw-r--r--discr42_pkg.ads249logplain
-rw-r--r--discr43.adb382logplain
-rw-r--r--discr44.adb496logplain
-rw-r--r--discr45.adb810logplain
-rw-r--r--discr5.adb323logplain
-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--entry_queues2.adb834logplain
-rw-r--r--entry_queues3.adb480logplain
-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--enum3.adb522logplain
-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.adb322logplain
-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--fp_exception.adb518logplain
-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.adb340logplain
-rw-r--r--import1.ads124logplain
-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--in_out_parameter4.adb574logplain
-rw-r--r--include.adb128logplain
-rw-r--r--incomplete1.ads66logplain
-rw-r--r--incomplete2.adb134logplain
-rw-r--r--incomplete2.ads223logplain
-rw-r--r--incomplete3.adb343logplain
-rw-r--r--incomplete3.ads486logplain
-rw-r--r--init_scalar1.adb405logplain
-rw-r--r--inline1.adb177logplain
-rw-r--r--inline10.adb144logplain
-rw-r--r--inline10_pkg.adb360logplain
-rw-r--r--inline10_pkg.ads100logplain
-rw-r--r--inline11.adb145logplain
-rw-r--r--inline11_pkg.adb245logplain
-rw-r--r--inline11_pkg.ads102logplain
-rw-r--r--inline12.adb321logplain
-rw-r--r--inline1_pkg.adb1032logplain
-rw-r--r--inline1_pkg.ads216logplain
-rw-r--r--inline2.adb216logplain
-rw-r--r--inline2_pkg.adb1032logplain
-rw-r--r--inline2_pkg.ads202logplain
-rw-r--r--inline3.adb225logplain
-rw-r--r--inline3_pkg.adb247logplain
-rw-r--r--inline3_pkg.ads105logplain
-rw-r--r--inline4.adb102logplain
-rw-r--r--inline4_pkg.adb276logplain
-rw-r--r--inline4_pkg.ads105logplain
-rw-r--r--inline5.adb261logplain
-rw-r--r--inline5_pkg.adb246logplain
-rw-r--r--inline5_pkg.ads98logplain
-rw-r--r--inline6.adb141logplain
-rw-r--r--inline6_pkg.adb269logplain
-rw-r--r--inline6_pkg.ads98logplain
-rw-r--r--inline7.adb263logplain
-rw-r--r--inline7_pkg1.adb227logplain
-rw-r--r--inline7_pkg1.ads100logplain
-rw-r--r--inline7_pkg2.adb130logplain
-rw-r--r--inline7_pkg2.ads117logplain
-rw-r--r--inline8.adb143logplain
-rw-r--r--inline8_pkg1.adb250logplain
-rw-r--r--inline8_pkg1.ads100logplain
-rw-r--r--inline8_pkg2.adb130logplain
-rw-r--r--inline8_pkg2.ads117logplain
-rw-r--r--inline9.adb261logplain
-rw-r--r--inline9_pkg.adb335logplain
-rw-r--r--inline9_pkg.ads98logplain
-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--invalid1.adb1084logplain
-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--limited_with2.adb200logplain
-rw-r--r--limited_with2.ads207logplain
-rw-r--r--limited_with2_pkg1.ads170logplain
-rw-r--r--limited_with2_pkg2.ads145logplain
-rw-r--r--limited_with3.adb137logplain
-rw-r--r--limited_with3.ads298logplain
-rw-r--r--limited_with3_pkg1.adb467logplain
-rw-r--r--limited_with3_pkg1.ads788logplain
-rw-r--r--limited_with3_pkg2.ads181logplain
-rw-r--r--limited_with3_pkg3.ads246logplain
-rw-r--r--loop_address.adb487logplain
-rw-r--r--loop_address2.adb534logplain
-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_optimization10.adb418logplain
-rw-r--r--loop_optimization10.ads360logplain
-rw-r--r--loop_optimization10_pkg.ads250logplain
-rw-r--r--loop_optimization11.adb468logplain
-rw-r--r--loop_optimization11_pkg.ads276logplain
-rw-r--r--loop_optimization12.adb618logplain
-rw-r--r--loop_optimization12.ads554logplain
-rw-r--r--loop_optimization13.adb537logplain
-rw-r--r--loop_optimization13.ads451logplain
-rw-r--r--loop_optimization13_pkg.ads82logplain
-rw-r--r--loop_optimization14.adb554logplain
-rw-r--r--loop_optimization14.ads209logplain
-rw-r--r--loop_optimization14_pkg.ads106logplain
-rw-r--r--loop_optimization15.adb459logplain
-rw-r--r--loop_optimization15.ads181logplain
-rw-r--r--loop_optimization16.adb450logplain
-rw-r--r--loop_optimization16_pkg.adb155logplain
-rw-r--r--loop_optimization16_pkg.ads133logplain
-rw-r--r--loop_optimization17.adb438logplain
-rw-r--r--loop_optimization17_pkg.adb135logplain
-rw-r--r--loop_optimization17_pkg.ads611logplain
-rw-r--r--loop_optimization18.adb291logplain
-rw-r--r--loop_optimization18.ads165logplain
-rw-r--r--loop_optimization18_pkg.ads345logplain
-rw-r--r--loop_optimization19.adb985logplain
-rw-r--r--loop_optimization2.adb1253logplain
-rw-r--r--loop_optimization2.ads1180logplain
-rw-r--r--loop_optimization20.adb774logplain
-rw-r--r--loop_optimization21.adb463logplain
-rw-r--r--loop_optimization21.ads189logplain
-rw-r--r--loop_optimization22.adb425logplain
-rw-r--r--loop_optimization22.ads150logplain
-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.adb433logplain
-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_optimization9.adb3357logplain
-rw-r--r--loop_optimization9.ads432logplain
-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--lto11.adb459logplain
-rw-r--r--lto11.ads198logplain
-rw-r--r--lto13.adb133logplain
-rw-r--r--lto13_pkg.adb132logplain
-rw-r--r--lto13_pkg.ads76logplain
-rw-r--r--lto14.adb177logplain
-rw-r--r--lto15.adb221logplain
-rw-r--r--lto15.ads207logplain
-rw-r--r--lto16.adb312logplain
-rw-r--r--lto16_pkg.adb338logplain
-rw-r--r--lto16_pkg.ads65logplain
-rw-r--r--lto17.adb252logplain
-rw-r--r--lto17.ads446logplain
-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--misaligned_volatile.adb526logplain
-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--modular4.adb185logplain
-rw-r--r--modular4_pkg.ads130logplain
-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--nan_max.adb528logplain
-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_generic1.adb212logplain
-rw-r--r--nested_generic1_pkg.adb229logplain
-rw-r--r--nested_generic1_pkg.ads191logplain
-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--noinline2.adb455logplain
-rw-r--r--noinline2.ads84logplain
-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--noreturn4.adb348logplain
-rw-r--r--noreturn4.ads214logplain
-rw-r--r--noreturn4_pkg.ads410logplain
-rw-r--r--noreturn5.adb644logplain
-rw-r--r--noreturn5.ads132logplain
-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--null_pointer_deref3.adb549logplain
-rw-r--r--oalign1.ads108logplain
-rw-r--r--oalign2.ads108logplain
-rw-r--r--object_overflow1.adb245logplain
-rw-r--r--object_overflow2.adb255logplain
-rw-r--r--object_overflow3.adb322logplain
-rw-r--r--object_overflow4.adb424logplain
-rw-r--r--object_overflow5.adb430logplain
-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.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--opt15.adb221logplain
-rw-r--r--opt15_pkg.adb184logplain
-rw-r--r--opt15_pkg.ads98logplain
-rw-r--r--opt16.adb723logplain
-rw-r--r--opt17.adb196logplain
-rw-r--r--opt17.ads89logplain
-rw-r--r--opt18.adb986logplain
-rw-r--r--opt18.ads642logplain
-rw-r--r--opt18_pkg.ads529logplain
-rw-r--r--opt19.adb477logplain
-rw-r--r--opt2.adb564logplain
-rw-r--r--opt20.adb504logplain
-rw-r--r--opt20.ads114logplain
-rw-r--r--opt20_pkg.ads263logplain
-rw-r--r--opt21.adb167logplain
-rw-r--r--opt21_pkg.adb352logplain
-rw-r--r--opt21_pkg.ads298logplain
-rw-r--r--opt22.adb301logplain
-rw-r--r--opt22_pkg.adb239logplain
-rw-r--r--opt22_pkg.ads89logplain
-rw-r--r--opt23.adb355logplain
-rw-r--r--opt23.ads97logplain
-rw-r--r--opt23_pkg.adb156logplain
-rw-r--r--opt23_pkg.ads654logplain
-rw-r--r--opt24.adb307logplain
-rw-r--r--opt24.ads97logplain
-rw-r--r--opt25.adb354logplain
-rw-r--r--opt25_pkg1.adb156logplain
-rw-r--r--opt25_pkg1.ads154logplain
-rw-r--r--opt25_pkg2.adb150logplain
-rw-r--r--opt25_pkg2.ads379logplain
-rw-r--r--opt26.adb715logplain
-rw-r--r--opt27.adb596logplain
-rw-r--r--opt27_pkg.adb802logplain
-rw-r--r--opt27_pkg.ads662logplain
-rw-r--r--opt28.adb841logplain
-rw-r--r--opt28.ads136logplain
-rw-r--r--opt28_pkg.ads397logplain
-rw-r--r--opt29.adb222logplain
-rw-r--r--opt29.ads493logplain
-rw-r--r--opt3.adb230logplain
-rw-r--r--opt30.adb418logplain
-rw-r--r--opt31.adb924logplain
-rw-r--r--opt32.adb745logplain
-rw-r--r--opt33.adb813logplain
-rw-r--r--opt34.adb608logplain
-rw-r--r--opt34_pkg.ads310logplain
-rw-r--r--opt35.adb347logplain
-rw-r--r--opt35_pkg.adb164logplain
-rw-r--r--opt35_pkg.ads115logplain
-rw-r--r--opt36.adb354logplain
-rw-r--r--opt37.adb1075logplain
-rw-r--r--opt37.ads493logplain
-rw-r--r--opt38.adb124logplain
-rw-r--r--opt38_pkg.adb482logplain
-rw-r--r--opt38_pkg.ads70logplain
-rw-r--r--opt39.adb533logplain
-rw-r--r--opt3_pkg.ads71logplain
-rw-r--r--opt4.adb303logplain
-rw-r--r--opt40.adb330logplain
-rw-r--r--opt41.adb396logplain
-rw-r--r--opt41_pkg.adb1602logplain
-rw-r--r--opt41_pkg.ads682logplain
-rw-r--r--opt42.adb573logplain
-rw-r--r--opt42.ads235logplain
-rw-r--r--opt43.adb280logplain
-rw-r--r--opt44.adb411logplain
-rw-r--r--opt44.ads172logplain
-rw-r--r--opt45.adb851logplain
-rw-r--r--opt46.adb1099logplain
-rw-r--r--opt46.ads282logplain
-rw-r--r--opt46_pkg.adb170logplain
-rw-r--r--opt46_pkg.ads679logplain
-rw-r--r--opt47.adb932logplain
-rw-r--r--opt48.adb217logplain
-rw-r--r--opt48_pkg1.adb265logplain
-rw-r--r--opt48_pkg1.ads104logplain
-rw-r--r--opt48_pkg2.adb127logplain
-rw-r--r--opt48_pkg2.ads162logplain
-rw-r--r--opt49.adb738logplain
-rw-r--r--opt5.adb368logplain
-rw-r--r--opt50.adb395logplain
-rw-r--r--opt50_pkg.adb1427logplain
-rw-r--r--opt50_pkg.ads284logplain
-rw-r--r--opt51.adb403logplain
-rw-r--r--opt51_pkg.ads72logplain
-rw-r--r--opt52.adb244logplain
-rw-r--r--opt6.adb600logplain
-rw-r--r--opt6.ads389logplain
-rw-r--r--opt7.adb1248logplain
-rw-r--r--opt7.ads291logplain
-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_fixed.adb365logplain
-rw-r--r--overflow_sum.adb1822logplain
-rw-r--r--overflow_sum2.adb902logplain
-rw-r--r--overflow_sum3.adb340logplain
-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--pack16.adb471logplain
-rw-r--r--pack16_pkg.ads62logplain
-rw-r--r--pack17.adb891logplain
-rw-r--r--pack18.adb220logplain
-rw-r--r--pack18_pkg.ads465logplain
-rw-r--r--pack19.adb1088logplain
-rw-r--r--pack2.adb376logplain
-rw-r--r--pack20.adb137logplain
-rw-r--r--pack20.ads240logplain
-rw-r--r--pack20_pkg.ads131logplain
-rw-r--r--pack21.adb526logplain
-rw-r--r--pack22.adb390logplain
-rw-r--r--pack22_pkg.adb367logplain
-rw-r--r--pack22_pkg.ads1619logplain
-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.adb387logplain
-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.adb626logplain
-rw-r--r--pointer_variable_bounds.ads590logplain
-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--recursive_call.adb248logplain
-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.adb576logplain
-rw-r--r--renaming5.ads57logplain
-rw-r--r--renaming6.adb561logplain
-rw-r--r--renaming6.ads238logplain
-rw-r--r--renaming7.adb216logplain
-rw-r--r--renaming7_pkg.ads61logplain
-rw-r--r--rep_clause1.adb2453logplain
-rw-r--r--rep_clause2.adb241logplain
-rw-r--r--rep_clause2.ads1081logplain
-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--return3.adb162logplain
-rw-r--r--return4.adb335logplain
-rw-r--r--return4_pkg.adb178logplain
-rw-r--r--return4_pkg.ads151logplain
-rw-r--r--round_div.adb385logplain
-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.adb206logplain
-rw-r--r--slice2.ads217logplain
-rw-r--r--slice3.adb517logplain
-rw-r--r--slice4.adb581logplain
-rw-r--r--slice5.adb680logplain
-rw-r--r--slice6.adb350logplain
-rw-r--r--slice6_pkg.ads387logplain
-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--slice9.adb297logplain
-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
-rw-r--r--source_ref1.adb85logplain
-rw-r--r--source_ref2.adb124logplain
d---------specs7514logplain
-rw-r--r--spipaterr.adb292logplain
-rw-r--r--sse_nolib.adb1287logplain
d---------sso2550logplain
-rw-r--r--sso1.adb2010logplain
-rw-r--r--sso2.adb234logplain
-rw-r--r--sso2.ads298logplain
-rw-r--r--sso3.adb1167logplain
-rw-r--r--sso4.adb1195logplain
-rw-r--r--sso5.adb1134logplain
-rw-r--r--sso6.adb1193logplain
-rw-r--r--sso7.adb1134logplain
-rw-r--r--stack_check1.adb734logplain
-rw-r--r--stack_check2.adb818logplain
-rw-r--r--stack_check3.adb642logplain
-rw-r--r--stack_check3.ads63logplain
-rw-r--r--stack_usage1.adb2194logplain
-rw-r--r--stack_usage1_pkg.adb224logplain
-rw-r--r--stack_usage1_pkg.ads242logplain
-rw-r--r--stack_usage1b.adb2199logplain
-rw-r--r--stack_usage1c.adb2200logplain
-rw-r--r--stack_usage2.adb527logplain
-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
-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--taft_type1.adb102logplain
-rw-r--r--taft_type1_pkg1.adb448logplain
-rw-r--r--taft_type1_pkg1.ads183logplain
-rw-r--r--taft_type1_pkg2.ads138logplain
-rw-r--r--taft_type2.adb315logplain
-rw-r--r--taft_type2.ads59logplain
-rw-r--r--taft_type2_pkg.ads157logplain
-rw-r--r--taft_type3.adb505logplain
-rw-r--r--taft_type3_pkg.ads125logplain
-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--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.adb316logplain
-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_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--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.adb687logplain
-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_convert9.adb287logplain
-rw-r--r--unchecked_convert9.ads365logplain
-rw-r--r--unchecked_union1.adb409logplain
-rw-r--r--uninit_array.adb386logplain
-rw-r--r--uninit_array.ads79logplain
-rw-r--r--uninit_array_pkg.ads206logplain
-rw-r--r--uninit_func.adb268logplain
-rw-r--r--valid1.adb460logplain
-rw-r--r--valued_proc.adb259logplain
-rw-r--r--valued_proc_pkg.ads443logplain
-rw-r--r--varsize1.adb552logplain
-rw-r--r--varsize2.adb458logplain
-rw-r--r--varsize2.ads621logplain
-rw-r--r--varsize3_1.adb66logplain
-rw-r--r--varsize3_1.ads142logplain
-rw-r--r--varsize3_2.adb143logplain
-rw-r--r--varsize3_3.adb136logplain
-rw-r--r--varsize3_4.adb139logplain
-rw-r--r--varsize3_5.adb142logplain
-rw-r--r--varsize3_6.adb138logplain
-rw-r--r--varsize3_pkg1.ads248logplain
-rw-r--r--varsize3_pkg2.ads86logplain
-rw-r--r--varsize3_pkg3.ads164logplain
-rw-r--r--vect1.adb2776logplain
-rw-r--r--vect1.ads1558logplain
-rw-r--r--vect10.adb623logplain
-rw-r--r--vect10.ads326logplain
-rw-r--r--vect11.adb746logplain
-rw-r--r--vect11.ads330logplain
-rw-r--r--vect12.adb629logplain
-rw-r--r--vect12.ads252logplain
-rw-r--r--vect13.adb627logplain
-rw-r--r--vect13.ads252logplain
-rw-r--r--vect14.adb617logplain
-rw-r--r--vect15.adb362logplain
-rw-r--r--vect15.ads163logplain
-rw-r--r--vect16.adb398logplain
-rw-r--r--vect16.ads169logplain
-rw-r--r--vect17.adb374logplain
-rw-r--r--vect17.ads179logplain
-rw-r--r--vect18.adb432logplain
-rw-r--r--vect18.ads167logplain
-rw-r--r--vect1_pkg.ads98logplain
-rw-r--r--vect2.adb2776logplain
-rw-r--r--vect2.ads1599logplain
-rw-r--r--vect2_pkg.ads100logplain
-rw-r--r--vect3.adb2776logplain
-rw-r--r--vect3.ads1664logplain
-rw-r--r--vect3_pkg.ads165logplain
-rw-r--r--vect4.adb2926logplain
-rw-r--r--vect4.ads1753logplain
-rw-r--r--vect4_pkg.ads98logplain
-rw-r--r--vect5.adb2926logplain
-rw-r--r--vect5.ads1796logplain
-rw-r--r--vect5_pkg.ads100logplain
-rw-r--r--vect6.adb2926logplain
-rw-r--r--vect6.ads1859logplain
-rw-r--r--vect6_pkg.ads165logplain
-rw-r--r--vect7.adb328logplain
-rw-r--r--vect7.ads319logplain
-rw-r--r--vect8.adb236logplain
-rw-r--r--vect8.ads164logplain
-rw-r--r--vect9.adb980logplain
-rw-r--r--vect9.ads230logplain
-rw-r--r--vect9_pkg.ads522logplain
-rw-r--r--vfa1_1.adb1314logplain
-rw-r--r--vfa1_2.adb1206logplain
-rw-r--r--vfa1_3.adb1253logplain
-rw-r--r--vfa1_4.adb1235logplain
-rw-r--r--vfa1_pkg.ads954logplain
-rw-r--r--view_conversion1.adb1105logplain
-rw-r--r--volatile1.ads447logplain
-rw-r--r--volatile10.adb139logplain
-rw-r--r--volatile10_pkg.ads537logplain
-rw-r--r--volatile11.adb1051logplain
-rw-r--r--volatile11_pkg.adb699logplain
-rw-r--r--volatile11_pkg.ads475logplain
-rw-r--r--volatile12.adb115logplain
-rw-r--r--volatile12.ads136logplain
-rw-r--r--volatile13.adb231logplain
-rw-r--r--volatile13.ads495logplain
-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--volatile6.adb318logplain
-rw-r--r--volatile7.adb380logplain
-rw-r--r--volatile8.adb379logplain
-rw-r--r--volatile9.adb353logplain
-rw-r--r--volatile_aggregate.adb676logplain
-rw-r--r--warn1.adb288logplain
-rw-r--r--warn10.adb226logplain
-rw-r--r--warn10.ads194logplain
-rw-r--r--warn10_pkg.ads281logplain
-rw-r--r--warn11.adb438logplain
-rw-r--r--warn12.adb1193logplain
-rw-r--r--warn12_pkg.ads511logplain
-rw-r--r--warn13.adb274logplain
-rw-r--r--warn2.adb413logplain
-rw-r--r--warn3.adb398logplain
-rw-r--r--warn4.adb847logplain
-rw-r--r--warn5.adb824logplain
-rw-r--r--warn6.adb228logplain
-rw-r--r--warn6.ads219logplain
-rw-r--r--warn7.adb247logplain
-rw-r--r--warn8.adb123logplain
-rw-r--r--warn9.adb153logplain
-rw-r--r--weak2.adb124logplain
-rw-r--r--weak2.ads151logplain
-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