If the type is derived in the current compilation unit, and Allocate is not overridden on derivation (as is typically the case with Root_Storage_Pool_With_Subpools), the entity for Allocate of the derived type is an alias for System.Storage_Pools.Subpools.Allocate. The main assertion in gnat_to_gnu_entity fails in this case, since this is not a definition and Is_Public is false (since the entity is nested in the same compilation unit). 2020-03-11 Richard Wai <richard@annexi-strayline.com> * gcc-interface/decl.c (gnat_to_gnu_entity): Also test Is_Public on the Alias of the entitiy, if is present, in the main assertion.
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
Too many items to show. To preserve performance only 1,000 of 2,109 items are displayed. | ||
gcov | Loading commit data... | |
specs | Loading commit data... | |
sso | Loading commit data... | |
abe_pkg.adb | Loading commit data... | |
abe_pkg.ads | Loading commit data... | |
abstract1.adb | Loading commit data... | |
abstract1.ads | Loading commit data... | |
abstract_state1.adb | Loading commit data... | |
abstract_state1.ads | Loading commit data... | |
abstract_with_anonymous_result.adb | Loading commit data... | |
access1.adb | Loading commit data... | |
access2.adb | Loading commit data... | |
access3.adb | Loading commit data... | |
access3.ads | Loading commit data... | |
access4.adb | Loading commit data... | |
access5.adb | Loading commit data... | |
access5.ads | Loading commit data... | |
access6.adb | Loading commit data... | |
access7.adb | Loading commit data... | |
access8.adb | Loading commit data... | |
access8_pkg.adb | Loading commit data... | |
access8_pkg.ads | Loading commit data... | |
access9.adb | Loading commit data... | |
access_discr.adb | Loading commit data... | |
access_discr2.adb | Loading commit data... | |
access_func.adb | Loading commit data... | |
access_test.adb | Loading commit data... | |
addr1.adb | Loading commit data... | |
addr1.ads | Loading commit data... | |
addr10.adb | Loading commit data... | |
addr11.adb | Loading commit data... | |
addr12.adb | Loading commit data... | |
addr12_a.adb | Loading commit data... | |
addr12_a.ads | Loading commit data... | |
addr12_b.adb | Loading commit data... | |
addr12_b.ads | Loading commit data... | |
addr12_c.ads | Loading commit data... | |
addr13.adb | Loading commit data... | |
addr13.ads | Loading commit data... | |
addr14.adb | Loading commit data... | |
addr2.adb | Loading commit data... | |
addr2_p.adb | Loading commit data... | |
addr2_p.ads | Loading commit data... | |
addr3.adb | Loading commit data... | |
addr4.adb | Loading commit data... | |
addr5.adb | Loading commit data... | |
addr6.adb | Loading commit data... | |
addr7.adb | Loading commit data... | |
addr7.ads | Loading commit data... | |
addr8.adb | Loading commit data... | |
addr8.ads | Loading commit data... | |
addr9_1.adb | Loading commit data... | |
addr9_2.adb | Loading commit data... | |
addr9_3.adb | Loading commit data... | |
addr9_4.adb | Loading commit data... | |
addr_slice.adb | Loading commit data... | |
address_conv.adb | Loading commit data... | |
address_conversion.adb | Loading commit data... | |
address_null_init.ads | Loading commit data... | |
aggr1.adb | Loading commit data... | |
aggr10.adb | Loading commit data... | |
aggr10_pkg.ads | Loading commit data... | |
aggr11.adb | Loading commit data... | |
aggr11_pkg.ads | Loading commit data... | |
aggr12.adb | Loading commit data... | |
aggr12.ads | Loading commit data... | |
aggr13.adb | Loading commit data... | |
aggr14.adb | Loading commit data... | |
aggr14_pkg.adb | Loading commit data... | |
aggr14_pkg.ads | Loading commit data... | |
aggr15.adb | Loading commit data... | |
aggr15.ads | Loading commit data... | |
aggr16.adb | Loading commit data... | |
aggr16.ads | Loading commit data... | |
aggr16_pkg.ads | Loading commit data... | |
aggr17.adb | Loading commit data... | |
aggr18.adb | Loading commit data... | |
aggr19.adb | Loading commit data... | |
aggr19_pkg.adb | Loading commit data... | |
aggr19_pkg.ads | Loading commit data... | |
aggr2.adb | Loading commit data... | |
aggr20.adb | Loading commit data... | |
aggr20.ads | Loading commit data... | |
aggr20_pkg.ads | Loading commit data... | |
aggr21.adb | Loading commit data... | |
aggr21_pkg.adb | Loading commit data... | |
aggr21_pkg.ads | Loading commit data... | |
aggr22.adb | Loading commit data... | |
aggr22.ads | Loading commit data... | |
aggr23.adb | Loading commit data... | |
aggr23_q.adb | Loading commit data... | |
aggr23_tt.ads | Loading commit data... | |
aggr24.adb | Loading commit data... | |
aggr24_pkg.adb | Loading commit data... | |
aggr24_pkg.ads | Loading commit data... | |
aggr25.adb | Loading commit data... | |
aggr25.ads | Loading commit data... | |
aggr26.adb | Loading commit data... | |
aggr27.adb | Loading commit data... | |
aggr28.adb | Loading commit data... | |
aggr3.adb | Loading commit data... | |
aggr4.adb | Loading commit data... | |
aggr7.adb | Loading commit data... | |
aggr8.adb | Loading commit data... | |
aggr9.adb | Loading commit data... | |
aggr9.ads | Loading commit data... | |
aggr9_pkg.ads | Loading commit data... | |
ai12_0086_example.adb | Loading commit data... | |
aliased1.adb | Loading commit data... | |
aliased2.adb | Loading commit data... | |
aliased_prefix_accessibility.adb | Loading commit data... | |
aliasing1.adb | Loading commit data... | |
aliasing1.ads | Loading commit data... | |
aliasing2.adb | Loading commit data... | |
aliasing2.ads | Loading commit data... | |
aliasing3.adb | Loading commit data... | |
aliasing3_pkg.adb | Loading commit data... | |
aliasing3_pkg.ads | Loading commit data... | |
align_check.adb | Loading commit data... | |
align_max.adb | Loading commit data... | |
aligned_vla.adb | Loading commit data... | |
alignment1.adb | Loading commit data... | |
alignment10.adb | Loading commit data... | |
alignment11.adb | Loading commit data... | |
alignment12.adb | Loading commit data... | |
alignment13.adb | Loading commit data... | |
alignment14.adb | Loading commit data... | |
alignment15.adb | Loading commit data... | |
alignment2.adb | Loading commit data... | |
alignment3.adb | Loading commit data... | |
alignment4.adb | Loading commit data... | |
alignment5.adb | Loading commit data... | |
alignment6.adb | Loading commit data... | |
alignment7.adb | Loading commit data... | |
alignment8.adb | Loading commit data... | |
alignment9.adb | Loading commit data... | |
allocator.adb | Loading commit data... | |
allocator2.adb | Loading commit data... | |
allocator2.ads | Loading commit data... | |
allocator_maxalign1.adb | Loading commit data... | |
allocator_maxalign2.adb | Loading commit data... | |
allocator_maxalign2.ads | Loading commit data... | |
ancestor_type.adb | Loading commit data... | |
ancestor_type.ads | Loading commit data... | |
annotation1.adb | Loading commit data... | |
anon1.ads | Loading commit data... | |
anon2.adb | Loading commit data... | |
anon3.adb | Loading commit data... | |
anon3.ads | Loading commit data... | |
array1.adb | Loading commit data... | |
array1.ads | Loading commit data... | |
array10.adb | Loading commit data... | |
array11.adb | Loading commit data... | |
array12.adb | Loading commit data... | |
array13.adb | Loading commit data... | |
array13.ads | Loading commit data... | |
array14.adb | Loading commit data... | |
array14.ads | Loading commit data... | |
array14_pkg.ads | Loading commit data... | |
array15.adb | Loading commit data... | |
array15.ads | Loading commit data... | |
array16.adb | Loading commit data... | |
array16.ads | Loading commit data... | |
array16_pkg.ads | Loading commit data... | |
array17.adb | Loading commit data... | |
array17_pkg.ads | Loading commit data... | |
array18.adb | Loading commit data... | |
array18_pkg.ads | Loading commit data... | |
array19.adb | Loading commit data... | |
array19.ads | Loading commit data... | |
array2.ads | Loading commit data... | |
array20.adb | Loading commit data... | |
array20.ads | Loading commit data... | |
array21.adb | Loading commit data... | |
array22.adb | Loading commit data... | |
array23.adb | Loading commit data... | |
array23_pkg1.ads | Loading commit data... | |
array23_pkg2.ads | Loading commit data... | |
array23_pkg3.ads | Loading commit data... | |
array24.adb | Loading commit data... | |
array25.adb | Loading commit data... | |
array25_pkg.adb | Loading commit data... | |
array25_pkg.ads | Loading commit data... | |
array26.adb | Loading commit data... | |
array26_pkg.adb | Loading commit data... | |
array26_pkg.ads | Loading commit data... | |
array27.adb | Loading commit data... | |
array27_pkg.adb | Loading commit data... | |
array27_pkg.ads | Loading commit data... | |
array28.adb | Loading commit data... | |
array28_pkg.adb | Loading commit data... | |
array28_pkg.ads | Loading commit data... | |
array29.adb | Loading commit data... | |
array29.ads | Loading commit data... | |
array3.adb | Loading commit data... | |
array30.adb | Loading commit data... | |
array31.adb | Loading commit data... | |
array32.adb | Loading commit data... | |
array32.ads | Loading commit data... | |
array33.adb | Loading commit data... | |
array34.adb | Loading commit data... | |
array35.adb | Loading commit data... | |
array36.adb | Loading commit data... | |
array37.adb | Loading commit data... | |
array38.adb | Loading commit data... | |
array38_pkg.adb | Loading commit data... | |
array38_pkg.ads | Loading commit data... | |
array4.adb | Loading commit data... | |
array5.adb | Loading commit data... | |
array6.adb | Loading commit data... | |
array7.adb | Loading commit data... | |
array7.ads | Loading commit data... | |
array8.adb | Loading commit data... | |
array9.adb | Loading commit data... | |
array_bounds_test.adb | Loading commit data... | |
array_bounds_test2.adb | Loading commit data... | |
aspect1.adb | Loading commit data... | |
aspect1_horizontal.adb | Loading commit data... | |
aspect1_horizontal.ads | Loading commit data... | |
aspect1_vectors_2d.ads | Loading commit data... | |
aspect2.adb | Loading commit data... | |
aspect2.ads | Loading commit data... | |
assert.ads | Loading commit data... | |
assert1.adb | Loading commit data... | |
assert2.adb | Loading commit data... | |
assert2.ads | Loading commit data... | |
assertion_policy1.adb | Loading commit data... | |
assertion_policy1_pkg.adb | Loading commit data... | |
assertion_policy1_pkg.ads | Loading commit data... | |
assign_from_packed.adb | Loading commit data... | |
assign_from_packed_pixels.ads | Loading commit data... | |
asynch.adb | Loading commit data... | |
asynch.ads | Loading commit data... | |
atomic1.adb | Loading commit data... | |
atomic10.adb | Loading commit data... | |
atomic11.adb | Loading commit data... | |
atomic11_pkg1.ads | Loading commit data... | |
atomic11_pkg2.ads | Loading commit data... | |
atomic1_pkg.ads | Loading commit data... | |
atomic2.adb | Loading commit data... | |
atomic3.adb | Loading commit data... | |
atomic4.adb | Loading commit data... | |
atomic4.ads | Loading commit data... | |
atomic5.adb | Loading commit data... | |
atomic5.ads | Loading commit data... | |
atomic6_1.adb | Loading commit data... | |
atomic6_2.adb | Loading commit data... | |
atomic6_3.adb | Loading commit data... | |
atomic6_4.adb | Loading commit data... | |
atomic6_5.adb | Loading commit data... | |
atomic6_6.adb | Loading commit data... | |
atomic6_7.adb | Loading commit data... | |
atomic6_8.adb | Loading commit data... | |
atomic6_pkg.ads | Loading commit data... | |
atomic7_1.adb | Loading commit data... | |
atomic7_2.adb | Loading commit data... | |
atomic7_pkg1.ads | Loading commit data... | |
atomic7_pkg2.adb | Loading commit data... | |
atomic7_pkg2.ads | Loading commit data... | |
atomic8.adb | Loading commit data... | |
atomic9.adb | Loading commit data... | |
bad_array.adb | Loading commit data... | |
bias1.adb | Loading commit data... | |
biased_subtype.adb | Loading commit data... | |
biased_uc.adb | Loading commit data... | |
bip_aggregate_bug.adb | Loading commit data... | |
bip_case_expr.adb | Loading commit data... | |
bip_case_expr_pkg.ads | Loading commit data... | |
bip_cu.adb | Loading commit data... | |
bip_cu_constructor.adb | Loading commit data... | |
bip_cu_constructor.ads | Loading commit data... | |
bip_cu_t.adb | Loading commit data... | |
bip_cu_t.ads | Loading commit data... | |
bip_exception.adb | Loading commit data... | |
bip_exception.ads | Loading commit data... | |
bip_exception_pkg.ads | Loading commit data... | |
bip_export.adb | Loading commit data... | |
bip_export.ads | Loading commit data... | |
bip_overlay.adb | Loading commit data... | |
bip_overlay.ads | Loading commit data... | |
bip_prim_func.adb | Loading commit data... | |
bip_prim_func.ads | Loading commit data... | |
bit_order1.adb | Loading commit data... | |
bit_packed_array1.adb | Loading commit data... | |
bit_packed_array1.ads | Loading commit data... | |
bit_packed_array2.adb | Loading commit data... | |
bit_packed_array3.adb | Loading commit data... | |
bit_packed_array4.adb | Loading commit data... | |
bit_packed_array4.ads | Loading commit data... | |
bit_packed_array5.adb | Loading commit data... | |
bit_packed_array5.ads | Loading commit data... | |
blkextract_from_reg.adb | Loading commit data... | |
block_ext_return_assert_failure.adb | Loading commit data... | |
bltins.adb | Loading commit data... | |
boolean_bitfield.adb | Loading commit data... | |
boolean_conv.adb | Loading commit data... | |
boolean_expr1.adb | Loading commit data... | |
boolean_expr1.ads | Loading commit data... | |
boolean_expr2.adb | Loading commit data... | |
boolean_subtype1.adb | Loading commit data... | |
boolean_subtype2.adb | Loading commit data... | |
boolean_subtype2.ads | Loading commit data... | |
boolean_subtype2_pkg.ads | Loading commit data... | |
bug_elaboration_code.adb | Loading commit data... | |
bug_elaboration_code.ads | Loading commit data... | |
c_words.adb | Loading commit data... | |
c_words.ads | Loading commit data... | |
capture_value.adb | Loading commit data... | |
case_character.adb | Loading commit data... | |
case_null.adb | Loading commit data... | |
case_null.ads | Loading commit data... | |
case_optimization1.adb | Loading commit data... | |
case_optimization1.ads | Loading commit data... | |
case_optimization2.adb | Loading commit data... | |
case_optimization3.adb | Loading commit data... | |
case_optimization3.ads | Loading commit data... | |
case_optimization_pkg1.ads | Loading commit data... | |
case_optimization_pkg2.adb | Loading commit data... | |
case_optimization_pkg2.ads | Loading commit data... | |
casesi.adb | Loading commit data... | |
casesi.ads | Loading commit data... | |
check1.adb | Loading commit data... | |
check1.ads | Loading commit data... | |
check_displace_generation.adb | Loading commit data... | |
check_elaboration_code.adb | Loading commit data... | |
class_wide1.adb | Loading commit data... | |
class_wide2.adb | Loading commit data... | |
class_wide2.ads | Loading commit data... | |
class_wide3.adb | Loading commit data... | |
class_wide3_pkg.ads | Loading commit data... | |
class_wide4.adb | Loading commit data... | |
class_wide4_pkg.ads | Loading commit data... | |
class_wide4_pkg2.ads | Loading commit data... | |
class_wide5.adb | Loading commit data... | |
compile_time_error1.adb | Loading commit data... | |
compile_time_error1.ads | Loading commit data... | |
compile_time_error1_pkg.ads | Loading commit data... | |
complex1.adb | Loading commit data... | |
complex1_pkg.ads | Loading commit data... | |
component_size.adb | Loading commit data... | |
compose.adb | Loading commit data... | |
concat1.adb | Loading commit data... | |
concat1_pkg.adb | Loading commit data... | |
concat1_pkg.ads | Loading commit data... | |
concat2.adb | Loading commit data... | |
concat2.ads | Loading commit data... | |
concat3.adb | Loading commit data... | |
concat_length.adb | Loading commit data... | |
cond_expr1.adb | Loading commit data... | |
cond_expr2.adb | Loading commit data... | |
cond_expr2.ads | Loading commit data... | |
config_pragma1.adb | Loading commit data... | |
config_pragma1_pkg.ads | Loading commit data... | |
constant1.adb | Loading commit data... | |
constant2.adb | Loading commit data... | |
constant2_pkg1.ads | Loading commit data... | |
constant2_pkg2.adb | Loading commit data... | |
constant2_pkg2.ads | Loading commit data... | |
constant3.adb | Loading commit data... | |
constant4.adb | Loading commit data... | |
constant4_pkg.ads | Loading commit data... | |
containers1.adb | Loading commit data... | |
containers1.ads | Loading commit data... | |
contract1.adb | Loading commit data... | |
controlled1.ads | Loading commit data... | |
controlled2.adb | Loading commit data... | |
controlled2.ads | Loading commit data... | |
controlled3.ads | Loading commit data... | |
controlled4.adb | Loading commit data... | |
controlled4.ads | Loading commit data... | |
controlled5.adb | Loading commit data... | |
controlled5_pkg.adb | Loading commit data... | |
controlled5_pkg.ads | Loading commit data... | |
controlled6.adb | Loading commit data... | |
controlled6_pkg-iterators.adb | Loading commit data... | |
controlled6_pkg-iterators.ads | Loading commit data... | |
controlled6_pkg.ads | Loading commit data... | |
controlled7.adb | Loading commit data... | |
controlled7.ads | Loading commit data... | |
controlled8.adb | Loading commit data... | |
controlled_record.adb | Loading commit data... | |
controlled_record.ads | Loading commit data... | |
conv_bug.adb | Loading commit data... | |
conv_decimal.adb | Loading commit data... | |
conv_integer.adb | Loading commit data... | |
conv_real.adb | Loading commit data... | |
cpp_constructor.adb | Loading commit data... | |
cpp_constructor2.adb | Loading commit data... | |
cpp_constructor_fp.ads | Loading commit data... | |
cpp_constructor_useit.ads | Loading commit data... | |
curr_task.adb | Loading commit data... | |
debug1.ads | Loading commit data... | |
debug10.adb | Loading commit data... | |
debug10_pkg.ads | Loading commit data... | |
debug11.adb | Loading commit data... | |
debug11_pkg.adb | Loading commit data... | |
debug11_pkg.ads | Loading commit data... | |
debug11_pkg2.ads | Loading commit data... | |
debug12.adb | Loading commit data... | |
debug12.ads | Loading commit data... | |
debug13.adb | Loading commit data... | |
debug13.ads | Loading commit data... | |
debug14.adb | Loading commit data... | |
debug15.adb | Loading commit data... | |
debug2.adb | Loading commit data... | |
debug2.ads | Loading commit data... | |
debug2_pkg.ads | Loading commit data... | |
debug3.adb | Loading commit data... | |
debug3.ads | Loading commit data... | |
debug4.adb | Loading commit data... | |
debug4_pkg.adb | Loading commit data... | |
debug4_pkg.ads | Loading commit data... | |
debug5.adb | Loading commit data... | |
debug6.adb | Loading commit data... | |
debug6_pkg.ads | Loading commit data... | |
debug7.adb | Loading commit data... | |
debug7.ads | Loading commit data... | |
debug8.adb | Loading commit data... | |
debug9.adb | Loading commit data... | |
decl_ctx_def.ads | Loading commit data... | |
decl_ctx_use.adb | Loading commit data... | |
decl_ctx_use.ads | Loading commit data... | |
default_initial_condition.adb | Loading commit data... | |
default_initial_condition_pack.adb | Loading commit data... | |
default_initial_condition_pack.ads | Loading commit data... | |
default_pkg_actual.adb | Loading commit data... | |
default_pkg_actual2.adb | Loading commit data... | |
default_variants.adb | Loading commit data... | |
deferred_const1.adb | Loading commit data... | |
deferred_const2.adb | Loading commit data... | |
deferred_const2_pkg.adb | Loading commit data... | |
deferred_const2_pkg.ads | Loading commit data... | |
deferred_const3.adb | Loading commit data... | |
deferred_const3_pkg.adb | Loading commit data... | |
deferred_const3_pkg.ads | Loading commit data... | |
deferred_const4.adb | Loading commit data... | |
deferred_const4.ads | Loading commit data... | |
deferred_const4_pkg.ads | Loading commit data... | |
delta_aggr.adb | Loading commit data... | |
deques.ads | Loading commit data... | |
deref1.ads | Loading commit data... | |
deref2.ads | Loading commit data... | |
deref3.adb | Loading commit data... | |
derived_aggregate.adb | Loading commit data... | |
derived_type1.adb | Loading commit data... | |
derived_type2.adb | Loading commit data... | |
derived_type3.adb | Loading commit data... | |
derived_type3_pkg.adb | Loading commit data... | |
derived_type3_pkg.ads | Loading commit data... | |
derived_type4.adb | Loading commit data... | |
derived_type5.adb | Loading commit data... | |
derived_type5_pkg.ads | Loading commit data... | |
derived_type6.adb | Loading commit data... | |
derived_type6.ads | Loading commit data... | |
dflt_init_cond.adb | Loading commit data... | |
dflt_init_cond_pkg.ads | Loading commit data... | |
dg.exp | Loading commit data... | |
dimensions.adb | Loading commit data... | |
dimensions.ads | Loading commit data... | |
dimensions2.adb | Loading commit data... | |
dimensions2_phys.ads | Loading commit data... | |
dimensions2_real_numbers.ads | Loading commit data... | |
dinst.adb | Loading commit data... | |
dinst_pkg.adb | Loading commit data... | |
dinst_pkg.ads | Loading commit data... | |
discr1.ads | Loading commit data... | |
discr10.adb | Loading commit data... | |
discr10.ads | Loading commit data... | |
discr11.adb | Loading commit data... | |
discr11.ads | Loading commit data... | |
discr11_pkg.ads | Loading commit data... | |
discr12.adb | Loading commit data... | |
discr12_pkg.ads | Loading commit data... | |
discr13.adb | Loading commit data... | |
discr14.adb | Loading commit data... | |
discr14.ads | Loading commit data... | |
discr15.adb | Loading commit data... | |
discr15_pkg.ads | Loading commit data... | |
discr16.adb | Loading commit data... | |
discr16_cont.ads | Loading commit data... | |
discr16_g.ads | Loading commit data... | |
discr16_pkg.ads | Loading commit data... | |
discr17.adb | Loading commit data... | |
discr18.adb | Loading commit data... | |
discr18_pkg.ads | Loading commit data... | |
discr19.adb | Loading commit data... | |
discr2.adb | Loading commit data... | |
discr2.ads | Loading commit data... | |
discr20.adb | Loading commit data... | |
discr20.ads | Loading commit data... | |
discr21.adb | Loading commit data... | |
discr21.ads | Loading commit data... | |
discr21_pkg.ads | Loading commit data... | |
discr22.adb | Loading commit data... | |
discr23.adb | Loading commit data... | |
discr23.ads | Loading commit data... | |
discr23_pkg.ads | Loading commit data... | |
discr24.adb | Loading commit data... | |
discr25.adb | Loading commit data... | |
discr25_pkg.adb | Loading commit data... | |
discr25_pkg.ads | Loading commit data... | |
discr26.adb | Loading commit data... | |
discr26.ads | Loading commit data... | |
discr26_pkg.ads | Loading commit data... | |
discr27.adb | Loading commit data... | |
discr27.ads | Loading commit data... | |
discr28.adb | Loading commit data... | |
discr28.ads | Loading commit data... | |
discr28_pkg.ads | Loading commit data... | |
discr29.adb | Loading commit data... | |
discr29.ads | Loading commit data... | |
discr3.ads | Loading commit data... | |
discr30.adb | Loading commit data... | |
discr31.adb | Loading commit data... | |
discr31.ads | Loading commit data... | |
discr32.adb | Loading commit data... | |
discr32_pkg.ads | Loading commit data... | |
discr33.adb | Loading commit data... | |
discr34.adb | Loading commit data... | |
discr34_pkg.ads | Loading commit data... | |
discr35.adb | Loading commit data... | |
discr35.ads | Loading commit data... | |
discr36.adb | Loading commit data... | |
discr36.ads | Loading commit data... | |
discr36_pkg.adb | Loading commit data... | |
discr36_pkg.ads | Loading commit data... | |
discr37.adb | Loading commit data... | |
discr37.ads | Loading commit data... | |
discr38.adb | Loading commit data... | |
discr39.adb | Loading commit data... | |
discr4.adb | Loading commit data... | |
discr40.adb | Loading commit data... | |
discr40.ads | Loading commit data... | |
discr41.adb | Loading commit data... | |
discr41.ads | Loading commit data... | |
discr42.adb | Loading commit data... | |
discr42_pkg.adb | Loading commit data... | |
discr42_pkg.ads | Loading commit data... | |
discr43.adb | Loading commit data... | |
discr44.adb | Loading commit data... | |
discr45.adb | Loading commit data... | |
discr46.adb | Loading commit data... | |
discr46.ads | Loading commit data... | |
discr47.adb | Loading commit data... | |
discr48.adb | Loading commit data... | |
discr48_pkg.ads | Loading commit data... | |
discr49.adb | Loading commit data... | |
discr49_rec1.adb | Loading commit data... | |
discr49_rec1.ads | Loading commit data... | |
discr49_rec2.adb | Loading commit data... | |
discr49_rec2.ads | Loading commit data... | |
discr5.adb | Loading commit data... | |
discr50.adb | Loading commit data... | |
discr51.adb | Loading commit data... | |
discr52.adb | Loading commit data... | |
discr53.adb | Loading commit data... | |
discr53.ads | Loading commit data... | |
discr53_pkg.ads | Loading commit data... | |
discr54.adb | Loading commit data... | |
discr54_pkg.ads | Loading commit data... | |
discr55.adb | Loading commit data... | |
discr56.adb | Loading commit data... | |
discr56.ads | Loading commit data... | |
discr56_pkg1.adb | Loading commit data... | |
discr56_pkg1.ads | Loading commit data... | |
discr56_pkg2.ads | Loading commit data... | |
discr57.adb | Loading commit data... | |
discr58.adb | Loading commit data... | |
discr7.adb | Loading commit data... | |
discr8.adb | Loading commit data... | |
discr8.ads | Loading commit data... | |
discr8_pkg1.ads | Loading commit data... | |
discr8_pkg2.ads | Loading commit data... | |
discr8_pkg3.ads | Loading commit data... | |
discr9.adb | Loading commit data... | |
discr9.ads | Loading commit data... | |
discr_range_check.adb | Loading commit data... | |
discr_test.adb | Loading commit data... | |
discr_test2.adb | Loading commit data... | |
disp1.adb | Loading commit data... | |
disp1_pkg.ads | Loading commit data... | |
disp2.adb | Loading commit data... | |
disp2_pkg.adb | Loading commit data... | |
disp2_pkg.ads | Loading commit data... | |
div_no_warning.adb | Loading commit data... | |
dse_step.adb | Loading commit data... | |
dse_step.ads | Loading commit data... | |
dynamic_bound.adb | Loading commit data... | |
dynamic_elab1.adb | Loading commit data... | |
dynamic_elab1.ads | Loading commit data... | |
dynamic_elab2.adb | Loading commit data... | |
dynamic_elab2.ads | Loading commit data... | |
dynamic_elab_pkg.ads | Loading commit data... | |
dynhash.adb | Loading commit data... | |
dynhash1.adb | Loading commit data... | |
elab1.ads | Loading commit data... | |
elab2.adb | Loading commit data... | |
elab3.adb | Loading commit data... | |
elab3.ads | Loading commit data... | |
elab3_pkg.adb | Loading commit data... | |
elab3_pkg.ads | Loading commit data... | |
elab4.adb | Loading commit data... | |
elab4_pkg.adb | Loading commit data... | |
elab4_pkg.ads | Loading commit data... | |
elab5.adb | Loading commit data... | |
elab5_pkg.adb | Loading commit data... | |
elab5_pkg.ads | Loading commit data... | |
elab6.adb | Loading commit data... | |
elab6.ads | Loading commit data... | |
elab6_pkg.adb | Loading commit data... | |
elab6_pkg.ads | Loading commit data... | |
elab7.adb | Loading commit data... | |
elab7_pkg1.adb | Loading commit data... | |
elab7_pkg1.ads | Loading commit data... | |
elab7_pkg2.adb | Loading commit data... | |
elab7_pkg2.ads | Loading commit data... | |
elab8.adb | Loading commit data... | |
elab8_gen.adb | Loading commit data... | |
elab8_gen.ads | Loading commit data... | |
elab8_pkg.adb | Loading commit data... | |
elab8_pkg.ads | Loading commit data... | |
elim1.adb | Loading commit data... | |
elim1.ads | Loading commit data... | |
elim2.adb | Loading commit data... | |
empty_vector_length.adb | Loading commit data... | |
enclosing_record_reference.adb | Loading commit data... | |
enclosing_record_reference.ads | Loading commit data... | |
encode_string1.adb | Loading commit data... | |
encode_string1_pkg.adb | Loading commit data... | |
encode_string1_pkg.ads | Loading commit data... | |
entry1.adb | Loading commit data... | |
entry1.ads | Loading commit data... | |
entry_family.adb | Loading commit data... | |
entry_queues.adb | Loading commit data... | |
entry_queues2.adb | Loading commit data... | |
entry_queues3.adb | Loading commit data... | |
enum1.adb | Loading commit data... | |
enum1_pkg.ads | Loading commit data... | |
enum2.adb | Loading commit data... | |
enum2_pkg.ads | Loading commit data... | |
enum3.adb | Loading commit data... | |
enum4.adb | Loading commit data... | |
enum5.adb | Loading commit data... | |
enum_rep.adb | Loading commit data... | |
enum_rep.ads | Loading commit data... | |
enum_val1.adb | Loading commit data... | |
env_compile_capacity.adb | Loading commit data... | |
env_compile_capacity.ads | Loading commit data... | |
equal1.ads | Loading commit data... | |
equal10.adb | Loading commit data... | |
equal10.ads | Loading commit data... | |
equal11.adb | Loading commit data... | |
equal11_interface.ads | Loading commit data... | |
equal11_record.adb | Loading commit data... | |
equal11_record.ads | Loading commit data... | |
equal2.adb | Loading commit data... | |
equal3.adb | Loading commit data... | |
equal4.adb | Loading commit data... | |
equal4.ads | Loading commit data... | |
equal4_controlled_filter.ads | Loading commit data... | |
equal4_full_selector_filter.ads | Loading commit data... | |
equal4_smart_pointers.ads | Loading commit data... | |
equal5.adb | Loading commit data... | |
equal5.ads | Loading commit data... | |
equal6.adb | Loading commit data... | |
equal6_types.adb | Loading commit data... | |
equal6_types.ads | Loading commit data... | |
equal7.adb | Loading commit data... | |
equal7_pkg.adb | Loading commit data... | |
equal7_pkg.ads | Loading commit data... | |
equal8.adb | Loading commit data... | |
equal8.ads | Loading commit data... | |
equal8_pkg.ads | Loading commit data... | |
equal9.adb | Loading commit data... | |
equal_access.adb | Loading commit data... | |
exit1.adb | Loading commit data... | |
exp0_eval.adb | Loading commit data... | |
expect1.adb | Loading commit data... | |
expect2.adb | Loading commit data... | |
expect2_pkg.ads | Loading commit data... | |
expect3.adb | Loading commit data... | |
expect4.adb | Loading commit data... | |
expr_func2.adb | Loading commit data... | |
expr_func2.ads | Loading commit data... | |
expr_func3.adb | Loading commit data... | |
expr_func3.ads | Loading commit data... | |
expr_func4.adb | Loading commit data... | |
expr_func5.adb | Loading commit data... | |
expr_func6.adb | Loading commit data... | |
expr_func6.ads | Loading commit data... | |
expr_func7.adb | Loading commit data... | |
expr_func7.ads | Loading commit data... | |
expr_func8.adb | Loading commit data... | |
expr_func9.adb | Loading commit data... | |
expr_func_main.adb | Loading commit data... | |
expr_func_pkg.adb | Loading commit data... | |
expr_func_pkg.ads | Loading commit data... | |
ext1.ads | Loading commit data... | |
fatp_sra.adb | Loading commit data... | |
finalized.adb | Loading commit data... | |
fixce.adb | Loading commit data... | |
fixed_delete.adb | Loading commit data... | |
fixedpnt.adb | Loading commit data... | |
fixedpnt2.adb | Loading commit data... | |
fixedpnt2.ads | Loading commit data... | |
fixedpnt3.adb | Loading commit data... | |
fixedpnt4.adb | Loading commit data... | |
fixedpnt5.adb | Loading commit data... | |
fixedpnt6.adb | Loading commit data... | |
fixedpnt7.adb | Loading commit data... | |
fixedpnt8.adb | Loading commit data... | |
float_attributes_overflows.adb | Loading commit data... | |
float_value1.adb | Loading commit data... | |
float_value2.adb | Loading commit data... | |
formal_containers.adb | Loading commit data... | |
forward_anon.adb | Loading commit data... | |
forward_anon.ads | Loading commit data... | |
forward_vla.adb | Loading commit data... | |
fp_exception.adb | Loading commit data... | |
frame_overflow.adb | Loading commit data... | |
frame_overflow.ads | Loading commit data... | |
frame_overflow2.adb | Loading commit data... | |
freezing1.adb | Loading commit data... | |
freezing1.ads | Loading commit data... | |
freezing1_pack.adb | Loading commit data... | |
freezing1_pack.ads | Loading commit data... | |
frunaligned.adb | Loading commit data... | |
frunaligned1.ads | Loading commit data... | |
g_tables.adb | Loading commit data... | |
g_tables.ads | Loading commit data... | |
gen_disp.adb | Loading commit data... | |
gen_disp.ads | Loading commit data... | |
gen_formal_pkg.adb | Loading commit data... | |
gen_formal_pkg_a.ads | Loading commit data... | |
gen_formal_pkg_b.ads | Loading commit data... | |
gen_formal_pkg_w.ads | Loading commit data... | |
generic2-child.ads | Loading commit data... | |
generic2-io_any.adb | Loading commit data... | |
generic2-io_any.ads | Loading commit data... | |
generic2.ads | Loading commit data... | |
generic_actuals.adb | Loading commit data... | |
generic_call_cw.adb | Loading commit data... | |
generic_call_iface.adb | Loading commit data... | |
generic_disp.adb | Loading commit data... | |
generic_disp_pkg.adb | Loading commit data... | |
generic_disp_pkg.ads | Loading commit data... | |
generic_inst10.adb | Loading commit data... | |
generic_inst10_pkg.ads | Loading commit data... | |
generic_inst11.adb | Loading commit data... | |
generic_inst11_pkg.adb | Loading commit data... | |
generic_inst11_pkg.ads | Loading commit data... | |
generic_inst12.adb | Loading commit data... | |
generic_inst12_pkg1.adb | Loading commit data... | |
generic_inst12_pkg1.ads | Loading commit data... | |
generic_inst12_pkg2.ads | Loading commit data... | |
generic_inst13.adb | Loading commit data... | |
generic_inst13_pkg-nested_g.ads | Loading commit data... | |
generic_inst13_pkg-ops_g.ads | Loading commit data... | |
generic_inst13_pkg.ads | Loading commit data... | |
generic_inst2.adb | Loading commit data... | |
generic_inst2.ads | Loading commit data... | |
generic_inst2_c.ads | Loading commit data... | |
generic_inst3.adb | Loading commit data... | |
generic_inst3_kafka_lib-topic.ads | Loading commit data... | |
generic_inst3_kafka_lib.ads | Loading commit data... | |
generic_inst3_markets.ads | Loading commit data... | |
generic_inst3_traits-encodables.ads | Loading commit data... | |
generic_inst3_traits.ads | Loading commit data... | |
generic_inst4.adb | Loading commit data... | |
generic_inst4_gen.ads | Loading commit data... | |
generic_inst4_inst.ads | Loading commit data... | |
generic_inst4_typ.ads | Loading commit data... | |
generic_inst5.adb | Loading commit data... | |
generic_inst6.adb | Loading commit data... | |
generic_inst6_g1-c.adb | Loading commit data... | |
generic_inst6_g1-c.ads | Loading commit data... | |
generic_inst6_g1.ads | Loading commit data... | |
generic_inst6_i1.ads | Loading commit data... | |
generic_inst6_i2.ads | Loading commit data... | |
generic_inst6_x.ads | Loading commit data... | |
generic_inst7.adb | Loading commit data... | |
generic_inst7_pkg.adb | Loading commit data... | |
generic_inst7_pkg.ads | Loading commit data... | |
generic_inst7_types.ads | Loading commit data... | |
generic_inst8.adb | Loading commit data... | |
generic_inst8.ads | Loading commit data... | |
generic_inst8_g.adb | Loading commit data... | |
generic_inst8_g.ads | Loading commit data... | |
generic_inst9.adb | Loading commit data... | |
generic_inst9.ads | Loading commit data... | |
generic_inst9_pkg1-operator.ads | Loading commit data... | |
generic_inst9_pkg1.ads | Loading commit data... | |
generic_inst9_pkg2.adb | Loading commit data... | |
generic_inst9_pkg2.ads | Loading commit data... | |
generic_pkg.adb | Loading commit data... | |
ghost1.adb | Loading commit data... | |
ghost1.ads | Loading commit data... | |
ghost2.adb | Loading commit data... | |
ghost2.ads | Loading commit data... | |
ghost3.adb | Loading commit data... | |
ghost3.ads | Loading commit data... | |
ghost4.adb | Loading commit data... | |
ghost5.adb | Loading commit data... | |
ghost5.ads | Loading commit data... | |
ghost5_parent.ads | Loading commit data... | |
ghost6.adb | Loading commit data... | |
ghost6_pkg.ads | Loading commit data... | |
ghost7.adb | Loading commit data... | |
ghost7.ads | Loading commit data... | |
global.adb | Loading commit data... | |
global.ads | Loading commit data... | |
global2.adb | Loading commit data... | |
global2.ads | Loading commit data... | |
gnat_array_split1.adb | Loading commit data... | |
gnat_array_split1.ads | Loading commit data... | |
gnat_malloc.adb | Loading commit data... | |
gnatg.adb | Loading commit data... | |
graphic.adb | Loading commit data... | |
graphic.ads | Loading commit data... | |
handle_and_return.adb | Loading commit data... | |
handle_raise_from_pure.adb | Loading commit data... | |
hyper_flat.adb | Loading commit data... | |
ice_type.adb | Loading commit data... | |
ice_types.ads | Loading commit data... | |
iface1.ads | Loading commit data... | |
iface2.adb | Loading commit data... | |
iface2.ads | Loading commit data... | |
iface_test.adb | Loading commit data... | |
iface_test.ads | Loading commit data... | |
ifaces.adb | Loading commit data... | |
ifaces.ads | Loading commit data... | |
image1.adb | Loading commit data... | |
implicit_param.adb | Loading commit data... | |
implicit_param_pkg.ads | Loading commit data... | |
import1.adb | Loading commit data... | |
import1.ads | Loading commit data... | |
import2.adb | Loading commit data... | |
in_mod_conv.adb | Loading commit data... | |
in_out_parameter.adb | Loading commit data... | |
in_out_parameter2.adb | Loading commit data... | |
in_out_parameter3.adb | Loading commit data... | |
in_out_parameter4.adb | Loading commit data... | |
include.adb | Loading commit data... | |
incomplete1.ads | Loading commit data... | |
incomplete2.adb | Loading commit data... | |
incomplete2.ads | Loading commit data... | |
incomplete3.adb | Loading commit data... | |
incomplete3.ads | Loading commit data... | |
incomplete4.adb | Loading commit data... | |
incomplete4_pkg.ads | Loading commit data... | |
incomplete5.adb | Loading commit data... | |
incomplete5.ads | Loading commit data... | |
incomplete5_pkg.adb | Loading commit data... | |
incomplete5_pkg.ads | Loading commit data... | |
incomplete6.adb | Loading commit data... | |
incomplete6.ads | Loading commit data... | |
incomplete7.adb | Loading commit data... | |
incomplete7.ads | Loading commit data... | |
init_scalar1.adb | Loading commit data... | |
initializes.adb | Loading commit data... | |
initializes.ads | Loading commit data... | |
inline1.adb | Loading commit data... | |
inline10.adb | Loading commit data... | |
inline10_pkg.adb | Loading commit data... | |
inline10_pkg.ads | Loading commit data... | |
inline11.adb | Loading commit data... | |
inline11_pkg.adb | Loading commit data... | |
inline11_pkg.ads | Loading commit data... | |
inline12.adb | Loading commit data... | |
inline13.adb | Loading commit data... | |
inline13.ads | Loading commit data... | |
inline13_pkg.adb | Loading commit data... | |
inline13_pkg.ads | Loading commit data... | |
inline14.adb | Loading commit data... | |
inline14_pkg.adb | Loading commit data... | |
inline14_pkg.ads | Loading commit data... | |
inline15.adb | Loading commit data... | |
inline15_gen.adb | Loading commit data... | |
inline15_gen.ads | Loading commit data... | |
inline15_types.ads | Loading commit data... | |
inline16.adb | Loading commit data... | |
inline16_gen.adb | Loading commit data... | |
inline16_gen.ads | Loading commit data... | |
inline16_types.ads | Loading commit data... | |
inline17.adb | Loading commit data... | |
inline17_pkg1.adb | Loading commit data... | |
inline17_pkg1.ads | Loading commit data... | |
inline17_pkg2.ads | Loading commit data... | |
inline17_pkg3.adb | Loading commit data... | |
inline17_pkg3.ads | Loading commit data... | |
inline18.adb | Loading commit data... | |
inline18.ads | Loading commit data... | |
inline18_gen1-inner_g.ads | Loading commit data... | |
inline18_gen1.adb | Loading commit data... | |
inline18_gen1.ads | Loading commit data... | |
inline18_gen2.adb | Loading commit data... | |
inline18_gen2.ads | Loading commit data... | |
inline18_gen3.adb | Loading commit data... | |
inline18_gen3.ads | Loading commit data... | |
inline18_pkg1.adb | Loading commit data... | |
inline18_pkg1.ads | Loading commit data... | |
inline18_pkg2-child.ads | Loading commit data... | |
inline18_pkg2.ads | Loading commit data... | |
inline19.adb | Loading commit data... | |
inline19.ads | Loading commit data... | |
inline1_pkg.adb | Loading commit data... | |
inline1_pkg.ads | Loading commit data... | |
inline2.adb | Loading commit data... | |
inline20.adb | Loading commit data... | |
inline20_g.adb | Loading commit data... | |
inline20_g.ads | Loading commit data... | |
inline20_h.ads | Loading commit data... | |
inline20_i.ads | Loading commit data... | |
inline20_q-io.ads | Loading commit data... | |
inline20_q.ads | Loading commit data... | |
inline20_r.ads | Loading commit data... | |
inline21.adb | Loading commit data... | |
inline21_g.ads | Loading commit data... | |
inline21_h.adb | Loading commit data... | |
inline21_h.ads | Loading commit data... | |
inline21_q.ads | Loading commit data... | |
inline2_pkg.adb | Loading commit data... | |
inline2_pkg.ads | Loading commit data... | |
inline3.adb | Loading commit data... | |
inline3_pkg.adb | Loading commit data... | |
inline3_pkg.ads | Loading commit data... | |
inline4.adb | Loading commit data... | |
inline4_pkg.adb | Loading commit data... | |
inline4_pkg.ads | Loading commit data... | |
inline5.adb | Loading commit data... | |
inline5_pkg.adb | Loading commit data... | |
inline5_pkg.ads | Loading commit data... | |
inline6.adb | Loading commit data... | |
inline6_pkg.adb | Loading commit data... | |
inline6_pkg.ads | Loading commit data... | |
inline7.adb | Loading commit data... | |
inline7_pkg1.adb | Loading commit data... | |
inline7_pkg1.ads | Loading commit data... | |
inline7_pkg2.adb | Loading commit data... | |
inline7_pkg2.ads | Loading commit data... | |
inline8.adb | Loading commit data... | |
inline8_pkg1.adb | Loading commit data... | |
inline8_pkg1.ads | Loading commit data... | |
inline8_pkg2.adb | Loading commit data... | |
inline8_pkg2.ads | Loading commit data... | |
inline9.adb | Loading commit data... | |
inline9_pkg.adb | Loading commit data... | |
inline9_pkg.ads | Loading commit data... | |
inline_always1.adb | Loading commit data... | |
inline_scope.adb | Loading commit data... | |
inline_scope_p.adb | Loading commit data... | |
inline_scope_p.ads | Loading commit data... | |
inline_tagged.adb | Loading commit data... | |
interface1.adb | Loading commit data... | |
interface10.adb | Loading commit data... | |
interface2.adb | Loading commit data... | |
interface3.adb | Loading commit data... | |
interface4.adb | Loading commit data... | |
interface5.adb | Loading commit data... | |
interface5.ads | Loading commit data... | |
interface6.adb | Loading commit data... | |
interface7.adb | Loading commit data... | |
interface8.adb | Loading commit data... | |
interface8.ads | Loading commit data... | |
interface9.adb | Loading commit data... | |
interface9_root-child.ads | Loading commit data... | |
interface9_root.ads | Loading commit data... | |
interface_conv.adb | Loading commit data... | |
invalid1.adb | Loading commit data... | |
invariant_index.adb | Loading commit data... | |
invariant_index.ads | Loading commit data... | |
iprot_test.adb | Loading commit data... | |
iter1.adb | Loading commit data... | |
iter1.ads | Loading commit data... | |
iter2.adb | Loading commit data... | |
iter2.ads | Loading commit data... | |
iter3.adb | Loading commit data... | |
iter4.adb | Loading commit data... | |
iter5.adb | Loading commit data... | |
iter5_pkg.ads | Loading commit data... | |
iter6.adb | Loading commit data... | |
itype.adb | Loading commit data... | |
itype.ads | Loading commit data... | |
itypes.adb | Loading commit data... | |
itypes.ads | Loading commit data... | |
kill_value.adb | Loading commit data... | |
langdw2.adb | Loading commit data... | |
langdw3.adb | Loading commit data... | |
late_overriding.adb | Loading commit data... | |
layered_abstraction.adb | Loading commit data... | |
layered_abstraction.ads | Loading commit data... | |
layered_abstraction_p.ads | Loading commit data... | |
layered_instance.adb | Loading commit data... | |
lhs_view_convert.adb | Loading commit data... | |
limited1.adb | Loading commit data... | |
limited1_inner.adb | Loading commit data... | |
limited1_inner.ads | Loading commit data... | |
limited1_outer.adb | Loading commit data... | |
limited1_outer.ads | Loading commit data... | |
limited2.adb | Loading commit data... |