aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/gnat.dg
ModeNameSize
-rw-r--r--abstract1.adb964logstatsplain
-rw-r--r--abstract1.ads619logstatsplain
-rw-r--r--abstract_with_anonymous_result.adb896logstatsplain
-rw-r--r--access1.adb414logstatsplain
-rw-r--r--access2.adb367logstatsplain
-rw-r--r--access3.adb318logstatsplain
-rw-r--r--access3.ads246logstatsplain
-rw-r--r--access4.adb147logstatsplain
-rw-r--r--access_discr.adb559logstatsplain
-rw-r--r--access_discr2.adb197logstatsplain
-rw-r--r--access_func.adb217logstatsplain
-rw-r--r--access_test.adb563logstatsplain
-rw-r--r--addr1.adb387logstatsplain
-rw-r--r--addr1.ads48logstatsplain
-rw-r--r--addr2.adb158logstatsplain
-rw-r--r--addr2_p.adb248logstatsplain
-rw-r--r--addr2_p.ads229logstatsplain
-rw-r--r--addr3.adb664logstatsplain
-rw-r--r--addr4.adb253logstatsplain
-rw-r--r--addr5.adb199logstatsplain
-rw-r--r--addr6.adb554logstatsplain
-rw-r--r--addr_slice.adb408logstatsplain
-rw-r--r--address_conversion.adb452logstatsplain
-rw-r--r--address_null_init.ads226logstatsplain
-rw-r--r--aggr1.adb1228logstatsplain
-rw-r--r--aggr10.adb593logstatsplain
-rw-r--r--aggr10_pkg.ads460logstatsplain
-rw-r--r--aggr11.adb405logstatsplain
-rw-r--r--aggr11_pkg.ads283logstatsplain
-rw-r--r--aggr12.adb399logstatsplain
-rw-r--r--aggr12.ads261logstatsplain
-rw-r--r--aggr13.adb437logstatsplain
-rw-r--r--aggr14.adb91logstatsplain
-rw-r--r--aggr14_pkg.adb235logstatsplain
-rw-r--r--aggr14_pkg.ads148logstatsplain
-rw-r--r--aggr15.adb303logstatsplain
-rw-r--r--aggr15.ads233logstatsplain
-rw-r--r--aggr16.adb431logstatsplain
-rw-r--r--aggr16.ads50logstatsplain
-rw-r--r--aggr16_pkg.ads433logstatsplain
-rw-r--r--aggr17.adb554logstatsplain
-rw-r--r--aggr18.adb545logstatsplain
-rw-r--r--aggr19.adb253logstatsplain
-rw-r--r--aggr19_pkg.adb153logstatsplain
-rw-r--r--aggr19_pkg.ads570logstatsplain
-rw-r--r--aggr2.adb310logstatsplain
-rw-r--r--aggr20.adb147logstatsplain
-rw-r--r--aggr20.ads430logstatsplain
-rw-r--r--aggr20_pkg.ads140logstatsplain
-rw-r--r--aggr21.adb284logstatsplain
-rw-r--r--aggr21_pkg.adb135logstatsplain
-rw-r--r--aggr21_pkg.ads178logstatsplain
-rw-r--r--aggr3.adb842logstatsplain
-rw-r--r--aggr4.adb514logstatsplain
-rw-r--r--aggr7.adb813logstatsplain
-rw-r--r--aggr8.adb401logstatsplain
-rw-r--r--aggr9.adb162logstatsplain
-rw-r--r--aggr9.ads89logstatsplain
-rw-r--r--aggr9_pkg.ads231logstatsplain
-rw-r--r--aliased1.adb568logstatsplain
-rw-r--r--aliased_prefix_accessibility.adb1558logstatsplain
-rw-r--r--aliasing1.adb491logstatsplain
-rw-r--r--aliasing1.ads177logstatsplain
-rw-r--r--aliasing2.adb496logstatsplain
-rw-r--r--aliasing2.ads163logstatsplain
-rw-r--r--aliasing3.adb162logstatsplain
-rw-r--r--aliasing3_pkg.adb157logstatsplain
-rw-r--r--aliasing3_pkg.ads305logstatsplain
-rw-r--r--align_check.adb523logstatsplain
-rw-r--r--align_max.adb3832logstatsplain
-rw-r--r--aligned_vla.adb533logstatsplain
-rw-r--r--alignment1.adb247logstatsplain
-rw-r--r--alignment10.adb390logstatsplain
-rw-r--r--alignment2.adb1236logstatsplain
-rw-r--r--alignment3.adb883logstatsplain
-rw-r--r--alignment4.adb284logstatsplain
-rw-r--r--alignment5.adb701logstatsplain
-rw-r--r--alignment6.adb760logstatsplain
-rw-r--r--alignment7.adb306logstatsplain
-rw-r--r--alignment8.adb318logstatsplain
-rw-r--r--alignment9.adb444logstatsplain
-rw-r--r--allocator_maxalign1.adb964logstatsplain
-rw-r--r--allocator_maxalign2.adb669logstatsplain
-rw-r--r--allocator_maxalign2.ads211logstatsplain
-rw-r--r--ancestor_type.adb233logstatsplain
-rw-r--r--ancestor_type.ads200logstatsplain
-rw-r--r--anon1.ads66logstatsplain
-rw-r--r--anon2.adb120logstatsplain
-rw-r--r--array1.adb656logstatsplain
-rw-r--r--array1.ads151logstatsplain
-rw-r--r--array10.adb449logstatsplain
-rw-r--r--array11.adb333logstatsplain
-rw-r--r--array12.adb347logstatsplain
-rw-r--r--array13.adb211logstatsplain
-rw-r--r--array13.ads201logstatsplain
-rw-r--r--array14.adb682logstatsplain
-rw-r--r--array14.ads52logstatsplain
-rw-r--r--array14_pkg.ads455logstatsplain
-rw-r--r--array15.adb397logstatsplain
-rw-r--r--array15.ads78logstatsplain
-rw-r--r--array16.adb600logstatsplain
-rw-r--r--array16.ads537logstatsplain
-rw-r--r--array16_pkg.ads71logstatsplain
-rw-r--r--array17.adb242logstatsplain
-rw-r--r--array17_pkg.ads180logstatsplain
-rw-r--r--array18.adb125logstatsplain
-rw-r--r--array18_pkg.ads132logstatsplain
-rw-r--r--array19.adb531logstatsplain
-rw-r--r--array19.ads53logstatsplain
-rw-r--r--array2.ads129logstatsplain
-rw-r--r--array20.adb201logstatsplain
-rw-r--r--array20.ads60logstatsplain
-rw-r--r--array21.adb309logstatsplain
-rw-r--r--array22.adb385logstatsplain
-rw-r--r--array23.adb145logstatsplain
-rw-r--r--array23_pkg1.ads254logstatsplain
-rw-r--r--array23_pkg2.ads199logstatsplain
-rw-r--r--array23_pkg3.ads65logstatsplain
-rw-r--r--array3.adb1110logstatsplain
-rw-r--r--array4.adb576logstatsplain
-rw-r--r--array5.adb575logstatsplain
-rw-r--r--array6.adb605logstatsplain
-rw-r--r--array7.adb538logstatsplain
-rw-r--r--array7.ads484logstatsplain
-rw-r--r--array8.adb575logstatsplain
-rw-r--r--array9.adb309logstatsplain
-rw-r--r--array_bounds_test.adb397logstatsplain
-rw-r--r--array_bounds_test2.adb525logstatsplain
-rw-r--r--assert.ads75logstatsplain
-rw-r--r--assert1.adb1086logstatsplain
-rw-r--r--assign_from_packed.adb257logstatsplain
-rw-r--r--assign_from_packed_pixels.ads335logstatsplain
-rw-r--r--asynch.adb556logstatsplain
-rw-r--r--asynch.ads199logstatsplain
-rw-r--r--atomic1.adb426logstatsplain
-rw-r--r--atomic1_pkg.ads1024logstatsplain
-rw-r--r--atomic2.adb214logstatsplain
-rw-r--r--atomic3.adb398logstatsplain
-rw-r--r--atomic4.adb270logstatsplain
-rw-r--r--atomic4.ads534logstatsplain
-rw-r--r--atomic5.adb341logstatsplain
-rw-r--r--atomic5.ads382logstatsplain
-rw-r--r--atomic6_1.adb1487logstatsplain
-rw-r--r--atomic6_2.adb1681logstatsplain
-rw-r--r--atomic6_3.adb1775logstatsplain
-rw-r--r--atomic6_4.adb1613logstatsplain
-rw-r--r--atomic6_5.adb1523logstatsplain
-rw-r--r--atomic6_6.adb1543logstatsplain
-rw-r--r--atomic6_7.adb1593logstatsplain
-rw-r--r--atomic6_8.adb1476logstatsplain
-rw-r--r--atomic6_pkg.ads600logstatsplain
-rw-r--r--bad_array.adb146logstatsplain
-rw-r--r--biased_uc.adb1067logstatsplain
-rw-r--r--bip_aggregate_bug.adb1341logstatsplain
-rw-r--r--bip_prim_func.adb277logstatsplain
-rw-r--r--bip_prim_func.ads222logstatsplain
-rw-r--r--bit_packed_array1.adb369logstatsplain
-rw-r--r--bit_packed_array1.ads934logstatsplain
-rw-r--r--bit_packed_array2.adb324logstatsplain
-rw-r--r--bit_packed_array3.adb971logstatsplain
-rw-r--r--bit_packed_array4.adb182logstatsplain
-rw-r--r--bit_packed_array4.ads411logstatsplain
-rw-r--r--bit_packed_array5.adb453logstatsplain
-rw-r--r--bit_packed_array5.ads363logstatsplain
-rw-r--r--blkextract_from_reg.adb1178logstatsplain
-rw-r--r--bltins.adb202logstatsplain
-rw-r--r--boolean_bitfield.adb1198logstatsplain
-rw-r--r--boolean_conv.adb536logstatsplain
-rw-r--r--boolean_expr1.adb781logstatsplain
-rw-r--r--boolean_expr1.ads95logstatsplain
-rw-r--r--boolean_expr2.adb314logstatsplain
-rw-r--r--boolean_subtype1.adb753logstatsplain
-rw-r--r--boolean_subtype2.adb945logstatsplain
-rw-r--r--boolean_subtype2.ads186logstatsplain
-rw-r--r--boolean_subtype2_pkg.ads285logstatsplain
-rw-r--r--bug_elaboration_code.adb184logstatsplain
-rw-r--r--bug_elaboration_code.ads119logstatsplain
-rw-r--r--c_words.adb288logstatsplain
-rw-r--r--c_words.ads469logstatsplain
-rw-r--r--capture_value.adb245logstatsplain
-rw-r--r--case_null.adb284logstatsplain
-rw-r--r--case_null.ads207logstatsplain
-rw-r--r--case_optimization1.adb518logstatsplain
-rw-r--r--case_optimization1.ads161logstatsplain
-rw-r--r--case_optimization2.adb276logstatsplain
-rw-r--r--case_optimization_pkg1.ads18675logstatsplain
-rw-r--r--case_optimization_pkg2.adb598logstatsplain
-rw-r--r--case_optimization_pkg2.ads764logstatsplain
-rw-r--r--check1.adb146logstatsplain
-rw-r--r--check1.ads207logstatsplain
-rw-r--r--check_displace_generation.adb1100logstatsplain
-rw-r--r--check_elaboration_code.adb197logstatsplain
-rw-r--r--class_wide1.adb489logstatsplain
-rw-r--r--class_wide2.adb287logstatsplain
-rw-r--r--class_wide2.ads311logstatsplain
-rw-r--r--compose.adb293logstatsplain
-rw-r--r--concat1.adb482logstatsplain
-rw-r--r--concat1_pkg.adb117logstatsplain
-rw-r--r--concat1_pkg.ads89logstatsplain
-rw-r--r--concat2.adb362logstatsplain
-rw-r--r--concat2.ads55logstatsplain
-rw-r--r--concat_length.adb317logstatsplain
-rw-r--r--cond_expr1.adb177logstatsplain
-rw-r--r--cond_expr2.adb209logstatsplain
-rw-r--r--cond_expr2.ads82logstatsplain
-rw-r--r--constant1.adb134logstatsplain
-rw-r--r--constant2.adb171logstatsplain
-rw-r--r--constant2_pkg1.ads134logstatsplain
-rw-r--r--constant2_pkg2.adb184logstatsplain
-rw-r--r--constant2_pkg2.ads108logstatsplain
-rw-r--r--constant3.adb391logstatsplain
-rw-r--r--constant4.adb211logstatsplain
-rw-r--r--constant4_pkg.ads440logstatsplain
-rw-r--r--controlled1.ads372logstatsplain
-rw-r--r--controlled2.adb239logstatsplain
-rw-r--r--controlled2.ads101logstatsplain
-rw-r--r--controlled3.ads371logstatsplain
-rw-r--r--controlled4.adb192logstatsplain
-rw-r--r--controlled4.ads89logstatsplain
-rw-r--r--controlled5.adb141logstatsplain
-rw-r--r--controlled5_pkg.adb367logstatsplain
-rw-r--r--controlled5_pkg.ads369logstatsplain
-rw-r--r--controlled6.adb514logstatsplain
-rw-r--r--controlled6_pkg-iterators.adb560logstatsplain
-rw-r--r--controlled6_pkg-iterators.ads493logstatsplain
-rw-r--r--controlled6_pkg.ads212logstatsplain
-rw-r--r--controlled7.adb403logstatsplain
-rw-r--r--controlled7.ads146logstatsplain
-rw-r--r--controlled_record.adb281logstatsplain
-rw-r--r--controlled_record.ads329logstatsplain
-rw-r--r--conv_bug.adb685logstatsplain
-rw-r--r--conv_decimal.adb739logstatsplain
-rw-r--r--conv_integer.adb246logstatsplain
-rw-r--r--conv_real.adb568logstatsplain
-rw-r--r--curr_task.adb2246logstatsplain
-rw-r--r--debug1.ads502logstatsplain
-rw-r--r--debug2.adb599logstatsplain
-rw-r--r--debug2.ads52logstatsplain
-rw-r--r--debug2_pkg.ads404logstatsplain
-rw-r--r--debug3.adb483logstatsplain
-rw-r--r--debug3.ads50logstatsplain
-rw-r--r--decl_ctx_def.ads48logstatsplain
-rw-r--r--decl_ctx_use.adb229logstatsplain
-rw-r--r--decl_ctx_use.ads74logstatsplain
-rw-r--r--deferred_const1.adb276logstatsplain
-rw-r--r--deferred_const2.adb203logstatsplain
-rw-r--r--deferred_const2_pkg.adb201logstatsplain
-rw-r--r--deferred_const2_pkg.ads224logstatsplain
-rw-r--r--deferred_const3.adb344logstatsplain
-rw-r--r--deferred_const3_pkg.adb342logstatsplain
-rw-r--r--deferred_const3_pkg.ads356logstatsplain
-rw-r--r--deferred_const4.adb174logstatsplain
-rw-r--r--deferred_const4.ads279logstatsplain
-rw-r--r--deferred_const4_pkg.ads347logstatsplain
-rw-r--r--deques.ads400logstatsplain
-rw-r--r--deref1.ads104logstatsplain
-rw-r--r--deref2.ads344logstatsplain
-rw-r--r--deref3.adb172logstatsplain
-rw-r--r--derived_aggregate.adb666logstatsplain
-rw-r--r--derived_type1.adb650logstatsplain
-rw-r--r--derived_type2.adb633logstatsplain
-rw-r--r--derived_type3.adb124logstatsplain
-rw-r--r--derived_type3_pkg.adb1048logstatsplain
-rw-r--r--derived_type3_pkg.ads94logstatsplain
-rw-r--r--derived_type4.adb288logstatsplain
-rw-r--r--dg.exp1096logstatsplain
-rw-r--r--discr1.ads466logstatsplain
-rw-r--r--discr10.adb146logstatsplain
-rw-r--r--discr10.ads516logstatsplain
-rw-r--r--discr11.adb164logstatsplain
-rw-r--r--discr11.ads174logstatsplain
-rw-r--r--discr11_pkg.ads213logstatsplain
-rw-r--r--discr12.adb565logstatsplain
-rw-r--r--discr12_pkg.ads89logstatsplain
-rw-r--r--discr13.adb607logstatsplain
-rw-r--r--discr14.adb270logstatsplain
-rw-r--r--discr14.ads1063logstatsplain
-rw-r--r--discr15.adb312logstatsplain
-rw-r--r--discr15_pkg.ads436logstatsplain
-rw-r--r--discr16.adb404logstatsplain
-rw-r--r--discr16_cont.ads105logstatsplain
-rw-r--r--discr16_g.ads289logstatsplain
-rw-r--r--discr16_pkg.ads165logstatsplain
-rw-r--r--discr17.adb1085logstatsplain
-rw-r--r--discr18.adb499logstatsplain
-rw-r--r--discr18_pkg.ads470logstatsplain
-rw-r--r--discr19.adb342logstatsplain
-rw-r--r--discr2.adb372logstatsplain
-rw-r--r--discr2.ads53logstatsplain
-rw-r--r--discr20.adb141logstatsplain
-rw-r--r--discr20.ads605logstatsplain
-rw-r--r--discr21.adb584logstatsplain
-rw-r--r--discr21.ads52logstatsplain
-rw-r--r--discr21_pkg.ads351logstatsplain
-rw-r--r--discr22.adb404logstatsplain
-rw-r--r--discr23.adb280logstatsplain
-rw-r--r--discr23.ads53logstatsplain
-rw-r--r--discr23_pkg.ads221logstatsplain
-rw-r--r--discr24.adb1192logstatsplain
-rw-r--r--discr25.adb140logstatsplain
-rw-r--r--discr25_pkg.adb463logstatsplain
-rw-r--r--discr25_pkg.ads195logstatsplain
-rw-r--r--discr26.adb258logstatsplain
-rw-r--r--discr26.ads245logstatsplain
-rw-r--r--discr26_pkg.ads71logstatsplain
-rw-r--r--discr27.adb605logstatsplain
-rw-r--r--discr27.ads53logstatsplain
-rw-r--r--discr28.adb307logstatsplain
-rw-r--r--discr28.ads337logstatsplain
-rw-r--r--discr28_pkg.ads71logstatsplain
-rw-r--r--discr29.adb139logstatsplain
-rw-r--r--discr29.ads420logstatsplain
-rw-r--r--discr3.ads299logstatsplain
-rw-r--r--discr30.adb1194logstatsplain
-rw-r--r--discr31.adb226logstatsplain
-rw-r--r--discr31.ads370logstatsplain
-rw-r--r--discr32.adb327logstatsplain
-rw-r--r--discr32_pkg.ads472logstatsplain
-rw-r--r--discr33.adb610logstatsplain
-rw-r--r--discr34.adb121logstatsplain
-rw-r--r--discr34_pkg.ads271logstatsplain
-rw-r--r--discr35.adb215logstatsplain
-rw-r--r--discr35.ads361logstatsplain
-rw-r--r--discr36.adb298logstatsplain
-rw-r--r--discr36.ads206logstatsplain
-rw-r--r--discr36_pkg.adb151logstatsplain
-rw-r--r--discr36_pkg.ads101logstatsplain
-rw-r--r--discr37.adb217logstatsplain
-rw-r--r--discr37.ads463logstatsplain
-rw-r--r--discr38.adb941logstatsplain
-rw-r--r--discr39.adb456logstatsplain
-rw-r--r--discr4.adb894logstatsplain
-rw-r--r--discr40.adb231logstatsplain
-rw-r--r--discr40.ads719logstatsplain
-rw-r--r--discr41.adb168logstatsplain
-rw-r--r--discr41.ads437logstatsplain
-rw-r--r--discr5.adb323logstatsplain
-rw-r--r--discr6.adb621logstatsplain
-rw-r--r--discr6_pkg.ads311logstatsplain
-rw-r--r--discr7.adb436logstatsplain
-rw-r--r--discr8.adb636logstatsplain
-rw-r--r--discr8.ads350logstatsplain
-rw-r--r--discr8_pkg1.ads203logstatsplain
-rw-r--r--discr8_pkg2.ads236logstatsplain
-rw-r--r--discr8_pkg3.ads73logstatsplain
-rw-r--r--discr9.adb188logstatsplain
-rw-r--r--discr9.ads475logstatsplain
-rw-r--r--discr_range_check.adb415logstatsplain
-rw-r--r--discr_test.adb437logstatsplain
-rw-r--r--discr_test2.adb381logstatsplain
-rw-r--r--dispatch1.adb168logstatsplain
-rw-r--r--dispatch1_p.ads95logstatsplain
-rw-r--r--dispatch2.adb199logstatsplain
-rw-r--r--dispatch2_p.adb152logstatsplain
-rw-r--r--dispatch2_p.ads260logstatsplain
-rw-r--r--div_no_warning.adb293logstatsplain
-rw-r--r--dse_step.adb361logstatsplain
-rw-r--r--dse_step.ads411logstatsplain
-rw-r--r--dynamic_bound.adb529logstatsplain
-rw-r--r--dynamic_elab1.adb271logstatsplain
-rw-r--r--dynamic_elab1.ads198logstatsplain
-rw-r--r--dynamic_elab2.adb271logstatsplain
-rw-r--r--dynamic_elab2.ads215logstatsplain
-rw-r--r--dynamic_elab_pkg.ads153logstatsplain
-rw-r--r--elab1.ads474logstatsplain
-rw-r--r--elab2.adb123logstatsplain
-rw-r--r--elim1.adb83logstatsplain
-rw-r--r--elim1.ads111logstatsplain
-rw-r--r--elim2.adb70logstatsplain
-rw-r--r--empty_vector_length.adb395logstatsplain
-rw-r--r--enclosing_record_reference.adb888logstatsplain
-rw-r--r--enclosing_record_reference.ads618logstatsplain
-rw-r--r--entry_queues.adb1078logstatsplain
-rw-r--r--entry_queues2.adb834logstatsplain
-rw-r--r--enum1.adb247logstatsplain
-rw-r--r--enum1_pkg.ads128logstatsplain
-rw-r--r--enum2.adb274logstatsplain
-rw-r--r--enum2_pkg.ads237logstatsplain
-rw-r--r--enum3.adb522logstatsplain
-rw-r--r--env_compile_capacity.adb957logstatsplain
-rw-r--r--env_compile_capacity.ads60logstatsplain
-rw-r--r--equal1.ads286logstatsplain
-rw-r--r--equal_access.adb142logstatsplain
-rw-r--r--exp0_eval.adb620logstatsplain
-rw-r--r--expect1.adb300logstatsplain
-rw-r--r--ext1.ads377logstatsplain
-rw-r--r--fatp_sra.adb234logstatsplain
-rw-r--r--finalized.adb220logstatsplain
-rw-r--r--fixce.adb293logstatsplain
-rw-r--r--fixedpnt.adb186logstatsplain
-rw-r--r--forward_anon.adb151logstatsplain
-rw-r--r--forward_anon.ads266logstatsplain
-rw-r--r--forward_vla.adb419logstatsplain
-rw-r--r--fp_exception.adb518logstatsplain
-rw-r--r--frame_overflow.adb558logstatsplain
-rw-r--r--frame_overflow.ads423logstatsplain
-rw-r--r--frunaligned.adb159logstatsplain
-rw-r--r--frunaligned1.ads260logstatsplain
-rw-r--r--g_tables.adb175logstatsplain
-rw-r--r--g_tables.ads225logstatsplain
-rw-r--r--gen_disp.adb1375logstatsplain
-rw-r--r--gen_disp.ads299logstatsplain
-rw-r--r--generic_dispatch.adb236logstatsplain
-rw-r--r--generic_dispatch_p.adb166logstatsplain
-rw-r--r--generic_dispatch_p.ads525logstatsplain
-rw-r--r--gnat_malloc.adb422logstatsplain
-rw-r--r--gnatg.adb305logstatsplain
-rw-r--r--graphic.adb538logstatsplain
-rw-r--r--graphic.ads216logstatsplain
-rw-r--r--handle_and_return.adb282logstatsplain
-rw-r--r--handle_raise_from_pure.adb270logstatsplain
-rw-r--r--hyper_flat.adb312logstatsplain
-rw-r--r--ice_type.adb187logstatsplain
-rw-r--r--ice_types.ads150logstatsplain
-rw-r--r--iface1.ads408logstatsplain
-rw-r--r--iface2.adb140logstatsplain
-rw-r--r--iface2.ads144logstatsplain
-rw-r--r--iface_test.adb689logstatsplain
-rw-r--r--iface_test.ads450logstatsplain
-rw-r--r--ifaces.adb157logstatsplain
-rw-r--r--ifaces.ads401logstatsplain
-rw-r--r--import1.adb340logstatsplain
-rw-r--r--import1.ads124logstatsplain
-rw-r--r--in_mod_conv.adb558logstatsplain
-rw-r--r--in_out_parameter.adb799logstatsplain
-rw-r--r--in_out_parameter2.adb364logstatsplain
-rw-r--r--in_out_parameter3.adb726logstatsplain
-rw-r--r--in_out_parameter4.adb574logstatsplain
-rw-r--r--include.adb128logstatsplain
-rw-r--r--incomplete1.ads66logstatsplain
-rw-r--r--incomplete2.adb134logstatsplain
-rw-r--r--incomplete2.ads223logstatsplain
-rw-r--r--incomplete3.adb343logstatsplain
-rw-r--r--incomplete3.ads486logstatsplain
-rw-r--r--init_scalar1.adb405logstatsplain
-rw-r--r--inline_scope.adb362logstatsplain
-rw-r--r--inline_scope_p.adb174logstatsplain
-rw-r--r--inline_scope_p.ads116logstatsplain
-rw-r--r--inline_tagged.adb935logstatsplain
-rw-r--r--interface1.adb481logstatsplain
-rw-r--r--interface2.adb490logstatsplain
-rw-r--r--interface3.adb709logstatsplain
-rw-r--r--interface4.adb279logstatsplain
-rw-r--r--interface5.adb186logstatsplain
-rw-r--r--interface5.ads258logstatsplain
-rw-r--r--interface_conv.adb381logstatsplain
-rw-r--r--invalid1.adb1084logstatsplain
-rw-r--r--invariant_index.adb337logstatsplain
-rw-r--r--invariant_index.ads142logstatsplain
-rw-r--r--iprot_test.adb772logstatsplain
-rw-r--r--itype.adb161logstatsplain
-rw-r--r--itype.ads113logstatsplain
-rw-r--r--itypes.adb519logstatsplain
-rw-r--r--itypes.ads45logstatsplain
-rw-r--r--kill_value.adb368logstatsplain
-rw-r--r--late_overriding.adb401logstatsplain
-rw-r--r--layered_abstraction.adb442logstatsplain
-rw-r--r--layered_abstraction.ads626logstatsplain
-rw-r--r--layered_abstraction_p.ads108logstatsplain
-rw-r--r--layered_instance.adb305logstatsplain
-rw-r--r--lhs_view_convert.adb544logstatsplain
-rw-r--r--limited_with.adb170logstatsplain
-rw-r--r--limited_with.ads120logstatsplain
-rw-r--r--limited_with2.adb200logstatsplain
-rw-r--r--limited_with2.ads207logstatsplain
-rw-r--r--limited_with2_pkg1.ads170logstatsplain
-rw-r--r--limited_with2_pkg2.ads145logstatsplain
-rw-r--r--limited_with3.adb137logstatsplain
-rw-r--r--limited_with3.ads298logstatsplain
-rw-r--r--limited_with3_pkg1.adb467logstatsplain
-rw-r--r--limited_with3_pkg1.ads788logstatsplain
-rw-r--r--limited_with3_pkg2.ads181logstatsplain
-rw-r--r--limited_with3_pkg3.ads246logstatsplain
-rw-r--r--loop_address.adb487logstatsplain
-rw-r--r--loop_address2.adb534logstatsplain
-rw-r--r--loop_boolean.adb276logstatsplain
-rw-r--r--loop_bound.adb623logstatsplain
-rw-r--r--loop_optimization1.adb632logstatsplain
-rw-r--r--loop_optimization1.ads846logstatsplain
-rw-r--r--loop_optimization10.adb418logstatsplain
-rw-r--r--loop_optimization10.ads360logstatsplain
-rw-r--r--loop_optimization10_pkg.ads250logstatsplain
-rw-r--r--loop_optimization11.adb468logstatsplain
-rw-r--r--loop_optimization11_pkg.ads276logstatsplain
-rw-r--r--loop_optimization12.adb618logstatsplain
-rw-r--r--loop_optimization12.ads554logstatsplain
-rw-r--r--loop_optimization13.adb537logstatsplain
-rw-r--r--loop_optimization13.ads451logstatsplain
-rw-r--r--loop_optimization13_pkg.ads82logstatsplain
-rw-r--r--loop_optimization14.adb554logstatsplain
-rw-r--r--loop_optimization14.ads209logstatsplain
-rw-r--r--loop_optimization14_pkg.ads106logstatsplain
-rw-r--r--loop_optimization15.adb459logstatsplain
-rw-r--r--loop_optimization15.ads181logstatsplain
-rw-r--r--loop_optimization16.adb450logstatsplain
-rw-r--r--loop_optimization16_pkg.adb155logstatsplain
-rw-r--r--loop_optimization16_pkg.ads133logstatsplain
-rw-r--r--loop_optimization17.adb438logstatsplain
-rw-r--r--loop_optimization17_pkg.adb135logstatsplain
-rw-r--r--loop_optimization17_pkg.ads611logstatsplain
-rw-r--r--loop_optimization2.adb1253logstatsplain
-rw-r--r--loop_optimization2.ads1180logstatsplain
-rw-r--r--loop_optimization3.adb315logstatsplain
-rw-r--r--loop_optimization3_pkg.adb143logstatsplain
-rw-r--r--loop_optimization3_pkg.ads107logstatsplain
-rw-r--r--loop_optimization4.adb162logstatsplain
-rw-r--r--loop_optimization4_pkg.adb461logstatsplain
-rw-r--r--loop_optimization4_pkg.ads265logstatsplain
-rw-r--r--loop_optimization5.adb579logstatsplain
-rw-r--r--loop_optimization5_pkg.ads191logstatsplain
-rw-r--r--loop_optimization6.adb483logstatsplain
-rw-r--r--loop_optimization6.ads92logstatsplain
-rw-r--r--loop_optimization7.adb334logstatsplain
-rw-r--r--loop_optimization7.ads191logstatsplain
-rw-r--r--loop_optimization7_pkg.ads171logstatsplain
-rw-r--r--loop_optimization8.adb597logstatsplain
-rw-r--r--loop_optimization8_pkg1.adb381logstatsplain
-rw-r--r--loop_optimization8_pkg1.ads468logstatsplain
-rw-r--r--loop_optimization8_pkg2.adb285logstatsplain
-rw-r--r--loop_optimization8_pkg2.ads392logstatsplain
-rw-r--r--loop_optimization9.adb3357logstatsplain
-rw-r--r--loop_optimization9.ads432logstatsplain
-rw-r--r--loop_unchecked_conversion.adb714logstatsplain
-rw-r--r--loop_unchecked_conversion.ads90logstatsplain
-rw-r--r--lto1.adb256logstatsplain
-rw-r--r--lto10.adb252logstatsplain
-rw-r--r--lto10_pkg.ads329logstatsplain
-rw-r--r--lto11.adb459logstatsplain
-rw-r--r--lto11.ads198logstatsplain
-rw-r--r--lto13.adb133logstatsplain
-rw-r--r--lto13_pkg.adb132logstatsplain
-rw-r--r--lto13_pkg.ads76logstatsplain
-rw-r--r--lto14.adb177logstatsplain
-rw-r--r--lto15.adb221logstatsplain
-rw-r--r--lto15.ads207logstatsplain
-rw-r--r--lto1_pkg.adb570logstatsplain
-rw-r--r--lto1_pkg.ads737logstatsplain
-rw-r--r--lto2.adb589logstatsplain
-rw-r--r--lto4.adb281logstatsplain
-rw-r--r--lto4.ads581logstatsplain
-rw-r--r--lto5.adb113logstatsplain
-rw-r--r--lto5_pkg.adb85logstatsplain
-rw-r--r--lto5_pkg.ads108logstatsplain
-rw-r--r--lto6.adb284logstatsplain
-rw-r--r--lto6_pkg.ads235logstatsplain
-rw-r--r--lto7.adb253logstatsplain
-rw-r--r--lto7_pkg.adb143logstatsplain
-rw-r--r--lto7_pkg.ads390logstatsplain
-rw-r--r--lto8.adb382logstatsplain
-rw-r--r--lto8_pkg.adb183logstatsplain
-rw-r--r--lto8_pkg.ads480logstatsplain
-rw-r--r--lto9.adb267logstatsplain
-rw-r--r--lto9_pkg1.ads623logstatsplain
-rw-r--r--lto9_pkg2.adb249logstatsplain
-rw-r--r--lto9_pkg2.ads482logstatsplain
-rw-r--r--machine_code1.adb308logstatsplain
-rw-r--r--max_align.adb256logstatsplain
-rw-r--r--md5_test.adb379logstatsplain
-rw-r--r--memtrap.adb273logstatsplain
-rw-r--r--misaligned_nest.adb387logstatsplain
-rw-r--r--misaligned_param.adb633logstatsplain
-rw-r--r--misaligned_param_pkg.adb305logstatsplain
-rw-r--r--misaligned_param_pkg.ads108logstatsplain
-rw-r--r--misaligned_volatile.adb526logstatsplain
-rw-r--r--missing_acc_check.adb807logstatsplain
-rw-r--r--modify_a_constant.adb566logstatsplain
-rw-r--r--modular1.adb424logstatsplain
-rw-r--r--modular2.adb113logstatsplain
-rw-r--r--modular3.adb454logstatsplain
-rw-r--r--modular3_pkg.ads239logstatsplain
-rw-r--r--modular4.adb185logstatsplain
-rw-r--r--modular4_pkg.ads130logstatsplain
-rw-r--r--mutable1.adb668logstatsplain
-rw-r--r--my_env_versioned_value_set_g.ads201logstatsplain
-rw-r--r--named_test.adb559logstatsplain
-rw-r--r--namet.ads196logstatsplain
-rw-r--r--nat1.ads162logstatsplain
-rw-r--r--nat1r.adb221logstatsplain
-rw-r--r--nested_agg_bitfield_constructor.adb693logstatsplain
-rw-r--r--nested_controlled_alloc.adb1021logstatsplain
-rw-r--r--nested_float_packed.ads438logstatsplain
-rw-r--r--nested_generic1.adb212logstatsplain
-rw-r--r--nested_generic1_pkg.adb229logstatsplain
-rw-r--r--nested_generic1_pkg.ads191logstatsplain
-rw-r--r--nested_proc1.adb567logstatsplain
-rw-r--r--nested_proc2.adb443logstatsplain
-rw-r--r--nested_return_test.adb892logstatsplain
-rw-r--r--nested_subtype_byref.adb398logstatsplain
-rw-r--r--nested_subtype_byref.ads58logstatsplain
-rw-r--r--no_exc_prop.adb327logstatsplain
-rw-r--r--no_exc_prop.ads233logstatsplain
-rw-r--r--no_final.adb564logstatsplain
-rw-r--r--noinline2.adb505logstatsplain
-rw-r--r--noinline2.ads84logstatsplain
-rw-r--r--noreturn1.adb330logstatsplain
-rw-r--r--noreturn1.ads159logstatsplain
-rw-r--r--noreturn2.adb599logstatsplain
-rw-r--r--noreturn2.ads166logstatsplain
-rw-r--r--noreturn3.adb533logstatsplain
-rw-r--r--noreturn3.ads227logstatsplain
-rw-r--r--noreturn4.adb348logstatsplain
-rw-r--r--noreturn4.ads214logstatsplain
-rw-r--r--noreturn4_pkg.ads410logstatsplain
-rw-r--r--noreturn5.adb644logstatsplain
-rw-r--r--noreturn5.ads132logstatsplain
-rw-r--r--not_null.adb487logstatsplain
-rw-r--r--notnot.adb201logstatsplain
-rw-r--r--null_pointer_deref1.adb525logstatsplain
-rw-r--r--null_pointer_deref2.adb611logstatsplain
-rw-r--r--null_pointer_deref3.adb549logstatsplain
-rw-r--r--oalign1.ads108logstatsplain
-rw-r--r--oalign2.ads108logstatsplain
-rw-r--r--object_overflow1.adb245logstatsplain
-rw-r--r--object_overflow2.adb255logstatsplain
-rw-r--r--object_overflow3.adb322logstatsplain
-rw-r--r--object_overflow4.adb424logstatsplain
-rw-r--r--oconst1.adb300logstatsplain
-rw-r--r--oconst1.ads382logstatsplain
-rw-r--r--oconst2.adb241logstatsplain
-rw-r--r--oconst2.ads351logstatsplain
-rw-r--r--oconst3.adb269logstatsplain
-rw-r--r--oconst3.ads426logstatsplain
-rw-r--r--oconst4.adb519logstatsplain
-rw-r--r--oconst4.ads1375logstatsplain
-rw-r--r--oconst5.adb299logstatsplain
-rw-r--r--oconst5.ads522logstatsplain
-rw-r--r--old_errors.ads66logstatsplain
-rw-r--r--opt1.adb644logstatsplain
-rw-r--r--opt1.ads310logstatsplain
-rw-r--r--opt10.adb477logstatsplain
-rw-r--r--opt10_pkg.ads297logstatsplain
-rw-r--r--opt11.adb160logstatsplain
-rw-r--r--opt11.ads316logstatsplain
-rw-r--r--opt12.adb288logstatsplain
-rw-r--r--opt12_pkg.adb149logstatsplain
-rw-r--r--opt12_pkg.ads245logstatsplain
-rw-r--r--opt13.adb186logstatsplain
-rw-r--r--opt13_pkg.adb587logstatsplain
-rw-r--r--opt13_pkg.ads192logstatsplain
-rw-r--r--opt14.adb364logstatsplain
-rw-r--r--opt15.adb271logstatsplain
-rw-r--r--opt15_pkg.adb184logstatsplain
-rw-r--r--opt15_pkg.ads98logstatsplain
-rw-r--r--opt16.adb723logstatsplain
-rw-r--r--opt17.adb196logstatsplain
-rw-r--r--opt17.ads89logstatsplain
-rw-r--r--opt18.adb986logstatsplain
-rw-r--r--opt18.ads642logstatsplain
-rw-r--r--opt18_pkg.ads529logstatsplain
-rw-r--r--opt19.adb477logstatsplain
-rw-r--r--opt2.adb564logstatsplain
-rw-r--r--opt20.adb504logstatsplain
-rw-r--r--opt20.ads114logstatsplain
-rw-r--r--opt20_pkg.ads263logstatsplain
-rw-r--r--opt21.adb167logstatsplain
-rw-r--r--opt21_pkg.adb352logstatsplain
-rw-r--r--opt21_pkg.ads298logstatsplain
-rw-r--r--opt22.adb301logstatsplain
-rw-r--r--opt22_pkg.adb239logstatsplain
-rw-r--r--opt22_pkg.ads89logstatsplain
-rw-r--r--opt23.adb355logstatsplain
-rw-r--r--opt23.ads97logstatsplain
-rw-r--r--opt23_pkg.adb156logstatsplain
-rw-r--r--opt23_pkg.ads654logstatsplain
-rw-r--r--opt24.adb307logstatsplain
-rw-r--r--opt24.ads97logstatsplain
-rw-r--r--opt25.adb354logstatsplain
-rw-r--r--opt25_pkg1.adb156logstatsplain
-rw-r--r--opt25_pkg1.ads154logstatsplain
-rw-r--r--opt25_pkg2.adb150logstatsplain
-rw-r--r--opt25_pkg2.ads379logstatsplain
-rw-r--r--opt26.adb715logstatsplain
-rw-r--r--opt27.adb596logstatsplain
-rw-r--r--opt27_pkg.adb802logstatsplain
-rw-r--r--opt27_pkg.ads662logstatsplain
-rw-r--r--opt28.adb841logstatsplain
-rw-r--r--opt28.ads136logstatsplain
-rw-r--r--opt28_pkg.ads397logstatsplain
-rw-r--r--opt29.adb222logstatsplain
-rw-r--r--opt29.ads493logstatsplain
-rw-r--r--opt3.adb230logstatsplain
-rw-r--r--opt30.adb418logstatsplain
-rw-r--r--opt31.adb924logstatsplain
-rw-r--r--opt32.adb745logstatsplain
-rw-r--r--opt33.adb813logstatsplain
-rw-r--r--opt38.adb124logstatsplain
-rw-r--r--opt38_pkg.adb482logstatsplain
-rw-r--r--opt38_pkg.ads70logstatsplain
-rw-r--r--opt39.adb583logstatsplain
-rw-r--r--opt3_pkg.ads71logstatsplain
-rw-r--r--opt4.adb303logstatsplain
-rw-r--r--opt41.adb396logstatsplain
-rw-r--r--opt41_pkg.adb1602logstatsplain
-rw-r--r--opt41_pkg.ads682logstatsplain
-rw-r--r--opt45.adb851logstatsplain
-rw-r--r--opt47.adb932logstatsplain
-rw-r--r--opt5.adb368logstatsplain
-rw-r--r--opt6.adb600logstatsplain
-rw-r--r--opt6.ads389logstatsplain
-rw-r--r--opt7.adb1248logstatsplain
-rw-r--r--opt7.ads291logstatsplain
-rw-r--r--opt7_pkg.ads68logstatsplain
-rw-r--r--opt8.adb1350logstatsplain
-rw-r--r--opt8.ads1247logstatsplain
-rw-r--r--opt8_pkg.ads123logstatsplain
-rw-r--r--opt9.adb390logstatsplain
-rw-r--r--opt9_pkg.ads57logstatsplain
-rw-r--r--outer_agg_bitfield_constructor.adb845logstatsplain
-rw-r--r--overflow_fixed.adb365logstatsplain
-rw-r--r--overflow_sum.adb1822logstatsplain
-rw-r--r--overflow_sum2.adb902logstatsplain
-rw-r--r--overriding_ops.adb328logstatsplain
-rw-r--r--overriding_ops.ads407logstatsplain
-rw-r--r--overriding_ops_p.ads281logstatsplain
-rw-r--r--pack1.ads126logstatsplain
-rw-r--r--pack10.adb507logstatsplain
-rw-r--r--pack11.adb387logstatsplain
-rw-r--r--pack12.adb529logstatsplain
-rw-r--r--pack13.adb191logstatsplain
-rw-r--r--pack13.ads734logstatsplain
-rw-r--r--pack13_pkg.ads223logstatsplain
-rw-r--r--pack14.adb224logstatsplain
-rw-r--r--pack15.adb134logstatsplain
-rw-r--r--pack15.ads383logstatsplain
-rw-r--r--pack16.adb471logstatsplain
-rw-r--r--pack16_pkg.ads62logstatsplain
-rw-r--r--pack17.adb891logstatsplain
-rw-r--r--pack18.adb220logstatsplain
-rw-r--r--pack18_pkg.ads465logstatsplain
-rw-r--r--pack19.adb1088logstatsplain
-rw-r--r--pack2.adb376logstatsplain
-rw-r--r--pack20.adb137logstatsplain
-rw-r--r--pack20.ads240logstatsplain
-rw-r--r--pack20_pkg.ads131logstatsplain
-rw-r--r--pack3.adb532logstatsplain
-rw-r--r--pack4.adb590logstatsplain
-rw-r--r--pack5.adb508logstatsplain
-rw-r--r--pack6.adb406logstatsplain
-rw-r--r--pack7.adb397logstatsplain
-rw-r--r--pack8.adb428logstatsplain
-rw-r--r--pack9.adb437logstatsplain
-rw-r--r--pack9.ads256logstatsplain
-rw-r--r--packed_subtype.adb372logstatsplain
-rw-r--r--pak.adb445logstatsplain
-rw-r--r--pak.ads227logstatsplain
-rw-r--r--parameterlessfunc.adb358logstatsplain
-rw-r--r--parent_ltd_with-child_full_view.adb303logstatsplain
-rw-r--r--parent_ltd_with-child_full_view.ads349logstatsplain
-rw-r--r--parent_ltd_with.ads304logstatsplain
-rw-r--r--pointer_array.adb230logstatsplain
-rw-r--r--pointer_controlled.adb676logstatsplain
-rw-r--r--pointer_conversion.adb429logstatsplain
-rw-r--r--pointer_discr1.adb172logstatsplain
-rw-r--r--pointer_discr1_pkg1.ads162logstatsplain
-rw-r--r--pointer_discr1_pkg2.ads259logstatsplain
-rw-r--r--pointer_discr1_pkg3.ads243logstatsplain
-rw-r--r--pointer_protected.adb214logstatsplain
-rw-r--r--pointer_protected_p.ads182logstatsplain
-rw-r--r--pointer_variable_bounds.adb626logstatsplain
-rw-r--r--pointer_variable_bounds.ads590logstatsplain
-rw-r--r--pointer_variable_bounds_q.ads165logstatsplain
-rw-r--r--prefix1.adb208logstatsplain
-rw-r--r--prefix1.ads148logstatsplain
-rw-r--r--prefix2.adb958logstatsplain
-rw-r--r--prefix2.ads743logstatsplain
-rw-r--r--profile_warning.adb59logstatsplain
-rw-r--r--profile_warning.ads165logstatsplain
-rw-r--r--profile_warning_p.adb283logstatsplain
-rw-r--r--profile_warning_p.ads64logstatsplain
-rw-r--r--prot1.adb443logstatsplain
-rw-r--r--prot2.adb396logstatsplain
-rw-r--r--prot2.ads50logstatsplain
-rw-r--r--prot2_pkg1.ads72logstatsplain
-rw-r--r--prot2_pkg2.adb395logstatsplain
-rw-r--r--prot2_pkg2.ads216logstatsplain
-rw-r--r--prot_def.adb809logstatsplain
-rw-r--r--protected_self_ref1.adb450logstatsplain
-rw-r--r--protected_self_ref2.adb314logstatsplain
-rw-r--r--quote.adb162logstatsplain
-rw-r--r--raise_ce.adb60logstatsplain
-rw-r--r--raise_from_pure.adb197logstatsplain
-rw-r--r--raise_from_pure.ads105logstatsplain
-rw-r--r--range_check.adb320logstatsplain
-rw-r--r--range_check2.adb334logstatsplain
-rw-r--r--rational_arithmetic.ads1017logstatsplain
-rw-r--r--recursive_call.adb248logstatsplain
-rw-r--r--ref_type.adb209logstatsplain
-rw-r--r--ref_type.ads103logstatsplain
-rw-r--r--regpat1.adb241logstatsplain
-rw-r--r--release_unc_maxalign.adb428logstatsplain
-rw-r--r--remote_type.adb468logstatsplain
-rw-r--r--remote_type.ads583logstatsplain
-rw-r--r--renaming1.adb243logstatsplain
-rw-r--r--renaming1.ads83logstatsplain
-rw-r--r--renaming2.adb1705logstatsplain
-rw-r--r--renaming3.adb213logstatsplain
-rw-r--r--renaming4.ads342logstatsplain
-rw-r--r--renaming5.adb626logstatsplain
-rw-r--r--renaming5.ads57logstatsplain
-rw-r--r--rep_clause1.adb2453logstatsplain
-rw-r--r--rep_clause2.adb241logstatsplain
-rw-r--r--rep_clause2.ads1081logstatsplain
-rw-r--r--rep_clause3.adb867logstatsplain
-rw-r--r--rep_clause4.adb615logstatsplain
-rw-r--r--rep_clause5.adb1017logstatsplain
-rw-r--r--rep_clause5.ads243logstatsplain
-rw-r--r--rep_clause5_pkg.ads7321logstatsplain
-rw-r--r--requeue1.adb953logstatsplain
-rw-r--r--return1.adb268logstatsplain
-rw-r--r--return1.ads238logstatsplain
-rw-r--r--return2.adb722logstatsplain
-rw-r--r--return2.ads349logstatsplain
-rw-r--r--return2_pkg.ads133logstatsplain
-rw-r--r--return3.adb162logstatsplain
-rw-r--r--rt1.adb180logstatsplain
-rw-r--r--rt1.ads419logstatsplain
-rw-r--r--scalar_mode_agg_compare.adb571logstatsplain
-rw-r--r--scalar_mode_agg_compare_loop.adb404logstatsplain
-rw-r--r--self.adb453logstatsplain
-rw-r--r--self.ads574logstatsplain
-rw-r--r--self1.adb480logstatsplain
-rw-r--r--self_aggregate_with_array.adb396logstatsplain
-rw-r--r--self_aggregate_with_call.adb579logstatsplain
-rw-r--r--self_aggregate_with_pointer.adb484logstatsplain
-rw-r--r--self_aggregate_with_zeros.adb382logstatsplain
-rw-r--r--set_in_pproc.adb368logstatsplain
-rw-r--r--show_deques_priority.adb168logstatsplain
-rw-r--r--size_attribute.adb151logstatsplain
-rw-r--r--sizetype1.adb273logstatsplain
-rw-r--r--sizetype2.adb576logstatsplain
-rw-r--r--sizetype3.adb409logstatsplain
-rw-r--r--sizetype3.ads188logstatsplain
-rw-r--r--sizetype3_pkg.ads127logstatsplain
-rw-r--r--sizetype4.adb489logstatsplain
-rw-r--r--slice1.adb485logstatsplain
-rw-r--r--slice2.adb206logstatsplain
-rw-r--r--slice2.ads217logstatsplain
-rw-r--r--slice3.adb517logstatsplain
-rw-r--r--slice4.adb581logstatsplain
-rw-r--r--slice5.adb680logstatsplain
-rw-r--r--slice6.adb350logstatsplain
-rw-r--r--slice6_pkg.ads387logstatsplain
-rw-r--r--slice7.adb1055logstatsplain
-rw-r--r--slice7_pkg.ads149logstatsplain
-rw-r--r--slice8.adb177logstatsplain
-rw-r--r--slice8_pkg1.ads99logstatsplain
-rw-r--r--slice8_pkg2.ads457logstatsplain
-rw-r--r--slice8_pkg3.adb391logstatsplain
-rw-r--r--slice8_pkg3.ads154logstatsplain
-rw-r--r--slice_enum.adb131logstatsplain
-rw-r--r--small_alignment.adb436logstatsplain
-rw-r--r--socket1.adb303logstatsplain
-rw-r--r--sort1.adb778logstatsplain
-rw-r--r--sort1.ads64logstatsplain
-rw-r--r--sort2.adb155logstatsplain
-rw-r--r--source_ref1.adb85logstatsplain
-rw-r--r--source_ref2.adb124logstatsplain
d---------specs6604logstatsplain
-rw-r--r--spipaterr.adb292logstatsplain
-rw-r--r--sse_nolib.adb1287logstatsplain
-rw-r--r--stack_check1.adb734logstatsplain
-rw-r--r--stack_check2.adb818logstatsplain
-rw-r--r--stack_check3.adb642logstatsplain
-rw-r--r--stack_check3.ads63logstatsplain
-rw-r--r--stack_usage1.adb2194logstatsplain
-rw-r--r--stack_usage1_pkg.adb224logstatsplain
-rw-r--r--stack_usage1_pkg.ads242logstatsplain
-rw-r--r--stack_usage1b.adb2199logstatsplain
-rw-r--r--stack_usage1c.adb2200logstatsplain
-rw-r--r--stack_usage2.adb527logstatsplain
-rw-r--r--statically_matching.ads244logstatsplain
-rw-r--r--str1.adb313logstatsplain
-rw-r--r--string_comparison.adb208logstatsplain
-rw-r--r--string_slice.adb339logstatsplain
-rw-r--r--string_slice2.adb492logstatsplain
-rw-r--r--subp_elim_errors.adb621logstatsplain
-rw-r--r--subp_elim_errors.ads115logstatsplain
-rw-r--r--sync1.adb273logstatsplain
-rw-r--r--sync1.ads319logstatsplain
-rw-r--r--sync_iface_test.adb414logstatsplain
-rw-r--r--sync_iface_test.ads320logstatsplain
-rw-r--r--taft_type1.adb102logstatsplain
-rw-r--r--taft_type1_pkg1.adb448logstatsplain
-rw-r--r--taft_type1_pkg1.ads183logstatsplain
-rw-r--r--taft_type1_pkg2.ads138logstatsplain
-rw-r--r--taft_type2.adb315logstatsplain
-rw-r--r--taft_type2.ads59logstatsplain
-rw-r--r--taft_type2_pkg.ads157logstatsplain
-rw-r--r--taft_type3.adb505logstatsplain
-rw-r--r--taft_type3_pkg.ads125logstatsplain
-rw-r--r--tag1.adb450logstatsplain
-rw-r--r--tagged_alloc_free.adb560logstatsplain
-rw-r--r--tagged_type_pkg.adb515logstatsplain
-rw-r--r--tagged_type_pkg.ads248logstatsplain
-rw-r--r--tail_call.adb159logstatsplain
-rw-r--r--tail_call_p.adb698logstatsplain
-rw-r--r--tail_call_p.ads217logstatsplain
-rw-r--r--task_name.adb122logstatsplain
-rw-r--r--task_name.ads750logstatsplain
-rw-r--r--task_stack_align.adb704logstatsplain
-rw-r--r--test_8bitlong_overflow.adb513logstatsplain
-rw-r--r--test_address_null_init.adb397logstatsplain
-rw-r--r--test_ai254.adb270logstatsplain
-rw-r--r--test_allocator_maxalign2.adb125logstatsplain
-rw-r--r--test_bip_no_alloc.adb580logstatsplain
-rw-r--r--test_bounded.adb274logstatsplain
-rw-r--r--test_call.adb599logstatsplain
-rw-r--r--test_debug1.adb134logstatsplain
-rw-r--r--test_delay.adb129logstatsplain
-rw-r--r--test_direct_io.adb243logstatsplain
-rw-r--r--test_dse_step.adb291logstatsplain
-rw-r--r--test_enum_io.adb604logstatsplain
-rw-r--r--test_equal1.adb354logstatsplain
-rw-r--r--test_ext1.adb117logstatsplain
-rw-r--r--test_fixed_io.adb852logstatsplain
-rw-r--r--test_iface_aggr.adb1174logstatsplain
-rw-r--r--test_ifaces.adb215logstatsplain
-rw-r--r--test_image.adb149logstatsplain
-rw-r--r--test_image_p.adb670logstatsplain
-rw-r--r--test_image_p.ads744logstatsplain
-rw-r--r--test_nested_subtype_byref.adb150logstatsplain
-rw-r--r--test_oalign.adb339logstatsplain
-rw-r--r--test_oconst.adb306logstatsplain
-rw-r--r--test_prefix1.adb273logstatsplain
-rw-r--r--test_prio.adb418logstatsplain
-rw-r--r--test_prio_p.adb187logstatsplain
-rw-r--r--test_prio_p.ads479logstatsplain
-rw-r--r--test_raise_from_pure.adb316logstatsplain
-rw-r--r--test_rational_arithmetic.adb418logstatsplain
-rw-r--r--test_self.adb259logstatsplain
-rw-r--r--test_self_ref.adb845logstatsplain
-rw-r--r--test_table1.adb820logstatsplain
-rw-r--r--test_tables.adb203logstatsplain
-rw-r--r--test_time_stamp.adb801logstatsplain
-rw-r--r--test_unknown_discrs.adb606logstatsplain
-rw-r--r--test_version.adb348logstatsplain
-rw-r--r--testint.adb318logstatsplain
-rw-r--r--tf_interface_1.adb199logstatsplain
-rw-r--r--tf_interface_1.ads655logstatsplain
-rw-r--r--tfren.adb780logstatsplain
-rw-r--r--thin_pointer1.adb234logstatsplain
-rw-r--r--thin_pointer1.ads432logstatsplain
-rw-r--r--thin_pointer2.adb230logstatsplain
-rw-r--r--thin_pointer2_pkg.adb350logstatsplain
-rw-r--r--thin_pointer2_pkg.ads169logstatsplain
-rw-r--r--timer_cancel.adb844logstatsplain
-rw-r--r--timing_events.adb557logstatsplain
-rw-r--r--trampoline1.adb377logstatsplain
-rw-r--r--trampoline2.adb439logstatsplain
-rw-r--r--tree_static_def.adb160logstatsplain
-rw-r--r--tree_static_def.ads177logstatsplain
-rw-r--r--tree_static_use.adb164logstatsplain
-rw-r--r--type_conv.adb275logstatsplain
-rw-r--r--unaligned_rep_clause.adb689logstatsplain
-rw-r--r--unc.adb602logstatsplain
-rw-r--r--unc_memfree.adb865logstatsplain
-rw-r--r--unc_memops.adb1359logstatsplain
-rw-r--r--unc_memops.ads948logstatsplain
-rw-r--r--unchecked_convert1.adb655logstatsplain
-rw-r--r--unchecked_convert2.adb854logstatsplain
-rw-r--r--unchecked_convert3.adb355logstatsplain
-rw-r--r--unchecked_convert4.adb408logstatsplain
-rw-r--r--unchecked_convert5.adb396logstatsplain
-rw-r--r--unchecked_convert5b.adb403logstatsplain
-rw-r--r--unchecked_convert6.adb396logstatsplain
-rw-r--r--unchecked_convert6b.adb403logstatsplain
-rw-r--r--unchecked_convert7.adb653logstatsplain
-rw-r--r--unchecked_convert8.adb631logstatsplain
-rw-r--r--unchecked_convert8.ads76logstatsplain
-rw-r--r--unchecked_convert9.adb332logstatsplain
-rw-r--r--unchecked_convert9.ads365logstatsplain
-rw-r--r--unchecked_union1.adb409logstatsplain
-rw-r--r--uninit_array.adb386logstatsplain
-rw-r--r--uninit_array.ads79logstatsplain
-rw-r--r--uninit_array_pkg.ads206logstatsplain
-rw-r--r--uninit_func.adb268logstatsplain
-rw-r--r--valid1.adb460logstatsplain
-rw-r--r--valued_proc.adb259logstatsplain
-rw-r--r--valued_proc_pkg.ads443logstatsplain
-rw-r--r--varsize_copy.adb466logstatsplain
-rw-r--r--varsize_copy.ads629logstatsplain
-rw-r--r--varsize_temp.adb558logstatsplain
-rw-r--r--vect1.adb2821logstatsplain
-rw-r--r--vect1.ads1558logstatsplain
-rw-r--r--vect10.adb623logstatsplain
-rw-r--r--vect10.ads326logstatsplain
-rw-r--r--vect1_pkg.ads98logstatsplain
-rw-r--r--vect2.adb2821logstatsplain
-rw-r--r--vect2.ads1599logstatsplain
-rw-r--r--vect2_pkg.ads100logstatsplain
-rw-r--r--vect3.adb2821logstatsplain
-rw-r--r--vect3.ads1664logstatsplain
-rw-r--r--vect3_pkg.ads165logstatsplain
-rw-r--r--vect4.adb2971logstatsplain
-rw-r--r--vect4.ads1753logstatsplain
-rw-r--r--vect4_pkg.ads98logstatsplain
-rw-r--r--vect5.adb2971logstatsplain
-rw-r--r--vect5.ads1796logstatsplain
-rw-r--r--vect5_pkg.ads100logstatsplain
-rw-r--r--vect6.adb2971logstatsplain
-rw-r--r--vect6.ads1859logstatsplain
-rw-r--r--vect6_pkg.ads165logstatsplain
-rw-r--r--vect7.adb328logstatsplain
-rw-r--r--vect7.ads319logstatsplain
-rw-r--r--vect8.adb236logstatsplain
-rw-r--r--vect8.ads164logstatsplain
-rw-r--r--vect9.adb980logstatsplain
-rw-r--r--vect9.ads230logstatsplain
-rw-r--r--vect9_pkg.ads522logstatsplain
-rw-r--r--view_conversion1.adb1105logstatsplain
-rw-r--r--volatile1.ads447logstatsplain
-rw-r--r--volatile10.adb139logstatsplain
-rw-r--r--volatile10_pkg.ads537logstatsplain
-rw-r--r--volatile11.adb1051logstatsplain
-rw-r--r--volatile11_pkg.adb699logstatsplain
-rw-r--r--volatile11_pkg.ads475logstatsplain
-rw-r--r--volatile2.adb472logstatsplain
-rw-r--r--volatile2.ads267logstatsplain
-rw-r--r--volatile3.adb285logstatsplain
-rw-r--r--volatile4.adb323logstatsplain
-rw-r--r--volatile5.adb172logstatsplain
-rw-r--r--volatile5_pkg.ads156logstatsplain
-rw-r--r--volatile6.adb368logstatsplain
-rw-r--r--volatile7.adb430logstatsplain
-rw-r--r--volatile8.adb429logstatsplain
-rw-r--r--volatile9.adb403logstatsplain
-rw-r--r--volatile_aggregate.adb676logstatsplain
-rw-r--r--warn1.adb288logstatsplain
-rw-r--r--warn10.adb226logstatsplain
-rw-r--r--warn10.ads194logstatsplain
-rw-r--r--warn10_pkg.ads281logstatsplain
-rw-r--r--warn2.adb413logstatsplain
-rw-r--r--warn3.adb398logstatsplain
-rw-r--r--warn4.adb847logstatsplain
-rw-r--r--warn5.adb824logstatsplain
-rw-r--r--warn6.adb228logstatsplain
-rw-r--r--warn6.ads219logstatsplain
-rw-r--r--warn7.adb247logstatsplain
-rw-r--r--warn8.adb123logstatsplain
-rw-r--r--warn9.adb153logstatsplain
-rw-r--r--weak2.adb124logstatsplain
-rw-r--r--weak2.ads151logstatsplain
-rw-r--r--wide_boolean.adb389logstatsplain
-rw-r--r--wide_boolean_pkg.adb182logstatsplain
-rw-r--r--wide_boolean_pkg.ads512logstatsplain
-rw-r--r--wide_pi.adb117logstatsplain
-rw-r--r--wide_test.adb348logstatsplain