Index of /image/photo/gcc-12.3.0/gcc/testsuite/gnat.dg/specs

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] vfa2.ads                2023-05-08 14:14  2.4K  
[   ] rep_clause5.ads         2023-05-08 14:14  2.1K  
[   ] oversize.ads            2023-05-08 14:14  1.8K  
[   ] clause_on_volatile.ads  2023-05-08 14:14  1.7K  
[   ] size_clause3.ads        2023-05-08 14:14  1.3K  
[   ] size_clause2.ads        2023-05-08 14:14  1.3K  
[   ] size_clause1.ads        2023-05-08 14:14  1.2K  
[   ] discr2.ads              2023-05-08 14:14  1.1K  
[   ] discr5.ads              2023-05-08 14:14  1.1K  
[   ] alignment2.ads          2023-05-08 14:14  1.1K  
[   ] specs.exp               2023-05-08 14:14  1.1K  
[   ] with_containers.ads     2023-05-08 14:14  1.0K  
[   ] rep_clause3.ads         2023-05-08 14:14  864   
[   ] pack3.ads               2023-05-08 14:14  856   
[   ] controlled1.ads         2023-05-08 14:14  822   
[   ] atomic3.ads             2023-05-08 14:14  773   
[   ] pack33.ads              2023-05-08 14:14  736   
[   ] access3.ads             2023-05-08 14:14  735   
[   ] rep_clause4.ads         2023-05-08 14:14  724   
[   ] empty_variants.ads      2023-05-08 14:14  622   
[   ] varsize_return_pkg1.ads 2023-05-08 14:14  605   
[   ] ai_116.ads              2023-05-08 14:14  602   
[   ] opt5.ads                2023-05-08 14:14  582   
[   ] unchecked_union2.ads    2023-05-08 14:14  569   
[   ] uc1.ads                 2023-05-08 14:14  552   
[   ] lto3_pkg1.ads           2023-05-08 14:14  549   
[   ] discr4_pkg.ads          2023-05-08 14:14  548   
[   ] tag2.ads                2023-05-08 14:14  542   
[   ] linker_section.ads      2023-05-08 14:14  538   
[   ] static_initializer3.ads 2023-05-08 14:14  536   
[   ] atomic2.ads             2023-05-08 14:14  523   
[   ] opt4.ads                2023-05-08 14:14  520   
[   ] sso2.ads                2023-05-08 14:14  517   
[   ] sso1.ads                2023-05-08 14:14  516   
[   ] noinline1.ads           2023-05-08 14:14  509   
[   ] discr3.ads              2023-05-08 14:14  501   
[   ] last_bit.ads            2023-05-08 14:14  496   
[   ] limited_with4.ads       2023-05-08 14:14  494   
[   ] static_initializer2.ads 2023-05-08 14:14  491   
[   ] double_record_extens..> 2023-05-08 14:14  484   
[   ] debug1.ads              2023-05-08 14:14  480   
[   ] aggr6.ads               2023-05-08 14:14  470   
[   ] constant1.ads           2023-05-08 14:14  461   
[   ] aggr4_pkg.ads           2023-05-08 14:14  460   
[   ] opt1.ads                2023-05-08 14:14  456   
[   ] elab2_pkg.ads           2023-05-08 14:14  448   
[   ] pack6.ads               2023-05-08 14:14  445   
[   ] varsize_return_pkg1.adb 2023-05-08 14:14  443   
[   ] unchecked_union1.ads    2023-05-08 14:14  434   
[   ] discr4.ads              2023-05-08 14:14  433   
[   ] unchecked_convert1.ads  2023-05-08 14:14  432   
[   ] elab1.ads               2023-05-08 14:14  431   
[   ] null_aggr_bug.ads       2023-05-08 14:14  430   
[   ] lto3_pkg1.adb           2023-05-08 14:14  421   
[   ] double_record_extens..> 2023-05-08 14:14  417   
[   ] renaming2_pkg4.ads      2023-05-08 14:14  413   
[   ] unchecked_convert2.ads  2023-05-08 14:14  407   
[   ] renaming1.ads           2023-05-08 14:14  407   
[   ] discr6.ads              2023-05-08 14:14  404   
[   ] pack13.ads              2023-05-08 14:14  403   
[   ] private_with.ads        2023-05-08 14:14  402   
[   ] pack11.ads              2023-05-08 14:14  402   
[   ] controller.ads          2023-05-08 14:14  402   
[   ] renaming2_pkg3.ads      2023-05-08 14:14  400   
[   ] volatile1.ads           2023-05-08 14:14  397   
[   ] formal_type.ads         2023-05-08 14:14  396   
[   ] rep_clause1.ads         2023-05-08 14:14  393   
[   ] static_initializer5_..> 2023-05-08 14:14  392   
[   ] abstract_private.ads    2023-05-08 14:14  389   
[   ] sync_iface_test.ads     2023-05-08 14:14  377   
[   ] renaming2_pkg1.ads      2023-05-08 14:14  372   
[   ] array3.ads              2023-05-08 14:14  368   
[   ] limited_with4_pkg.ads   2023-05-08 14:14  358   
[   ] loop_optimization1_p..> 2023-05-08 14:14  355   
[   ] uc2.ads                 2023-05-08 14:14  354   
[   ] root-level_1.ads        2023-05-08 14:14  353   
[   ] size_clause4.ads        2023-05-08 14:14  350   
[   ] atomic1.ads             2023-05-08 14:14  349   
[   ] size_attribute1.ads     2023-05-08 14:14  346   
[   ] array4.ads              2023-05-08 14:14  345   
[   ] varsize_return2_pkg.ads 2023-05-08 14:14  342   
[   ] elab2.ads               2023-05-08 14:14  336   
[   ] loop_optimization1.ads  2023-05-08 14:14  333   
[   ] discr1_pkg.ads          2023-05-08 14:14  332   
[   ] static_initializer.ads  2023-05-08 14:14  331   
[   ] opt5_pkg.ads            2023-05-08 14:14  331   
[   ] gnati.ads               2023-05-08 14:14  322   
[   ] noinline3_pkg.adb       2023-05-08 14:14  320   
[   ] oconst6.ads             2023-05-08 14:14  313   
[   ] size_clause5.ads        2023-05-08 14:14  312   
[   ] pack8.ads               2023-05-08 14:14  311   
[   ] double_record_extens..> 2023-05-08 14:14  309   
[   ] pack10.ads              2023-05-08 14:14  305   
[   ] no_streams.ads          2023-05-08 14:14  304   
[   ] loop_optimization1_p..> 2023-05-08 14:14  302   
[   ] access_constant.ads     2023-05-08 14:14  298   
[   ] task1.ads               2023-05-08 14:14  297   
[   ] pack12.ads              2023-05-08 14:14  296   
[   ] elab3.ads               2023-05-08 14:14  295   
[   ] constructor.ads         2023-05-08 14:14  295   
[   ] varsize_return2_pkg.adb 2023-05-08 14:14  294   
[   ] storage.ads             2023-05-08 14:14  294   
[   ] static_initializer5.ads 2023-05-08 14:14  290   
[   ] corr_discr.ads          2023-05-08 14:14  288   
[   ] discr7.ads              2023-05-08 14:14  287   
[   ] aggr5.ads               2023-05-08 14:14  285   
[   ] not_null1.ads           2023-05-08 14:14  284   
[   ] array5_pkg1.ads         2023-05-08 14:14  282   
[   ] box1.ads                2023-05-08 14:14  279   
[   ] linker_alias.ads        2023-05-08 14:14  278   
[   ] aggr2.ads               2023-05-08 14:14  274   
[   ] aggr3.ads               2023-05-08 14:14  271   
[   ] universal_fixed.ads     2023-05-08 14:14  264   
[   ] cpp_assignment.ads      2023-05-08 14:14  263   
[   ] access_constant_decl..> 2023-05-08 14:14  263   
[   ] lto12_pkg.ads           2023-05-08 14:14  260   
[   ] pack9.ads               2023-05-08 14:14  252   
[   ] iface_eq_test-child.ads 2023-05-08 14:14  252   
[   ] varsize_return_pkg2.ads 2023-05-08 14:14  251   
[   ] private1-sub.ads        2023-05-08 14:14  251   
[   ] pack4.ads               2023-05-08 14:14  249   
[   ] renaming2_pkg4.adb      2023-05-08 14:14  247   
[   ] delta_small.ads         2023-05-08 14:14  244   
[   ] opt3.ads                2023-05-08 14:14  242   
[   ] array5_pkg2-g.ads       2023-05-08 14:14  241   
[   ] opt2.ads                2023-05-08 14:14  238   
[   ] variant_part.ads        2023-05-08 14:14  237   
[   ] array2.ads              2023-05-08 14:14  237   
[   ] preelab.ads             2023-05-08 14:14  234   
[   ] size_attribute1_pkg1..> 2023-05-08 14:14  232   
[   ] import_abstract.ads     2023-05-08 14:14  232   
[   ] restricted_pkg.ads      2023-05-08 14:14  231   
[   ] lto3_pkg2.ads           2023-05-08 14:14  231   
[   ] root-level_2.ads        2023-05-08 14:14  230   
[   ] array_no_def_init.ads   2023-05-08 14:14  229   
[   ] renaming2_pkg2.ads      2023-05-08 14:14  227   
[   ] root-level_1-level_2..> 2023-05-08 14:14  226   
[   ] constant1_pkg.ads       2023-05-08 14:14  226   
[   ] vfa1.ads                2023-05-08 14:14  223   
[   ] warnstar.ads            2023-05-08 14:14  222   
[   ] pack5.ads               2023-05-08 14:14  222   
[   ] pack6_pkg.ads           2023-05-08 14:14  221   
[   ] varsize_return2.ads     2023-05-08 14:14  214   
[   ] root.ads                2023-05-08 14:14  213   
[   ] pack7.ads               2023-05-08 14:14  212   
[   ] cond_expr1.ads          2023-05-08 14:14  212   
[   ] noinline3.ads           2023-05-08 14:14  208   
[   ] cpp1.ads                2023-05-08 14:14  208   
[   ] interface5.ads          2023-05-08 14:14  206   
[   ] static_initializer4.ads 2023-05-08 14:14  201   
[   ] pack2.ads               2023-05-08 14:14  201   
[   ] small_alignment.ads     2023-05-08 14:14  197   
[   ] elab4.ads               2023-05-08 14:14  197   
[   ] lto25.ads               2023-05-08 14:14  196   
[   ] limited1.ads            2023-05-08 14:14  193   
[   ] compile_time1.ads       2023-05-08 14:14  193   
[   ] private2_pkg.ads        2023-05-08 14:14  192   
[   ] lto3.ads                2023-05-08 14:14  192   
[   ] alignment1.ads          2023-05-08 14:14  187   
[   ] iface_eq_test.ads       2023-05-08 14:14  186   
[   ] gen_interface.ads       2023-05-08 14:14  186   
[   ] aggr1.ads               2023-05-08 14:14  186   
[   ] varsize_return.ads      2023-05-08 14:14  183   
[   ] genericppc.ads          2023-05-08 14:14  180   
[   ] tag1.ads                2023-05-08 14:14  178   
[   ] concat1_pkg.ads         2023-05-08 14:14  178   
[   ] array1.ads              2023-05-08 14:14  176   
[   ] rep_clause2.ads         2023-05-08 14:14  174   
[   ] concat1.ads             2023-05-08 14:14  173   
[   ] weak1.ads               2023-05-08 14:14  168   
[   ] size_attribute1_pkg1..> 2023-05-08 14:14  166   
[   ] self_class.ads          2023-05-08 14:14  165   
[   ] noinline3_pkg.ads       2023-05-08 14:14  165   
[   ] access2.ads             2023-05-08 14:14  164   
[   ] integer_value.ads       2023-05-08 14:14  162   
[   ] discr1.ads              2023-05-08 14:14  161   
[   ] renaming2.ads           2023-05-08 14:14  159   
[   ] pack10_pkg.ads          2023-05-08 14:14  158   
[   ] varsize_return_pkg2.adb 2023-05-08 14:14  156   
[   ] size_attribute1_pkg2..> 2023-05-08 14:14  154   
[   ] coverage1.ads           2023-05-08 14:14  153   
[   ] attribute_parsing.ads   2023-05-08 14:14  149   
[   ] lto12.ads               2023-05-08 14:14  148   
[   ] machine_attribute.ads   2023-05-08 14:14  146   
[   ] aggr4.ads               2023-05-08 14:14  145   
[   ] abstract_limited.ads    2023-05-08 14:14  141   
[   ] aggr3_pkg.ads           2023-05-08 14:14  138   
[   ] size_attribute1_pkg2..> 2023-05-08 14:14  137   
[   ] lto3_pkg2.adb           2023-05-08 14:14  136   
[   ] array5.ads              2023-05-08 14:14  135   
[   ] controlled1_pkg.ads     2023-05-08 14:14  128   
[   ] fe_inlining.ads         2023-05-08 14:14  125   
[   ] private2.ads            2023-05-08 14:14  119   
[   ] pack3_pkg.ads           2023-05-08 14:14  112   
[   ] opt3_pkg.ads            2023-05-08 14:14  112   
[   ] access1.ads             2023-05-08 14:14  111   
[   ] gen_interface_p.ads     2023-05-08 14:14  110   
[   ] compile_time1_pkg.ads   2023-05-08 14:14  106   
[   ] private1.ads            2023-05-08 14:14   90   
[   ] pack10_pkg.adb          2023-05-08 14:14   83   
[   ] fe_inlining_helper.ads  2023-05-08 14:14   82   
[   ] array5_pkg2.ads         2023-05-08 14:14   82   
[   ] elab4_proc.ads          2023-05-08 14:14   75   
[   ] fe_inlining_helper.adb  2023-05-08 14:14   71   
[   ] pack8_pkg.ads           2023-05-08 14:14   59   
[   ] elab4_proc.adb          2023-05-08 14:14   44