* snames.ads-tmpl (Name_Ivdep): New pragma-related name.
[official-gcc.git] / gcc / testsuite / gnat.dg / specs / 
treefcf630ed42c9673f08ce48c451ed5d3f0f0c3102
drwxr-xr-x   ..
-rw-r--r-- 141 abstract_limited.ads
-rw-r--r-- 389 abstract_private.ads
-rw-r--r-- 735 access3.ads
-rw-r--r-- 298 access_constant.ads
-rw-r--r-- 263 access_constant_decl.ads
-rw-r--r-- 780 addr1.ads
-rw-r--r-- 186 aggr1.ads
-rw-r--r-- 274 aggr2.ads
-rw-r--r-- 271 aggr3.ads
-rw-r--r-- 138 aggr3_pkg.ads
-rw-r--r-- 145 aggr4.ads
-rw-r--r-- 460 aggr4_pkg.ads
-rw-r--r-- 285 aggr5.ads
-rw-r--r-- 470 aggr6.ads
-rw-r--r-- 602 ai_116.ads
-rw-r--r-- 187 alignment1.ads
-rw-r--r-- 1037 alignment2.ads
-rw-r--r-- 176 array1.ads
-rw-r--r-- 237 array2.ads
-rw-r--r-- 368 array3.ads
-rw-r--r-- 229 array_no_def_init.ads
-rw-r--r-- 349 atomic1.ads
-rw-r--r-- 149 attribute_parsing.ads
-rw-r--r-- 279 box1.ads
-rw-r--r-- 1732 clause_on_volatile.ads
-rw-r--r-- 212 cond_expr1.ads
-rw-r--r-- 461 constant1.ads
-rw-r--r-- 226 constant1_pkg.ads
-rw-r--r-- 295 constructor.ads
-rw-r--r-- 822 controlled1.ads
-rw-r--r-- 128 controlled1_pkg.ads
-rw-r--r-- 402 controller.ads
-rw-r--r-- 288 corr_discr.ads
-rw-r--r-- 208 cpp1.ads
-rw-r--r-- 263 cpp_assignment.ads
-rw-r--r-- 296 debug1.ads
-rw-r--r-- 216 delta_small.ads
-rw-r--r-- 162 discr1.ads
-rw-r--r-- 332 discr1_pkg.ads
-rw-r--r-- 1141 discr_private.ads
-rw-r--r-- 531 discr_record_constant.ads
-rw-r--r-- 309 double_record_extension1.ads
-rw-r--r-- 484 double_record_extension2.ads
-rw-r--r-- 431 elab1.ads
-rw-r--r-- 336 elab2.ads
-rw-r--r-- 448 elab2_pkg.ads
-rw-r--r-- 295 elab3.ads
-rw-r--r-- 622 empty_variants.ads
-rw-r--r-- 125 fe_inlining.ads
-rw-r--r-- 71 fe_inlining_helper.adb
-rw-r--r-- 82 fe_inlining_helper.ads
-rw-r--r-- 439 formal_type.ads
-rw-r--r-- 186 gen_interface.ads
-rw-r--r-- 110 gen_interface_p.ads
-rw-r--r-- 180 genericppc.ads
-rw-r--r-- 322 gnati.ads
-rw-r--r-- 252 iface_eq_test-child.ads
-rw-r--r-- 186 iface_eq_test.ads
-rw-r--r-- 232 import_abstract.ads
-rw-r--r-- 165 integer_value.ads
-rw-r--r-- 206 interface5.ads
-rw-r--r-- 496 last_bit.ads
-rw-r--r-- 193 limited1.ads
-rw-r--r-- 503 limited_with4.ads
-rw-r--r-- 367 limited_with4_pkg.ads
-rw-r--r-- 278 linker_alias.ads
-rw-r--r-- 538 linker_section.ads
-rw-r--r-- 333 loop_optimization1.ads
-rw-r--r-- 355 loop_optimization1_pkg.adb
-rw-r--r-- 302 loop_optimization1_pkg.ads
-rw-r--r-- 148 lto12.ads
-rw-r--r-- 260 lto12_pkg.ads
-rw-r--r-- 192 lto3.ads
-rw-r--r-- 421 lto3_pkg1.adb
-rw-r--r-- 549 lto3_pkg1.ads
-rw-r--r-- 136 lto3_pkg2.adb
-rw-r--r-- 231 lto3_pkg2.ads
-rw-r--r-- 146 machine_attribute.ads
-rw-r--r-- 509 noinline1.ads
-rw-r--r-- 258 noinline3.ads
-rw-r--r-- 320 noinline3_pkg.adb
-rw-r--r-- 165 noinline3_pkg.ads
-rw-r--r-- 430 null_aggr_bug.ads
-rw-r--r-- 313 oconst6.ads
-rw-r--r-- 456 opt1.ads
-rw-r--r-- 1808 oversize.ads
-rw-r--r-- 201 pack2.ads
-rw-r--r-- 856 pack3.ads
-rw-r--r-- 736 pack33.ads
-rw-r--r-- 112 pack3_pkg.ads
-rw-r--r-- 249 pack4.ads
-rw-r--r-- 222 pack5.ads
-rw-r--r-- 445 pack6.ads
-rw-r--r-- 221 pack6_pkg.ads
-rw-r--r-- 212 pack7.ads
-rw-r--r-- 311 pack8.ads
-rw-r--r-- 59 pack8_pkg.ads
-rw-r--r-- 252 pack9.ads
-rw-r--r-- 234 preelab.ads
-rw-r--r-- 252 private1-sub.ads
-rw-r--r-- 90 private1.ads
-rw-r--r-- 402 private_with.ads
-rw-r--r-- 407 renaming1.ads
-rw-r--r-- 159 renaming2.ads
-rw-r--r-- 372 renaming2_pkg1.ads
-rw-r--r-- 227 renaming2_pkg2.ads
-rw-r--r-- 400 renaming2_pkg3.ads
-rw-r--r-- 247 renaming2_pkg4.adb
-rw-r--r-- 413 renaming2_pkg4.ads
-rw-r--r-- 393 rep_clause1.ads
-rw-r--r-- 174 rep_clause2.ads
-rw-r--r-- 864 rep_clause3.ads
-rw-r--r-- 724 rep_clause4.ads
-rw-r--r-- 231 restricted_pkg.ads
-rw-r--r-- 226 root-level_1-level_2.ads
-rw-r--r-- 353 root-level_1.ads
-rw-r--r-- 230 root-level_2.ads
-rw-r--r-- 213 root.ads
-rw-r--r-- 165 self_class.ads
-rw-r--r-- 346 size_attribute1.ads
-rw-r--r-- 166 size_attribute1_pkg1.adb
-rw-r--r-- 232 size_attribute1_pkg1.ads
-rw-r--r-- 137 size_attribute1_pkg2.adb
-rw-r--r-- 154 size_attribute1_pkg2.ads
-rw-r--r-- 1160 size_clause1.ads
-rw-r--r-- 1272 size_clause2.ads
-rw-r--r-- 1312 size_clause3.ads
-rw-r--r-- 197 small_alignment.ads
-rw-r--r-- 1096 specs.exp
-rw-r--r-- 331 static_initializer.ads
-rw-r--r-- 491 static_initializer2.ads
-rw-r--r-- 536 static_initializer3.ads
-rw-r--r-- 201 static_initializer4.ads
-rw-r--r-- 290 static_initializer5.ads
-rw-r--r-- 392 static_initializer5_pkg.ads
-rw-r--r-- 294 storage.ads
-rw-r--r-- 377 sync_iface_test.ads
-rw-r--r-- 178 tag1.ads
-rw-r--r-- 542 tag2.ads
-rw-r--r-- 552 uc1.ads
-rw-r--r-- 434 unchecked_union1.ads
-rw-r--r-- 569 unchecked_union2.ads
-rw-r--r-- 264 universal_fixed.ads
-rw-r--r-- 236 variant_part.ads
-rw-r--r-- 183 varsize_return.ads
-rw-r--r-- 443 varsize_return_pkg1.adb
-rw-r--r-- 605 varsize_return_pkg1.ads
-rw-r--r-- 156 varsize_return_pkg2.adb
-rw-r--r-- 251 varsize_return_pkg2.ads
-rw-r--r-- 222 warnstar.ads
-rw-r--r-- 146 weak1.ads
-rw-r--r-- 981 with_containers.ads