index
:
riscv-gnu-toolchain/gcc.git
devel/analyzer
devel/autopar_devel
devel/autopar_europar_2021
devel/bypass-asm
devel/c++-contracts
devel/c++-coroutines
devel/c++-modules
devel/c++-name-lookup
devel/coarray_native
devel/fortran_unsigned
devel/gccgo
devel/gfortran-caf
devel/gimple-linterchange
devel/gomp-5_0-branch
devel/icpp2021
devel/ira-select
devel/ix86/evex512
devel/jlaw/crc
devel/loop-unswitch-support-switches
devel/lto-offload
devel/m2link
devel/modula-2
devel/mold-lto-plugin
devel/mold-lto-plugin-v2
devel/nothrow-detection
devel/omp/gcc-10
devel/omp/gcc-11
devel/omp/gcc-12
devel/omp/gcc-13
devel/omp/gcc-14
devel/omp/gcc-9
devel/omp/ompd
devel/power-ieee128
devel/range-gen3
devel/ranger
devel/rust/master
devel/sh-lra
devel/sphinx
devel/ssa-range
devel/subreg-coalesce
devel/unified-autovect
master
releases/egcs-1.0
releases/egcs-1.1
releases/gcc-10
releases/gcc-11
releases/gcc-12
releases/gcc-13
releases/gcc-14
releases/gcc-2.95
releases/gcc-2.95.2.1-branch
releases/gcc-3.0
releases/gcc-3.1
releases/gcc-3.2
releases/gcc-3.3
releases/gcc-3.4
releases/gcc-4.0
releases/gcc-4.1
releases/gcc-4.2
releases/gcc-4.3
releases/gcc-4.4
releases/gcc-4.5
releases/gcc-4.6
releases/gcc-4.7
releases/gcc-4.8
releases/gcc-4.9
releases/gcc-5
releases/gcc-6
releases/gcc-7
releases/gcc-8
releases/gcc-9
releases/libgcj-2.95
trunk
Unnamed repository; edit this file 'description' to name the repository.
root
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gcc
/
testsuite
/
gnat.dg
Mode
Name
Size
-rw-r--r--
abstract1.adb
964
log
plain
-rw-r--r--
abstract1.ads
619
log
plain
-rw-r--r--
abstract_with_anonymous_result.adb
896
log
plain
-rw-r--r--
access1.adb
414
log
plain
-rw-r--r--
access2.adb
367
log
plain
-rw-r--r--
access3.adb
318
log
plain
-rw-r--r--
access3.ads
246
log
plain
-rw-r--r--
access4.adb
147
log
plain
-rw-r--r--
access_discr.adb
559
log
plain
-rw-r--r--
access_discr2.adb
197
log
plain
-rw-r--r--
access_func.adb
217
log
plain
-rw-r--r--
access_test.adb
563
log
plain
-rw-r--r--
addr1.adb
387
log
plain
-rw-r--r--
addr1.ads
48
log
plain
-rw-r--r--
addr2.adb
158
log
plain
-rw-r--r--
addr2_p.adb
248
log
plain
-rw-r--r--
addr2_p.ads
229
log
plain
-rw-r--r--
addr3.adb
664
log
plain
-rw-r--r--
addr4.adb
253
log
plain
-rw-r--r--
addr5.adb
199
log
plain
-rw-r--r--
addr6.adb
554
log
plain
-rw-r--r--
addr7.adb
179
log
plain
-rw-r--r--
addr7.ads
145
log
plain
-rw-r--r--
addr8.adb
171
log
plain
-rw-r--r--
addr8.ads
137
log
plain
-rw-r--r--
addr9_1.adb
827
log
plain
-rw-r--r--
addr9_2.adb
854
log
plain
-rw-r--r--
addr9_3.adb
819
log
plain
-rw-r--r--
addr9_4.adb
811
log
plain
-rw-r--r--
addr_slice.adb
408
log
plain
-rw-r--r--
address_conversion.adb
452
log
plain
-rw-r--r--
address_null_init.ads
226
log
plain
-rw-r--r--
aggr1.adb
1228
log
plain
-rw-r--r--
aggr10.adb
593
log
plain
-rw-r--r--
aggr10_pkg.ads
460
log
plain
-rw-r--r--
aggr11.adb
405
log
plain
-rw-r--r--
aggr11_pkg.ads
283
log
plain
-rw-r--r--
aggr12.adb
350
log
plain
-rw-r--r--
aggr12.ads
261
log
plain
-rw-r--r--
aggr13.adb
390
log
plain
-rw-r--r--
aggr14.adb
91
log
plain
-rw-r--r--
aggr14_pkg.adb
235
log
plain
-rw-r--r--
aggr14_pkg.ads
148
log
plain
-rw-r--r--
aggr15.adb
303
log
plain
-rw-r--r--
aggr15.ads
233
log
plain
-rw-r--r--
aggr16.adb
431
log
plain
-rw-r--r--
aggr16.ads
50
log
plain
-rw-r--r--
aggr16_pkg.ads
433
log
plain
-rw-r--r--
aggr17.adb
554
log
plain
-rw-r--r--
aggr18.adb
545
log
plain
-rw-r--r--
aggr19.adb
253
log
plain
-rw-r--r--
aggr19_pkg.adb
153
log
plain
-rw-r--r--
aggr19_pkg.ads
570
log
plain
-rw-r--r--
aggr2.adb
310
log
plain
-rw-r--r--
aggr20.adb
147
log
plain
-rw-r--r--
aggr20.ads
430
log
plain
-rw-r--r--
aggr20_pkg.ads
140
log
plain
-rw-r--r--
aggr21.adb
284
log
plain
-rw-r--r--
aggr21_pkg.adb
135
log
plain
-rw-r--r--
aggr21_pkg.ads
178
log
plain
-rw-r--r--
aggr3.adb
842
log
plain
-rw-r--r--
aggr4.adb
514
log
plain
-rw-r--r--
aggr7.adb
813
log
plain
-rw-r--r--
aggr8.adb
401
log
plain
-rw-r--r--
aggr9.adb
162
log
plain
-rw-r--r--
aggr9.ads
89
log
plain
-rw-r--r--
aggr9_pkg.ads
231
log
plain
-rw-r--r--
aliased1.adb
568
log
plain
-rw-r--r--
aliased_prefix_accessibility.adb
1558
log
plain
-rw-r--r--
aliasing1.adb
441
log
plain
-rw-r--r--
aliasing1.ads
177
log
plain
-rw-r--r--
aliasing2.adb
446
log
plain
-rw-r--r--
aliasing2.ads
163
log
plain
-rw-r--r--
aliasing3.adb
162
log
plain
-rw-r--r--
aliasing3_pkg.adb
157
log
plain
-rw-r--r--
aliasing3_pkg.ads
305
log
plain
-rw-r--r--
align_check.adb
523
log
plain
-rw-r--r--
align_max.adb
3832
log
plain
-rw-r--r--
aligned_vla.adb
533
log
plain
-rw-r--r--
alignment1.adb
247
log
plain
-rw-r--r--
alignment10.adb
390
log
plain
-rw-r--r--
alignment2.adb
1236
log
plain
-rw-r--r--
alignment3.adb
883
log
plain
-rw-r--r--
alignment4.adb
237
log
plain
-rw-r--r--
alignment5.adb
654
log
plain
-rw-r--r--
alignment6.adb
713
log
plain
-rw-r--r--
alignment7.adb
306
log
plain
-rw-r--r--
alignment8.adb
318
log
plain
-rw-r--r--
alignment9.adb
444
log
plain
-rw-r--r--
allocator_maxalign1.adb
964
log
plain
-rw-r--r--
allocator_maxalign2.adb
669
log
plain
-rw-r--r--
allocator_maxalign2.ads
211
log
plain
-rw-r--r--
ancestor_type.adb
233
log
plain
-rw-r--r--
ancestor_type.ads
200
log
plain
-rw-r--r--
anon1.ads
66
log
plain
-rw-r--r--
anon2.adb
120
log
plain
-rw-r--r--
array1.adb
656
log
plain
-rw-r--r--
array1.ads
151
log
plain
-rw-r--r--
array10.adb
449
log
plain
-rw-r--r--
array11.adb
333
log
plain
-rw-r--r--
array12.adb
347
log
plain
-rw-r--r--
array13.adb
211
log
plain
-rw-r--r--
array13.ads
201
log
plain
-rw-r--r--
array14.adb
682
log
plain
-rw-r--r--
array14.ads
52
log
plain
-rw-r--r--
array14_pkg.ads
455
log
plain
-rw-r--r--
array15.adb
397
log
plain
-rw-r--r--
array15.ads
78
log
plain
-rw-r--r--
array16.adb
550
log
plain
-rw-r--r--
array16.ads
537
log
plain
-rw-r--r--
array16_pkg.ads
71
log
plain
-rw-r--r--
array17.adb
242
log
plain
-rw-r--r--
array17_pkg.ads
180
log
plain
-rw-r--r--
array18.adb
125
log
plain
-rw-r--r--
array18_pkg.ads
132
log
plain
-rw-r--r--
array19.adb
531
log
plain
-rw-r--r--
array19.ads
53
log
plain
-rw-r--r--
array2.ads
129
log
plain
-rw-r--r--
array20.adb
201
log
plain
-rw-r--r--
array20.ads
60
log
plain
-rw-r--r--
array21.adb
309
log
plain
-rw-r--r--
array22.adb
385
log
plain
-rw-r--r--
array23.adb
145
log
plain
-rw-r--r--
array23_pkg1.ads
254
log
plain
-rw-r--r--
array23_pkg2.ads
199
log
plain
-rw-r--r--
array23_pkg3.ads
65
log
plain
-rw-r--r--
array24.adb
257
log
plain
-rw-r--r--
array25.adb
129
log
plain
-rw-r--r--
array25_pkg.adb
250
log
plain
-rw-r--r--
array25_pkg.ads
268
log
plain
-rw-r--r--
array3.adb
1110
log
plain
-rw-r--r--
array4.adb
576
log
plain
-rw-r--r--
array5.adb
575
log
plain
-rw-r--r--
array6.adb
605
log
plain
-rw-r--r--
array7.adb
488
log
plain
-rw-r--r--
array7.ads
484
log
plain
-rw-r--r--
array8.adb
575
log
plain
-rw-r--r--
array9.adb
309
log
plain
-rw-r--r--
array_bounds_test.adb
397
log
plain
-rw-r--r--
array_bounds_test2.adb
525
log
plain
-rw-r--r--
assert.ads
75
log
plain
-rw-r--r--
assert1.adb
1086
log
plain
-rw-r--r--
assign_from_packed.adb
257
log
plain
-rw-r--r--
assign_from_packed_pixels.ads
335
log
plain
-rw-r--r--
asynch.adb
556
log
plain
-rw-r--r--
asynch.ads
199
log
plain
-rw-r--r--
atomic1.adb
379
log
plain
-rw-r--r--
atomic1_pkg.ads
1024
log
plain
-rw-r--r--
atomic2.adb
214
log
plain
-rw-r--r--
atomic3.adb
398
log
plain
-rw-r--r--
atomic4.adb
270
log
plain
-rw-r--r--
atomic4.ads
534
log
plain
-rw-r--r--
atomic5.adb
341
log
plain
-rw-r--r--
atomic5.ads
382
log
plain
-rw-r--r--
atomic6_1.adb
1440
log
plain
-rw-r--r--
atomic6_2.adb
1634
log
plain
-rw-r--r--
atomic6_3.adb
1728
log
plain
-rw-r--r--
atomic6_4.adb
1566
log
plain
-rw-r--r--
atomic6_5.adb
1476
log
plain
-rw-r--r--
atomic6_6.adb
1496
log
plain
-rw-r--r--
atomic6_7.adb
1546
log
plain
-rw-r--r--
atomic6_8.adb
1429
log
plain
-rw-r--r--
atomic6_pkg.ads
600
log
plain
-rw-r--r--
atomic7_1.adb
214
log
plain
-rw-r--r--
atomic7_2.adb
143
log
plain
-rw-r--r--
atomic7_pkg1.ads
152
log
plain
-rw-r--r--
atomic7_pkg2.adb
217
log
plain
-rw-r--r--
atomic7_pkg2.ads
77
log
plain
-rw-r--r--
bad_array.adb
146
log
plain
-rw-r--r--
biased_uc.adb
1067
log
plain
-rw-r--r--
bip_aggregate_bug.adb
1341
log
plain
-rw-r--r--
bip_prim_func.adb
277
log
plain
-rw-r--r--
bip_prim_func.ads
222
log
plain
-rw-r--r--
bit_packed_array1.adb
369
log
plain
-rw-r--r--
bit_packed_array1.ads
934
log
plain
-rw-r--r--
bit_packed_array2.adb
324
log
plain
-rw-r--r--
bit_packed_array3.adb
971
log
plain
-rw-r--r--
bit_packed_array4.adb
182
log
plain
-rw-r--r--
bit_packed_array4.ads
411
log
plain
-rw-r--r--
bit_packed_array5.adb
453
log
plain
-rw-r--r--
bit_packed_array5.ads
363
log
plain
-rw-r--r--
blkextract_from_reg.adb
1178
log
plain
-rw-r--r--
bltins.adb
202
log
plain
-rw-r--r--
boolean_bitfield.adb
1198
log
plain
-rw-r--r--
boolean_conv.adb
536
log
plain
-rw-r--r--
boolean_expr1.adb
781
log
plain
-rw-r--r--
boolean_expr1.ads
95
log
plain
-rw-r--r--
boolean_expr2.adb
314
log
plain
-rw-r--r--
boolean_subtype1.adb
753
log
plain
-rw-r--r--
boolean_subtype2.adb
945
log
plain
-rw-r--r--
boolean_subtype2.ads
186
log
plain
-rw-r--r--
boolean_subtype2_pkg.ads
285
log
plain
-rw-r--r--
bug_elaboration_code.adb
184
log
plain
-rw-r--r--
bug_elaboration_code.ads
119
log
plain
-rw-r--r--
c_words.adb
288
log
plain
-rw-r--r--
c_words.ads
469
log
plain
-rw-r--r--
capture_value.adb
245
log
plain
-rw-r--r--
case_null.adb
315
log
plain
-rw-r--r--
case_null.ads
207
log
plain
-rw-r--r--
case_optimization1.adb
518
log
plain
-rw-r--r--
case_optimization1.ads
161
log
plain
-rw-r--r--
case_optimization2.adb
276
log
plain
-rw-r--r--
case_optimization_pkg1.ads
18675
log
plain
-rw-r--r--
case_optimization_pkg2.adb
598
log
plain
-rw-r--r--
case_optimization_pkg2.ads
764
log
plain
-rw-r--r--
check1.adb
146
log
plain
-rw-r--r--
check1.ads
207
log
plain
-rw-r--r--
check_displace_generation.adb
1100
log
plain
-rw-r--r--
check_elaboration_code.adb
197
log
plain
-rw-r--r--
class_wide1.adb
489
log
plain
-rw-r--r--
class_wide2.adb
287
log
plain
-rw-r--r--
class_wide2.ads
311
log
plain
-rw-r--r--
complex1.adb
205
log
plain
-rw-r--r--
complex1_pkg.ads
86
log
plain
-rw-r--r--
compose.adb
293
log
plain
-rw-r--r--
concat1.adb
482
log
plain
-rw-r--r--
concat1_pkg.adb
117
log
plain
-rw-r--r--
concat1_pkg.ads
89
log
plain
-rw-r--r--
concat2.adb
362
log
plain
-rw-r--r--
concat2.ads
55
log
plain
-rw-r--r--
concat_length.adb
317
log
plain
-rw-r--r--
cond_expr1.adb
177
log
plain
-rw-r--r--
cond_expr2.adb
209
log
plain
-rw-r--r--
cond_expr2.ads
82
log
plain
-rw-r--r--
constant1.adb
134
log
plain
-rw-r--r--
constant2.adb
171
log
plain
-rw-r--r--
constant2_pkg1.ads
134
log
plain
-rw-r--r--
constant2_pkg2.adb
184
log
plain
-rw-r--r--
constant2_pkg2.ads
108
log
plain
-rw-r--r--
constant3.adb
391
log
plain
-rw-r--r--
constant4.adb
211
log
plain
-rw-r--r--
constant4_pkg.ads
440
log
plain
-rw-r--r--
controlled1.ads
372
log
plain
-rw-r--r--
controlled2.adb
239
log
plain
-rw-r--r--
controlled2.ads
101
log
plain
-rw-r--r--
controlled3.ads
371
log
plain
-rw-r--r--
controlled4.adb
192
log
plain
-rw-r--r--
controlled4.ads
89
log
plain
-rw-r--r--
controlled5.adb
141
log
plain
-rw-r--r--
controlled5_pkg.adb
367
log
plain
-rw-r--r--
controlled5_pkg.ads
369
log
plain
-rw-r--r--
controlled6.adb
514
log
plain
-rw-r--r--
controlled6_pkg-iterators.adb
560
log
plain
-rw-r--r--
controlled6_pkg-iterators.ads
493
log
plain
-rw-r--r--
controlled6_pkg.ads
212
log
plain
-rw-r--r--
controlled7.adb
403
log
plain
-rw-r--r--
controlled7.ads
146
log
plain
-rw-r--r--
controlled_record.adb
281
log
plain
-rw-r--r--
controlled_record.ads
329
log
plain
-rw-r--r--
conv_bug.adb
685
log
plain
-rw-r--r--
conv_decimal.adb
739
log
plain
-rw-r--r--
conv_integer.adb
246
log
plain
-rw-r--r--
conv_real.adb
568
log
plain
-rw-r--r--
curr_task.adb
2246
log
plain
-rw-r--r--
debug1.ads
502
log
plain
-rw-r--r--
debug2.adb
599
log
plain
-rw-r--r--
debug2.ads
52
log
plain
-rw-r--r--
debug2_pkg.ads
404
log
plain
-rw-r--r--
debug3.adb
483
log
plain
-rw-r--r--
debug3.ads
50
log
plain
-rw-r--r--
debug4.adb
142
log
plain
-rw-r--r--
debug4_pkg.adb
729
log
plain
-rw-r--r--
debug4_pkg.ads
676
log
plain
-rw-r--r--
decl_ctx_def.ads
48
log
plain
-rw-r--r--
decl_ctx_use.adb
229
log
plain
-rw-r--r--
decl_ctx_use.ads
74
log
plain
-rw-r--r--
deferred_const1.adb
276
log
plain
-rw-r--r--
deferred_const2.adb
203
log
plain
-rw-r--r--
deferred_const2_pkg.adb
201
log
plain
-rw-r--r--
deferred_const2_pkg.ads
224
log
plain
-rw-r--r--
deferred_const3.adb
344
log
plain
-rw-r--r--
deferred_const3_pkg.adb
342
log
plain
-rw-r--r--
deferred_const3_pkg.ads
356
log
plain
-rw-r--r--
deferred_const4.adb
174
log
plain
-rw-r--r--
deferred_const4.ads
279
log
plain
-rw-r--r--
deferred_const4_pkg.ads
347
log
plain
-rw-r--r--
deques.ads
400
log
plain
-rw-r--r--
deref1.ads
104
log
plain
-rw-r--r--
deref2.ads
344
log
plain
-rw-r--r--
deref3.adb
172
log
plain
-rw-r--r--
derived_aggregate.adb
666
log
plain
-rw-r--r--
derived_type1.adb
601
log
plain
-rw-r--r--
derived_type2.adb
633
log
plain
-rw-r--r--
derived_type3.adb
124
log
plain
-rw-r--r--
derived_type3_pkg.adb
1048
log
plain
-rw-r--r--
derived_type3_pkg.ads
94
log
plain
-rw-r--r--
derived_type4.adb
288
log
plain
-rw-r--r--
dg.exp
1096
log
plain
-rw-r--r--
discr1.ads
466
log
plain
-rw-r--r--
discr10.adb
146
log
plain
-rw-r--r--
discr10.ads
516
log
plain
-rw-r--r--
discr11.adb
164
log
plain
-rw-r--r--
discr11.ads
174
log
plain
-rw-r--r--
discr11_pkg.ads
213
log
plain
-rw-r--r--
discr12.adb
565
log
plain
-rw-r--r--
discr12_pkg.ads
89
log
plain
-rw-r--r--
discr13.adb
607
log
plain
-rw-r--r--
discr14.adb
270
log
plain
-rw-r--r--
discr14.ads
1063
log
plain
-rw-r--r--
discr15.adb
312
log
plain
-rw-r--r--
discr15_pkg.ads
436
log
plain
-rw-r--r--
discr16.adb
404
log
plain
-rw-r--r--
discr16_cont.ads
105
log
plain
-rw-r--r--
discr16_g.ads
289
log
plain
-rw-r--r--
discr16_pkg.ads
165
log
plain
-rw-r--r--
discr17.adb
1085
log
plain
-rw-r--r--
discr18.adb
499
log
plain
-rw-r--r--
discr18_pkg.ads
470
log
plain
-rw-r--r--
discr19.adb
342
log
plain
-rw-r--r--
discr2.adb
372
log
plain
-rw-r--r--
discr2.ads
53
log
plain
-rw-r--r--
discr20.adb
141
log
plain
-rw-r--r--
discr20.ads
605
log
plain
-rw-r--r--
discr21.adb
584
log
plain
-rw-r--r--
discr21.ads
52
log
plain
-rw-r--r--
discr21_pkg.ads
351
log
plain
-rw-r--r--
discr22.adb
404
log
plain
-rw-r--r--
discr23.adb
280
log
plain
-rw-r--r--
discr23.ads
53
log
plain
-rw-r--r--
discr23_pkg.ads
221
log
plain
-rw-r--r--
discr24.adb
1192
log
plain
-rw-r--r--
discr25.adb
140
log
plain
-rw-r--r--
discr25_pkg.adb
463
log
plain
-rw-r--r--
discr25_pkg.ads
195
log
plain
-rw-r--r--
discr26.adb
258
log
plain
-rw-r--r--
discr26.ads
245
log
plain
-rw-r--r--
discr26_pkg.ads
71
log
plain
-rw-r--r--
discr27.adb
605
log
plain
-rw-r--r--
discr27.ads
53
log
plain
-rw-r--r--
discr28.adb
307
log
plain
-rw-r--r--
discr28.ads
337
log
plain
-rw-r--r--
discr28_pkg.ads
71
log
plain
-rw-r--r--
discr29.adb
139
log
plain
-rw-r--r--
discr29.ads
420
log
plain
-rw-r--r--
discr3.ads
299
log
plain
-rw-r--r--
discr30.adb
1194
log
plain
-rw-r--r--
discr31.adb
226
log
plain
-rw-r--r--
discr31.ads
370
log
plain
-rw-r--r--
discr32.adb
327
log
plain
-rw-r--r--
discr32_pkg.ads
472
log
plain
-rw-r--r--
discr33.adb
610
log
plain
-rw-r--r--
discr34.adb
121
log
plain
-rw-r--r--
discr34_pkg.ads
271
log
plain
-rw-r--r--
discr35.adb
215
log
plain
-rw-r--r--
discr35.ads
361
log
plain
-rw-r--r--
discr36.adb
298
log
plain
-rw-r--r--
discr36.ads
206
log
plain
-rw-r--r--
discr36_pkg.adb
151
log
plain
-rw-r--r--
discr36_pkg.ads
101
log
plain
-rw-r--r--
discr37.adb
217
log
plain
-rw-r--r--
discr37.ads
463
log
plain
-rw-r--r--
discr38.adb
941
log
plain
-rw-r--r--
discr39.adb
456
log
plain
-rw-r--r--
discr4.adb
894
log
plain
-rw-r--r--
discr40.adb
231
log
plain
-rw-r--r--
discr40.ads
719
log
plain
-rw-r--r--
discr41.adb
168
log
plain
-rw-r--r--
discr41.ads
437
log
plain
-rw-r--r--
discr42.adb
265
log
plain
-rw-r--r--
discr42_pkg.adb
255
log
plain
-rw-r--r--
discr42_pkg.ads
249
log
plain
-rw-r--r--
discr43.adb
382
log
plain
-rw-r--r--
discr44.adb
496
log
plain
-rw-r--r--
discr45.adb
810
log
plain
-rw-r--r--
discr5.adb
323
log
plain
-rw-r--r--
discr7.adb
436
log
plain
-rw-r--r--
discr8.adb
636
log
plain
-rw-r--r--
discr8.ads
350
log
plain
-rw-r--r--
discr8_pkg1.ads
203
log
plain
-rw-r--r--
discr8_pkg2.ads
236
log
plain
-rw-r--r--
discr8_pkg3.ads
73
log
plain
-rw-r--r--
discr9.adb
188
log
plain
-rw-r--r--
discr9.ads
475
log
plain
-rw-r--r--
discr_range_check.adb
415
log
plain
-rw-r--r--
discr_test.adb
437
log
plain
-rw-r--r--
discr_test2.adb
381
log
plain
-rw-r--r--
dispatch1.adb
168
log
plain
-rw-r--r--
dispatch1_p.ads
95
log
plain
-rw-r--r--
dispatch2.adb
199
log
plain
-rw-r--r--
dispatch2_p.adb
152
log
plain
-rw-r--r--
dispatch2_p.ads
260
log
plain
-rw-r--r--
div_no_warning.adb
293
log
plain
-rw-r--r--
dse_step.adb
361
log
plain
-rw-r--r--
dse_step.ads
411
log
plain
-rw-r--r--
dynamic_bound.adb
529
log
plain
-rw-r--r--
dynamic_elab1.adb
271
log
plain
-rw-r--r--
dynamic_elab1.ads
198
log
plain
-rw-r--r--
dynamic_elab2.adb
271
log
plain
-rw-r--r--
dynamic_elab2.ads
215
log
plain
-rw-r--r--
dynamic_elab_pkg.ads
153
log
plain
-rw-r--r--
elab1.ads
474
log
plain
-rw-r--r--
elab2.adb
123
log
plain
-rw-r--r--
elim1.adb
83
log
plain
-rw-r--r--
elim1.ads
111
log
plain
-rw-r--r--
elim2.adb
70
log
plain
-rw-r--r--
empty_vector_length.adb
395
log
plain
-rw-r--r--
enclosing_record_reference.adb
888
log
plain
-rw-r--r--
enclosing_record_reference.ads
618
log
plain
-rw-r--r--
entry_queues.adb
1078
log
plain
-rw-r--r--
entry_queues2.adb
834
log
plain
-rw-r--r--
entry_queues3.adb
480
log
plain
-rw-r--r--
enum1.adb
247
log
plain
-rw-r--r--
enum1_pkg.ads
128
log
plain
-rw-r--r--
enum2.adb
274
log
plain
-rw-r--r--
enum2_pkg.ads
237
log
plain
-rw-r--r--
enum3.adb
522
log
plain
-rw-r--r--
env_compile_capacity.adb
957
log
plain
-rw-r--r--
env_compile_capacity.ads
60
log
plain
-rw-r--r--
equal1.ads
286
log
plain
-rw-r--r--
equal_access.adb
142
log
plain
-rw-r--r--
exp0_eval.adb
620
log
plain
-rw-r--r--
expect1.adb
300
log
plain
-rw-r--r--
ext1.ads
377
log
plain
-rw-r--r--
fatp_sra.adb
234
log
plain
-rw-r--r--
finalized.adb
220
log
plain
-rw-r--r--
fixce.adb
322
log
plain
-rw-r--r--
fixedpnt.adb
186
log
plain
-rw-r--r--
forward_anon.adb
151
log
plain
-rw-r--r--
forward_anon.ads
266
log
plain
-rw-r--r--
forward_vla.adb
419
log
plain
-rw-r--r--
fp_exception.adb
518
log
plain
-rw-r--r--
frame_overflow.adb
558
log
plain
-rw-r--r--
frame_overflow.ads
423
log
plain
-rw-r--r--
frunaligned.adb
159
log
plain
-rw-r--r--
frunaligned1.ads
260
log
plain
-rw-r--r--
g_tables.adb
175
log
plain
-rw-r--r--
g_tables.ads
225
log
plain
-rw-r--r--
gen_disp.adb
1375
log
plain
-rw-r--r--
gen_disp.ads
299
log
plain
-rw-r--r--
generic_dispatch.adb
236
log
plain
-rw-r--r--
generic_dispatch_p.adb
166
log
plain
-rw-r--r--
generic_dispatch_p.ads
525
log
plain
-rw-r--r--
gnat_malloc.adb
422
log
plain
-rw-r--r--
gnatg.adb
305
log
plain
-rw-r--r--
graphic.adb
538
log
plain
-rw-r--r--
graphic.ads
216
log
plain
-rw-r--r--
handle_and_return.adb
282
log
plain
-rw-r--r--
handle_raise_from_pure.adb
270
log
plain
-rw-r--r--
hyper_flat.adb
312
log
plain
-rw-r--r--
ice_type.adb
187
log
plain
-rw-r--r--
ice_types.ads
150
log
plain
-rw-r--r--
iface1.ads
408
log
plain
-rw-r--r--
iface2.adb
140
log
plain
-rw-r--r--
iface2.ads
144
log
plain
-rw-r--r--
iface_test.adb
689
log
plain
-rw-r--r--
iface_test.ads
450
log
plain
-rw-r--r--
ifaces.adb
157
log
plain
-rw-r--r--
ifaces.ads
401
log
plain
-rw-r--r--
import1.adb
340
log
plain
-rw-r--r--
import1.ads
124
log
plain
-rw-r--r--
in_mod_conv.adb
558
log
plain
-rw-r--r--
in_out_parameter.adb
799
log
plain
-rw-r--r--
in_out_parameter2.adb
364
log
plain
-rw-r--r--
in_out_parameter3.adb
726
log
plain
-rw-r--r--
in_out_parameter4.adb
574
log
plain
-rw-r--r--
include.adb
128
log
plain
-rw-r--r--
incomplete1.ads
66
log
plain
-rw-r--r--
incomplete2.adb
134
log
plain
-rw-r--r--
incomplete2.ads
223
log
plain
-rw-r--r--
incomplete3.adb
343
log
plain
-rw-r--r--
incomplete3.ads
486
log
plain
-rw-r--r--
init_scalar1.adb
405
log
plain
-rw-r--r--
inline1.adb
177
log
plain
-rw-r--r--
inline10.adb
144
log
plain
-rw-r--r--
inline10_pkg.adb
360
log
plain
-rw-r--r--
inline10_pkg.ads
100
log
plain
-rw-r--r--
inline11.adb
145
log
plain
-rw-r--r--
inline11_pkg.adb
245
log
plain
-rw-r--r--
inline11_pkg.ads
102
log
plain
-rw-r--r--
inline12.adb
321
log
plain
-rw-r--r--
inline1_pkg.adb
1032
log
plain
-rw-r--r--
inline1_pkg.ads
216
log
plain
-rw-r--r--
inline2.adb
216
log
plain
-rw-r--r--
inline2_pkg.adb
1032
log
plain
-rw-r--r--
inline2_pkg.ads
202
log
plain
-rw-r--r--
inline3.adb
225
log
plain
-rw-r--r--
inline3_pkg.adb
247
log
plain
-rw-r--r--
inline3_pkg.ads
105
log
plain
-rw-r--r--
inline4.adb
102
log
plain
-rw-r--r--
inline4_pkg.adb
276
log
plain
-rw-r--r--
inline4_pkg.ads
105
log
plain
-rw-r--r--
inline5.adb
261
log
plain
-rw-r--r--
inline5_pkg.adb
246
log
plain
-rw-r--r--
inline5_pkg.ads
98
log
plain
-rw-r--r--
inline6.adb
141
log
plain
-rw-r--r--
inline6_pkg.adb
269
log
plain
-rw-r--r--
inline6_pkg.ads
98
log
plain
-rw-r--r--
inline7.adb
263
log
plain
-rw-r--r--
inline7_pkg1.adb
227
log
plain
-rw-r--r--
inline7_pkg1.ads
100
log
plain
-rw-r--r--
inline7_pkg2.adb
130
log
plain
-rw-r--r--
inline7_pkg2.ads
117
log
plain
-rw-r--r--
inline8.adb
143
log
plain
-rw-r--r--
inline8_pkg1.adb
250
log
plain
-rw-r--r--
inline8_pkg1.ads
100
log
plain
-rw-r--r--
inline8_pkg2.adb
130
log
plain
-rw-r--r--
inline8_pkg2.ads
117
log
plain
-rw-r--r--
inline9.adb
261
log
plain
-rw-r--r--
inline9_pkg.adb
335
log
plain
-rw-r--r--
inline9_pkg.ads
98
log
plain
-rw-r--r--
inline_scope.adb
362
log
plain
-rw-r--r--
inline_scope_p.adb
174
log
plain
-rw-r--r--
inline_scope_p.ads
116
log
plain
-rw-r--r--
inline_tagged.adb
935
log
plain
-rw-r--r--
interface1.adb
481
log
plain
-rw-r--r--
interface2.adb
490
log
plain
-rw-r--r--
interface3.adb
709
log
plain
-rw-r--r--
interface4.adb
279
log
plain
-rw-r--r--
interface5.adb
186
log
plain
-rw-r--r--
interface5.ads
258
log
plain
-rw-r--r--
interface_conv.adb
381
log
plain
-rw-r--r--
invalid1.adb
1084
log
plain
-rw-r--r--
invariant_index.adb
337
log
plain
-rw-r--r--
invariant_index.ads
142
log
plain
-rw-r--r--
iprot_test.adb
772
log
plain
-rw-r--r--
itype.adb
161
log
plain
-rw-r--r--
itype.ads
113
log
plain
-rw-r--r--
itypes.adb
519
log
plain
-rw-r--r--
itypes.ads
45
log
plain
-rw-r--r--
kill_value.adb
368
log
plain
-rw-r--r--
late_overriding.adb
401
log
plain
-rw-r--r--
layered_abstraction.adb
442
log
plain
-rw-r--r--
layered_abstraction.ads
626
log
plain
-rw-r--r--
layered_abstraction_p.ads
108
log
plain
-rw-r--r--
layered_instance.adb
305
log
plain
-rw-r--r--
lhs_view_convert.adb
544
log
plain
-rw-r--r--
limited_with.adb
170
log
plain
-rw-r--r--
limited_with.ads
120
log
plain
-rw-r--r--
limited_with2.adb
200
log
plain
-rw-r--r--
limited_with2.ads
207
log
plain
-rw-r--r--
limited_with2_pkg1.ads
170
log
plain
-rw-r--r--
limited_with2_pkg2.ads
145
log
plain
-rw-r--r--
limited_with3.adb
137
log
plain
-rw-r--r--
limited_with3.ads
298
log
plain
-rw-r--r--
limited_with3_pkg1.adb
467
log
plain
-rw-r--r--
limited_with3_pkg1.ads
788
log
plain
-rw-r--r--
limited_with3_pkg2.ads
181
log
plain
-rw-r--r--
limited_with3_pkg3.ads
246
log
plain
-rw-r--r--
loop_address.adb
487
log
plain
-rw-r--r--
loop_address2.adb
534
log
plain
-rw-r--r--
loop_boolean.adb
276
log
plain
-rw-r--r--
loop_bound.adb
623
log
plain
-rw-r--r--
loop_optimization1.adb
632
log
plain
-rw-r--r--
loop_optimization1.ads
846
log
plain
-rw-r--r--
loop_optimization10.adb
418
log
plain
-rw-r--r--
loop_optimization10.ads
360
log
plain
-rw-r--r--
loop_optimization10_pkg.ads
250
log
plain
-rw-r--r--
loop_optimization11.adb
468
log
plain
-rw-r--r--
loop_optimization11_pkg.ads
276
log
plain
-rw-r--r--
loop_optimization12.adb
618
log
plain
-rw-r--r--
loop_optimization12.ads
554
log
plain
-rw-r--r--
loop_optimization13.adb
537
log
plain
-rw-r--r--
loop_optimization13.ads
451
log
plain
-rw-r--r--
loop_optimization13_pkg.ads
82
log
plain
-rw-r--r--
loop_optimization14.adb
554
log
plain
-rw-r--r--
loop_optimization14.ads
209
log
plain
-rw-r--r--
loop_optimization14_pkg.ads
106
log
plain
-rw-r--r--
loop_optimization15.adb
459
log
plain
-rw-r--r--
loop_optimization15.ads
181
log
plain
-rw-r--r--
loop_optimization16.adb
450
log
plain
-rw-r--r--
loop_optimization16_pkg.adb
155
log
plain
-rw-r--r--
loop_optimization16_pkg.ads
133
log
plain
-rw-r--r--
loop_optimization17.adb
438
log
plain
-rw-r--r--
loop_optimization17_pkg.adb
135
log
plain
-rw-r--r--
loop_optimization17_pkg.ads
611
log
plain
-rw-r--r--
loop_optimization18.adb
291
log
plain
-rw-r--r--
loop_optimization18.ads
165
log
plain
-rw-r--r--
loop_optimization18_pkg.ads
345
log
plain
-rw-r--r--
loop_optimization19.adb
985
log
plain
-rw-r--r--
loop_optimization2.adb
1253
log
plain
-rw-r--r--
loop_optimization2.ads
1180
log
plain
-rw-r--r--
loop_optimization20.adb
774
log
plain
-rw-r--r--
loop_optimization21.adb
463
log
plain
-rw-r--r--
loop_optimization21.ads
189
log
plain
-rw-r--r--
loop_optimization22.adb
425
log
plain
-rw-r--r--
loop_optimization22.ads
150
log
plain
-rw-r--r--
loop_optimization3.adb
315
log
plain
-rw-r--r--
loop_optimization3_pkg.adb
143
log
plain
-rw-r--r--
loop_optimization3_pkg.ads
107
log
plain
-rw-r--r--
loop_optimization4.adb
162
log
plain
-rw-r--r--
loop_optimization4_pkg.adb
461
log
plain
-rw-r--r--
loop_optimization4_pkg.ads
265
log
plain
-rw-r--r--
loop_optimization5.adb
579
log
plain
-rw-r--r--
loop_optimization5_pkg.ads
191
log
plain
-rw-r--r--
loop_optimization6.adb
433
log
plain
-rw-r--r--
loop_optimization6.ads
92
log
plain
-rw-r--r--
loop_optimization7.adb
334
log
plain
-rw-r--r--
loop_optimization7.ads
191
log
plain
-rw-r--r--
loop_optimization7_pkg.ads
171
log
plain
-rw-r--r--
loop_optimization8.adb
597
log
plain
-rw-r--r--
loop_optimization8_pkg1.adb
381
log
plain
-rw-r--r--
loop_optimization8_pkg1.ads
468
log
plain
-rw-r--r--
loop_optimization8_pkg2.adb
285
log
plain
-rw-r--r--
loop_optimization8_pkg2.ads
392
log
plain
-rw-r--r--
loop_optimization9.adb
3357
log
plain
-rw-r--r--
loop_optimization9.ads
432
log
plain
-rw-r--r--
loop_unchecked_conversion.adb
714
log
plain
-rw-r--r--
loop_unchecked_conversion.ads
90
log
plain
-rw-r--r--
lto1.adb
256
log
plain
-rw-r--r--
lto10.adb
252
log
plain
-rw-r--r--
lto10_pkg.ads
329
log
plain
-rw-r--r--
lto11.adb
459
log
plain
-rw-r--r--
lto11.ads
198
log
plain
-rw-r--r--
lto13.adb
133
log
plain
-rw-r--r--
lto13_pkg.adb
132
log
plain
-rw-r--r--
lto13_pkg.ads
76
log
plain
-rw-r--r--
lto14.adb
177
log
plain
-rw-r--r--
lto15.adb
221
log
plain
-rw-r--r--
lto15.ads
207
log
plain
-rw-r--r--
lto16.adb
312
log
plain
-rw-r--r--
lto16_pkg.adb
338
log
plain
-rw-r--r--
lto16_pkg.ads
65
log
plain
-rw-r--r--
lto17.adb
252
log
plain
-rw-r--r--
lto17.ads
446
log
plain
-rw-r--r--
lto1_pkg.adb
570
log
plain
-rw-r--r--
lto1_pkg.ads
737
log
plain
-rw-r--r--
lto2.adb
589
log
plain
-rw-r--r--
lto4.adb
281
log
plain
-rw-r--r--
lto4.ads
581
log
plain
-rw-r--r--
lto5.adb
113
log
plain
-rw-r--r--
lto5_pkg.adb
85
log
plain
-rw-r--r--
lto5_pkg.ads
108
log
plain
-rw-r--r--
lto6.adb
284
log
plain
-rw-r--r--
lto6_pkg.ads
235
log
plain
-rw-r--r--
lto7.adb
253
log
plain
-rw-r--r--
lto7_pkg.adb
143
log
plain
-rw-r--r--
lto7_pkg.ads
390
log
plain
-rw-r--r--
lto8.adb
382
log
plain
-rw-r--r--
lto8_pkg.adb
183
log
plain
-rw-r--r--
lto8_pkg.ads
480
log
plain
-rw-r--r--
lto9.adb
267
log
plain
-rw-r--r--
lto9_pkg1.ads
623
log
plain
-rw-r--r--
lto9_pkg2.adb
249
log
plain
-rw-r--r--
lto9_pkg2.ads
482
log
plain
-rw-r--r--
machine_code1.adb
308
log
plain
-rw-r--r--
max_align.adb
256
log
plain
-rw-r--r--
md5_test.adb
379
log
plain
-rw-r--r--
memtrap.adb
273
log
plain
-rw-r--r--
misaligned_nest.adb
387
log
plain
-rw-r--r--
misaligned_param.adb
633
log
plain
-rw-r--r--
misaligned_param_pkg.adb
305
log
plain
-rw-r--r--
misaligned_param_pkg.ads
108
log
plain
-rw-r--r--
misaligned_volatile.adb
526
log
plain
-rw-r--r--
missing_acc_check.adb
807
log
plain
-rw-r--r--
modify_a_constant.adb
566
log
plain
-rw-r--r--
modular1.adb
424
log
plain
-rw-r--r--
modular2.adb
113
log
plain
-rw-r--r--
modular3.adb
454
log
plain
-rw-r--r--
modular3_pkg.ads
239
log
plain
-rw-r--r--
modular4.adb
185
log
plain
-rw-r--r--
modular4_pkg.ads
130
log
plain
-rw-r--r--
mutable1.adb
668
log
plain
-rw-r--r--
my_env_versioned_value_set_g.ads
201
log
plain
-rw-r--r--
named_test.adb
559
log
plain
-rw-r--r--
namet.ads
196
log
plain
-rw-r--r--
nan_max.adb
528
log
plain
-rw-r--r--
nat1.ads
162
log
plain
-rw-r--r--
nat1r.adb
221
log
plain
-rw-r--r--
nested_agg_bitfield_constructor.adb
693
log
plain
-rw-r--r--
nested_controlled_alloc.adb
1021
log
plain
-rw-r--r--
nested_float_packed.ads
438
log
plain
-rw-r--r--
nested_generic1.adb
212
log
plain
-rw-r--r--
nested_generic1_pkg.adb
229
log
plain
-rw-r--r--
nested_generic1_pkg.ads
191
log
plain
-rw-r--r--
nested_proc1.adb
567
log
plain
-rw-r--r--
nested_proc2.adb
443
log
plain
-rw-r--r--
nested_return_test.adb
892
log
plain
-rw-r--r--
nested_subtype_byref.adb
398
log
plain
-rw-r--r--
nested_subtype_byref.ads
58
log
plain
-rw-r--r--
no_exc_prop.adb
327
log
plain
-rw-r--r--
no_exc_prop.ads
233
log
plain
-rw-r--r--
no_final.adb
564
log
plain
-rw-r--r--
noinline2.adb
455
log
plain
-rw-r--r--
noinline2.ads
84
log
plain
-rw-r--r--
noreturn1.adb
330
log
plain
-rw-r--r--
noreturn1.ads
159
log
plain
-rw-r--r--
noreturn2.adb
599
log
plain
-rw-r--r--
noreturn2.ads
166
log
plain
-rw-r--r--
noreturn3.adb
533
log
plain
-rw-r--r--
noreturn3.ads
227
log
plain
-rw-r--r--
noreturn4.adb
348
log
plain
-rw-r--r--
noreturn4.ads
214
log
plain
-rw-r--r--
noreturn4_pkg.ads
410
log
plain
-rw-r--r--
noreturn5.adb
644
log
plain
-rw-r--r--
noreturn5.ads
132
log
plain
-rw-r--r--
not_null.adb
487
log
plain
-rw-r--r--
notnot.adb
201
log
plain
-rw-r--r--
null_pointer_deref1.adb
525
log
plain
-rw-r--r--
null_pointer_deref2.adb
611
log
plain
-rw-r--r--
null_pointer_deref3.adb
549
log
plain
-rw-r--r--
oalign1.ads
108
log
plain
-rw-r--r--
oalign2.ads
108
log
plain
-rw-r--r--
object_overflow1.adb
245
log
plain
-rw-r--r--
object_overflow2.adb
255
log
plain
-rw-r--r--
object_overflow3.adb
322
log
plain
-rw-r--r--
object_overflow4.adb
424
log
plain
-rw-r--r--
object_overflow5.adb
430
log
plain
-rw-r--r--
oconst1.adb
300
log
plain
-rw-r--r--
oconst1.ads
382
log
plain
-rw-r--r--
oconst2.adb
241
log
plain
-rw-r--r--
oconst2.ads
351
log
plain
-rw-r--r--
oconst3.adb
269
log
plain
-rw-r--r--
oconst3.ads
426
log
plain
-rw-r--r--
oconst4.adb
519
log
plain
-rw-r--r--
oconst4.ads
1375
log
plain
-rw-r--r--
oconst5.adb
299
log
plain
-rw-r--r--
oconst5.ads
522
log
plain
-rw-r--r--
old_errors.ads
66
log
plain
-rw-r--r--
opt1.adb
644
log
plain
-rw-r--r--
opt1.ads
310
log
plain
-rw-r--r--
opt10.adb
477
log
plain
-rw-r--r--
opt10_pkg.ads
297
log
plain
-rw-r--r--
opt11.adb
160
log
plain
-rw-r--r--
opt11.ads
316
log
plain
-rw-r--r--
opt12.adb
288
log
plain
-rw-r--r--
opt12_pkg.adb
149
log
plain
-rw-r--r--
opt12_pkg.ads
245
log
plain
-rw-r--r--
opt13.adb
186
log
plain
-rw-r--r--
opt13_pkg.adb
587
log
plain
-rw-r--r--
opt13_pkg.ads
192
log
plain
-rw-r--r--
opt14.adb
364
log
plain
-rw-r--r--
opt15.adb
221
log
plain
-rw-r--r--
opt15_pkg.adb
184
log
plain
-rw-r--r--
opt15_pkg.ads
98
log
plain
-rw-r--r--
opt16.adb
723
log
plain
-rw-r--r--
opt17.adb
196
log
plain
-rw-r--r--
opt17.ads
89
log
plain
-rw-r--r--
opt18.adb
986
log
plain
-rw-r--r--
opt18.ads
642
log
plain
-rw-r--r--
opt18_pkg.ads
529
log
plain
-rw-r--r--
opt19.adb
477
log
plain
-rw-r--r--
opt2.adb
564
log
plain
-rw-r--r--
opt20.adb
504
log
plain
-rw-r--r--
opt20.ads
114
log
plain
-rw-r--r--
opt20_pkg.ads
263
log
plain
-rw-r--r--
opt21.adb
167
log
plain
-rw-r--r--
opt21_pkg.adb
352
log
plain
-rw-r--r--
opt21_pkg.ads
298
log
plain
-rw-r--r--
opt22.adb
301
log
plain
-rw-r--r--
opt22_pkg.adb
239
log
plain
-rw-r--r--
opt22_pkg.ads
89
log
plain
-rw-r--r--
opt23.adb
355
log
plain
-rw-r--r--
opt23.ads
97
log
plain
-rw-r--r--
opt23_pkg.adb
156
log
plain
-rw-r--r--
opt23_pkg.ads
654
log
plain
-rw-r--r--
opt24.adb
307
log
plain
-rw-r--r--
opt24.ads
97
log
plain
-rw-r--r--
opt25.adb
354
log
plain
-rw-r--r--
opt25_pkg1.adb
156
log
plain
-rw-r--r--
opt25_pkg1.ads
154
log
plain
-rw-r--r--
opt25_pkg2.adb
150
log
plain
-rw-r--r--
opt25_pkg2.ads
379
log
plain
-rw-r--r--
opt26.adb
715
log
plain
-rw-r--r--
opt27.adb
596
log
plain
-rw-r--r--
opt27_pkg.adb
802
log
plain
-rw-r--r--
opt27_pkg.ads
662
log
plain
-rw-r--r--
opt28.adb
841
log
plain
-rw-r--r--
opt28.ads
136
log
plain
-rw-r--r--
opt28_pkg.ads
397
log
plain
-rw-r--r--
opt29.adb
222
log
plain
-rw-r--r--
opt29.ads
493
log
plain
-rw-r--r--
opt3.adb
230
log
plain
-rw-r--r--
opt30.adb
418
log
plain
-rw-r--r--
opt31.adb
924
log
plain
-rw-r--r--
opt32.adb
745
log
plain
-rw-r--r--
opt33.adb
813
log
plain
-rw-r--r--
opt34.adb
608
log
plain
-rw-r--r--
opt34_pkg.ads
310
log
plain
-rw-r--r--
opt35.adb
347
log
plain
-rw-r--r--
opt35_pkg.adb
164
log
plain
-rw-r--r--
opt35_pkg.ads
115
log
plain
-rw-r--r--
opt36.adb
354
log
plain
-rw-r--r--
opt37.adb
1075
log
plain
-rw-r--r--
opt37.ads
493
log
plain
-rw-r--r--
opt38.adb
124
log
plain
-rw-r--r--
opt38_pkg.adb
482
log
plain
-rw-r--r--
opt38_pkg.ads
70
log
plain
-rw-r--r--
opt39.adb
533
log
plain
-rw-r--r--
opt3_pkg.ads
71
log
plain
-rw-r--r--
opt4.adb
303
log
plain
-rw-r--r--
opt40.adb
330
log
plain
-rw-r--r--
opt41.adb
396
log
plain
-rw-r--r--
opt41_pkg.adb
1602
log
plain
-rw-r--r--
opt41_pkg.ads
682
log
plain
-rw-r--r--
opt42.adb
573
log
plain
-rw-r--r--
opt42.ads
235
log
plain
-rw-r--r--
opt43.adb
280
log
plain
-rw-r--r--
opt44.adb
411
log
plain
-rw-r--r--
opt44.ads
172
log
plain
-rw-r--r--
opt45.adb
851
log
plain
-rw-r--r--
opt46.adb
1099
log
plain
-rw-r--r--
opt46.ads
282
log
plain
-rw-r--r--
opt46_pkg.adb
170
log
plain
-rw-r--r--
opt46_pkg.ads
679
log
plain
-rw-r--r--
opt47.adb
932
log
plain
-rw-r--r--
opt48.adb
217
log
plain
-rw-r--r--
opt48_pkg1.adb
265
log
plain
-rw-r--r--
opt48_pkg1.ads
104
log
plain
-rw-r--r--
opt48_pkg2.adb
127
log
plain
-rw-r--r--
opt48_pkg2.ads
162
log
plain
-rw-r--r--
opt49.adb
738
log
plain
-rw-r--r--
opt5.adb
368
log
plain
-rw-r--r--
opt50.adb
395
log
plain
-rw-r--r--
opt50_pkg.adb
1427
log
plain
-rw-r--r--
opt50_pkg.ads
284
log
plain
-rw-r--r--
opt51.adb
403
log
plain
-rw-r--r--
opt51_pkg.ads
72
log
plain
-rw-r--r--
opt52.adb
244
log
plain
-rw-r--r--
opt6.adb
600
log
plain
-rw-r--r--
opt6.ads
389
log
plain
-rw-r--r--
opt7.adb
1248
log
plain
-rw-r--r--
opt7.ads
291
log
plain
-rw-r--r--
opt7_pkg.ads
68
log
plain
-rw-r--r--
opt8.adb
1350
log
plain
-rw-r--r--
opt8.ads
1247
log
plain
-rw-r--r--
opt8_pkg.ads
123
log
plain
-rw-r--r--
opt9.adb
390
log
plain
-rw-r--r--
opt9_pkg.ads
57
log
plain
-rw-r--r--
outer_agg_bitfield_constructor.adb
845
log
plain
-rw-r--r--
overflow_fixed.adb
365
log
plain
-rw-r--r--
overflow_sum.adb
1822
log
plain
-rw-r--r--
overflow_sum2.adb
902
log
plain
-rw-r--r--
overflow_sum3.adb
340
log
plain
-rw-r--r--
overriding_ops.adb
328
log
plain
-rw-r--r--
overriding_ops.ads
407
log
plain
-rw-r--r--
overriding_ops_p.ads
281
log
plain
-rw-r--r--
pack1.ads
126
log
plain
-rw-r--r--
pack10.adb
507
log
plain
-rw-r--r--
pack11.adb
387
log
plain
-rw-r--r--
pack12.adb
529
log
plain
-rw-r--r--
pack13.adb
191
log
plain
-rw-r--r--
pack13.ads
734
log
plain
-rw-r--r--
pack13_pkg.ads
223
log
plain
-rw-r--r--
pack14.adb
224
log
plain
-rw-r--r--
pack15.adb
134
log
plain
-rw-r--r--
pack15.ads
383
log
plain
-rw-r--r--
pack16.adb
471
log
plain
-rw-r--r--
pack16_pkg.ads
62
log
plain
-rw-r--r--
pack17.adb
891
log
plain
-rw-r--r--
pack18.adb
220
log
plain
-rw-r--r--
pack18_pkg.ads
465
log
plain
-rw-r--r--
pack19.adb
1088
log
plain
-rw-r--r--
pack2.adb
376
log
plain
-rw-r--r--
pack20.adb
137
log
plain
-rw-r--r--
pack20.ads
240
log
plain
-rw-r--r--
pack20_pkg.ads
131
log
plain
-rw-r--r--
pack21.adb
526
log
plain
-rw-r--r--
pack22.adb
390
log
plain
-rw-r--r--
pack22_pkg.adb
367
log
plain
-rw-r--r--
pack22_pkg.ads
1619
log
plain
-rw-r--r--
pack3.adb
532
log
plain
-rw-r--r--
pack4.adb
590
log
plain
-rw-r--r--
pack5.adb
508
log
plain
-rw-r--r--
pack6.adb
406
log
plain
-rw-r--r--
pack7.adb
397
log
plain
-rw-r--r--
pack8.adb
428
log
plain
-rw-r--r--
pack9.adb
387
log
plain
-rw-r--r--
pack9.ads
256
log
plain
-rw-r--r--
packed_subtype.adb
372
log
plain
-rw-r--r--
pak.adb
445
log
plain
-rw-r--r--
pak.ads
227
log
plain
-rw-r--r--
parameterlessfunc.adb
358
log
plain
-rw-r--r--
parent_ltd_with-child_full_view.adb
303
log
plain
-rw-r--r--
parent_ltd_with-child_full_view.ads
349
log
plain
-rw-r--r--
parent_ltd_with.ads
304
log
plain
-rw-r--r--
pointer_array.adb
230
log
plain
-rw-r--r--
pointer_controlled.adb
676
log
plain
-rw-r--r--
pointer_conversion.adb
429
log
plain
-rw-r--r--
pointer_discr1.adb
172
log
plain
-rw-r--r--
pointer_discr1_pkg1.ads
162
log
plain
-rw-r--r--
pointer_discr1_pkg2.ads
259
log
plain
-rw-r--r--
pointer_discr1_pkg3.ads
243
log
plain
-rw-r--r--
pointer_protected.adb
214
log
plain
-rw-r--r--
pointer_protected_p.ads
182
log
plain
-rw-r--r--
pointer_variable_bounds.adb
626
log
plain
-rw-r--r--
pointer_variable_bounds.ads
590
log
plain
-rw-r--r--
pointer_variable_bounds_q.ads
165
log
plain
-rw-r--r--
prefix1.adb
208
log
plain
-rw-r--r--
prefix1.ads
148
log
plain
-rw-r--r--
prefix2.adb
958
log
plain
-rw-r--r--
prefix2.ads
743
log
plain
-rw-r--r--
profile_warning.adb
59
log
plain
-rw-r--r--
profile_warning.ads
165
log
plain
-rw-r--r--
profile_warning_p.adb
283
log
plain
-rw-r--r--
profile_warning_p.ads
64
log
plain
-rw-r--r--
prot1.adb
443
log
plain
-rw-r--r--
prot2.adb
396
log
plain
-rw-r--r--
prot2.ads
50
log
plain
-rw-r--r--
prot2_pkg1.ads
72
log
plain
-rw-r--r--
prot2_pkg2.adb
395
log
plain
-rw-r--r--
prot2_pkg2.ads
216
log
plain
-rw-r--r--
prot_def.adb
809
log
plain
-rw-r--r--
protected_self_ref1.adb
450
log
plain
-rw-r--r--
protected_self_ref2.adb
314
log
plain
-rw-r--r--
quote.adb
162
log
plain
-rw-r--r--
raise_ce.adb
60
log
plain
-rw-r--r--
raise_from_pure.adb
197
log
plain
-rw-r--r--
raise_from_pure.ads
105
log
plain
-rw-r--r--
range_check.adb
320
log
plain
-rw-r--r--
range_check2.adb
334
log
plain
-rw-r--r--
rational_arithmetic.ads
1017
log
plain
-rw-r--r--
recursive_call.adb
248
log
plain
-rw-r--r--
ref_type.adb
209
log
plain
-rw-r--r--
ref_type.ads
103
log
plain
-rw-r--r--
regpat1.adb
241
log
plain
-rw-r--r--
release_unc_maxalign.adb
428
log
plain
-rw-r--r--
remote_type.adb
468
log
plain
-rw-r--r--
remote_type.ads
583
log
plain
-rw-r--r--
renaming1.adb
243
log
plain
-rw-r--r--
renaming1.ads
83
log
plain
-rw-r--r--
renaming2.adb
1705
log
plain
-rw-r--r--
renaming3.adb
213
log
plain
-rw-r--r--
renaming4.ads
342
log
plain
-rw-r--r--
renaming5.adb
576
log
plain
-rw-r--r--
renaming5.ads
57
log
plain
-rw-r--r--
renaming6.adb
561
log
plain
-rw-r--r--
renaming6.ads
238
log
plain
-rw-r--r--
renaming7.adb
216
log
plain
-rw-r--r--
renaming7_pkg.ads
61
log
plain
-rw-r--r--
rep_clause1.adb
2453
log
plain
-rw-r--r--
rep_clause2.adb
241
log
plain
-rw-r--r--
rep_clause2.ads
1081
log
plain
-rw-r--r--
rep_clause3.adb
867
log
plain
-rw-r--r--
rep_clause4.adb
615
log
plain
-rw-r--r--
rep_clause5.adb
1017
log
plain
-rw-r--r--
rep_clause5.ads
243
log
plain
-rw-r--r--
rep_clause5_pkg.ads
7321
log
plain
-rw-r--r--
requeue1.adb
953
log
plain
-rw-r--r--
return1.adb
268
log
plain
-rw-r--r--
return1.ads
238
log
plain
-rw-r--r--
return2.adb
722
log
plain
-rw-r--r--
return2.ads
349
log
plain
-rw-r--r--
return2_pkg.ads
133
log
plain
-rw-r--r--
return3.adb
162
log
plain
-rw-r--r--
return4.adb
335
log
plain
-rw-r--r--
return4_pkg.adb
178
log
plain
-rw-r--r--
return4_pkg.ads
151
log
plain
-rw-r--r--
round_div.adb
385
log
plain
-rw-r--r--
rt1.adb
180
log
plain
-rw-r--r--
rt1.ads
419
log
plain
-rw-r--r--
scalar_mode_agg_compare.adb
571
log
plain
-rw-r--r--
scalar_mode_agg_compare_loop.adb
404
log
plain
-rw-r--r--
self.adb
453
log
plain
-rw-r--r--
self.ads
574
log
plain
-rw-r--r--
self1.adb
480
log
plain
-rw-r--r--
self_aggregate_with_array.adb
396
log
plain
-rw-r--r--
self_aggregate_with_call.adb
579
log
plain
-rw-r--r--
self_aggregate_with_pointer.adb
484
log
plain
-rw-r--r--
self_aggregate_with_zeros.adb
382
log
plain
-rw-r--r--
set_in_pproc.adb
368
log
plain
-rw-r--r--
show_deques_priority.adb
168
log
plain
-rw-r--r--
size_attribute.adb
151
log
plain
-rw-r--r--
sizetype1.adb
273
log
plain
-rw-r--r--
sizetype2.adb
576
log
plain
-rw-r--r--
sizetype3.adb
409
log
plain
-rw-r--r--
sizetype3.ads
188
log
plain
-rw-r--r--
sizetype3_pkg.ads
127
log
plain
-rw-r--r--
sizetype4.adb
489
log
plain
-rw-r--r--
slice1.adb
485
log
plain
-rw-r--r--
slice2.adb
206
log
plain
-rw-r--r--
slice2.ads
217
log
plain
-rw-r--r--
slice3.adb
517
log
plain
-rw-r--r--
slice4.adb
581
log
plain
-rw-r--r--
slice5.adb
680
log
plain
-rw-r--r--
slice6.adb
350
log
plain
-rw-r--r--
slice6_pkg.ads
387
log
plain
-rw-r--r--
slice7.adb
1055
log
plain
-rw-r--r--
slice7_pkg.ads
149
log
plain
-rw-r--r--
slice8.adb
177
log
plain
-rw-r--r--
slice8_pkg1.ads
99
log
plain
-rw-r--r--
slice8_pkg2.ads
457
log
plain
-rw-r--r--
slice8_pkg3.adb
391
log
plain
-rw-r--r--
slice8_pkg3.ads
154
log
plain
-rw-r--r--
slice9.adb
297
log
plain
-rw-r--r--
slice_enum.adb
131
log
plain
-rw-r--r--
small_alignment.adb
436
log
plain
-rw-r--r--
socket1.adb
303
log
plain
-rw-r--r--
sort1.adb
778
log
plain
-rw-r--r--
sort1.ads
64
log
plain
-rw-r--r--
sort2.adb
155
log
plain
-rw-r--r--
source_ref1.adb
85
log
plain
-rw-r--r--
source_ref2.adb
124
log
plain
d---------
specs
7514
log
plain
-rw-r--r--
spipaterr.adb
292
log
plain
-rw-r--r--
sse_nolib.adb
1287
log
plain
d---------
sso
2550
log
plain
-rw-r--r--
sso1.adb
2010
log
plain
-rw-r--r--
sso2.adb
234
log
plain
-rw-r--r--
sso2.ads
298
log
plain
-rw-r--r--
sso3.adb
1167
log
plain
-rw-r--r--
sso4.adb
1195
log
plain
-rw-r--r--
sso5.adb
1134
log
plain
-rw-r--r--
sso6.adb
1193
log
plain
-rw-r--r--
sso7.adb
1134
log
plain
-rw-r--r--
stack_check1.adb
734
log
plain
-rw-r--r--
stack_check2.adb
818
log
plain
-rw-r--r--
stack_check3.adb
642
log
plain
-rw-r--r--
stack_check3.ads
63
log
plain
-rw-r--r--
stack_usage1.adb
2194
log
plain
-rw-r--r--
stack_usage1_pkg.adb
224
log
plain
-rw-r--r--
stack_usage1_pkg.ads
242
log
plain
-rw-r--r--
stack_usage1b.adb
2199
log
plain
-rw-r--r--
stack_usage1c.adb
2200
log
plain
-rw-r--r--
stack_usage2.adb
527
log
plain
-rw-r--r--
statically_matching.ads
244
log
plain
-rw-r--r--
str1.adb
313
log
plain
-rw-r--r--
string_comparison.adb
208
log
plain
-rw-r--r--
string_slice.adb
339
log
plain
-rw-r--r--
string_slice2.adb
492
log
plain
-rw-r--r--
subp_elim_errors.adb
621
log
plain
-rw-r--r--
subp_elim_errors.ads
115
log
plain
-rw-r--r--
sync1.adb
273
log
plain
-rw-r--r--
sync1.ads
319
log
plain
-rw-r--r--
sync_iface_test.adb
414
log
plain
-rw-r--r--
sync_iface_test.ads
320
log
plain
-rw-r--r--
taft_type1.adb
102
log
plain
-rw-r--r--
taft_type1_pkg1.adb
448
log
plain
-rw-r--r--
taft_type1_pkg1.ads
183
log
plain
-rw-r--r--
taft_type1_pkg2.ads
138
log
plain
-rw-r--r--
taft_type2.adb
315
log
plain
-rw-r--r--
taft_type2.ads
59
log
plain
-rw-r--r--
taft_type2_pkg.ads
157
log
plain
-rw-r--r--
taft_type3.adb
505
log
plain
-rw-r--r--
taft_type3_pkg.ads
125
log
plain
-rw-r--r--
tag1.adb
450
log
plain
-rw-r--r--
tagged_alloc_free.adb
560
log
plain
-rw-r--r--
tagged_type_pkg.adb
515
log
plain
-rw-r--r--
tagged_type_pkg.ads
248
log
plain
-rw-r--r--
tail_call.adb
159
log
plain
-rw-r--r--
tail_call_p.adb
698
log
plain
-rw-r--r--
tail_call_p.ads
217
log
plain
-rw-r--r--
task_name.adb
122
log
plain
-rw-r--r--
task_name.ads
750
log
plain
-rw-r--r--
task_stack_align.adb
704
log
plain
-rw-r--r--
test_8bitlong_overflow.adb
513
log
plain
-rw-r--r--
test_address_null_init.adb
397
log
plain
-rw-r--r--
test_ai254.adb
270
log
plain
-rw-r--r--
test_allocator_maxalign2.adb
125
log
plain
-rw-r--r--
test_bip_no_alloc.adb
580
log
plain
-rw-r--r--
test_bounded.adb
274
log
plain
-rw-r--r--
test_call.adb
599
log
plain
-rw-r--r--
test_debug1.adb
134
log
plain
-rw-r--r--
test_delay.adb
129
log
plain
-rw-r--r--
test_direct_io.adb
243
log
plain
-rw-r--r--
test_dse_step.adb
291
log
plain
-rw-r--r--
test_enum_io.adb
604
log
plain
-rw-r--r--
test_equal1.adb
354
log
plain
-rw-r--r--
test_ext1.adb
117
log
plain
-rw-r--r--
test_fixed_io.adb
852
log
plain
-rw-r--r--
test_iface_aggr.adb
1174
log
plain
-rw-r--r--
test_ifaces.adb
215
log
plain
-rw-r--r--
test_image.adb
149
log
plain
-rw-r--r--
test_image_p.adb
670
log
plain
-rw-r--r--
test_image_p.ads
744
log
plain
-rw-r--r--
test_nested_subtype_byref.adb
150
log
plain
-rw-r--r--
test_oalign.adb
339
log
plain
-rw-r--r--
test_oconst.adb
306
log
plain
-rw-r--r--
test_prefix1.adb
273
log
plain
-rw-r--r--
test_prio.adb
418
log
plain
-rw-r--r--
test_prio_p.adb
187
log
plain
-rw-r--r--
test_prio_p.ads
479
log
plain
-rw-r--r--
test_raise_from_pure.adb
316
log
plain
-rw-r--r--
test_rational_arithmetic.adb
418
log
plain
-rw-r--r--
test_self.adb
259
log
plain
-rw-r--r--
test_self_ref.adb
845
log
plain
-rw-r--r--
test_table1.adb
820
log
plain
-rw-r--r--
test_tables.adb
203
log
plain
-rw-r--r--
test_time_stamp.adb
801
log
plain
-rw-r--r--
test_unknown_discrs.adb
606
log
plain
-rw-r--r--
test_version.adb
348
log
plain
-rw-r--r--
testint.adb
318
log
plain
-rw-r--r--
tf_interface_1.adb
199
log
plain
-rw-r--r--
tf_interface_1.ads
655
log
plain
-rw-r--r--
tfren.adb
780
log
plain
-rw-r--r--
thin_pointer1.adb
234
log
plain
-rw-r--r--
thin_pointer1.ads
432
log
plain
-rw-r--r--
thin_pointer2.adb
230
log
plain
-rw-r--r--
thin_pointer2_pkg.adb
350
log
plain
-rw-r--r--
thin_pointer2_pkg.ads
169
log
plain
-rw-r--r--
timer_cancel.adb
844
log
plain
-rw-r--r--
trampoline1.adb
377
log
plain
-rw-r--r--
trampoline2.adb
439
log
plain
-rw-r--r--
tree_static_def.adb
160
log
plain
-rw-r--r--
tree_static_def.ads
177
log
plain
-rw-r--r--
tree_static_use.adb
164
log
plain
-rw-r--r--
type_conv.adb
275
log
plain
-rw-r--r--
unaligned_rep_clause.adb
689
log
plain
-rw-r--r--
unc.adb
602
log
plain
-rw-r--r--
unc_memfree.adb
865
log
plain
-rw-r--r--
unc_memops.adb
1359
log
plain
-rw-r--r--
unc_memops.ads
948
log
plain
-rw-r--r--
unchecked_convert1.adb
687
log
plain
-rw-r--r--
unchecked_convert2.adb
854
log
plain
-rw-r--r--
unchecked_convert3.adb
355
log
plain
-rw-r--r--
unchecked_convert4.adb
408
log
plain
-rw-r--r--
unchecked_convert5.adb
396
log
plain
-rw-r--r--
unchecked_convert5b.adb
403
log
plain
-rw-r--r--
unchecked_convert6.adb
396
log
plain
-rw-r--r--
unchecked_convert6b.adb
403
log
plain
-rw-r--r--
unchecked_convert7.adb
653
log
plain
-rw-r--r--
unchecked_convert8.adb
631
log
plain
-rw-r--r--
unchecked_convert8.ads
76
log
plain
-rw-r--r--
unchecked_convert9.adb
287
log
plain
-rw-r--r--
unchecked_convert9.ads
365
log
plain
-rw-r--r--
unchecked_union1.adb
409
log
plain
-rw-r--r--
uninit_array.adb
386
log
plain
-rw-r--r--
uninit_array.ads
79
log
plain
-rw-r--r--
uninit_array_pkg.ads
206
log
plain
-rw-r--r--
uninit_func.adb
268
log
plain
-rw-r--r--
valid1.adb
460
log
plain
-rw-r--r--
valued_proc.adb
259
log
plain
-rw-r--r--
valued_proc_pkg.ads
443
log
plain
-rw-r--r--
varsize1.adb
552
log
plain
-rw-r--r--
varsize2.adb
458
log
plain
-rw-r--r--
varsize2.ads
621
log
plain
-rw-r--r--
varsize3_1.adb
66
log
plain
-rw-r--r--
varsize3_1.ads
142
log
plain
-rw-r--r--
varsize3_2.adb
143
log
plain
-rw-r--r--
varsize3_3.adb
136
log
plain
-rw-r--r--
varsize3_4.adb
139
log
plain
-rw-r--r--
varsize3_5.adb
142
log
plain
-rw-r--r--
varsize3_6.adb
138
log
plain
-rw-r--r--
varsize3_pkg1.ads
248
log
plain
-rw-r--r--
varsize3_pkg2.ads
86
log
plain
-rw-r--r--
varsize3_pkg3.ads
164
log
plain
-rw-r--r--
vect1.adb
2776
log
plain
-rw-r--r--
vect1.ads
1558
log
plain
-rw-r--r--
vect10.adb
623
log
plain
-rw-r--r--
vect10.ads
326
log
plain
-rw-r--r--
vect11.adb
746
log
plain
-rw-r--r--
vect11.ads
330
log
plain
-rw-r--r--
vect12.adb
629
log
plain
-rw-r--r--
vect12.ads
252
log
plain
-rw-r--r--
vect13.adb
627
log
plain
-rw-r--r--
vect13.ads
252
log
plain
-rw-r--r--
vect14.adb
617
log
plain
-rw-r--r--
vect15.adb
362
log
plain
-rw-r--r--
vect15.ads
163
log
plain
-rw-r--r--
vect16.adb
398
log
plain
-rw-r--r--
vect16.ads
169
log
plain
-rw-r--r--
vect17.adb
374
log
plain
-rw-r--r--
vect17.ads
179
log
plain
-rw-r--r--
vect18.adb
432
log
plain
-rw-r--r--
vect18.ads
167
log
plain
-rw-r--r--
vect1_pkg.ads
98
log
plain
-rw-r--r--
vect2.adb
2776
log
plain
-rw-r--r--
vect2.ads
1599
log
plain
-rw-r--r--
vect2_pkg.ads
100
log
plain
-rw-r--r--
vect3.adb
2776
log
plain
-rw-r--r--
vect3.ads
1664
log
plain
-rw-r--r--
vect3_pkg.ads
165
log
plain
-rw-r--r--
vect4.adb
2926
log
plain
-rw-r--r--
vect4.ads
1753
log
plain
-rw-r--r--
vect4_pkg.ads
98
log
plain
-rw-r--r--
vect5.adb
2926
log
plain
-rw-r--r--
vect5.ads
1796
log
plain
-rw-r--r--
vect5_pkg.ads
100
log
plain
-rw-r--r--
vect6.adb
2926
log
plain
-rw-r--r--
vect6.ads
1859
log
plain
-rw-r--r--
vect6_pkg.ads
165
log
plain
-rw-r--r--
vect7.adb
328
log
plain
-rw-r--r--
vect7.ads
319
log
plain
-rw-r--r--
vect8.adb
236
log
plain
-rw-r--r--
vect8.ads
164
log
plain
-rw-r--r--
vect9.adb
980
log
plain
-rw-r--r--
vect9.ads
230
log
plain
-rw-r--r--
vect9_pkg.ads
522
log
plain
-rw-r--r--
vfa1_1.adb
1314
log
plain
-rw-r--r--
vfa1_2.adb
1206
log
plain
-rw-r--r--
vfa1_3.adb
1253
log
plain
-rw-r--r--
vfa1_4.adb
1235
log
plain
-rw-r--r--
vfa1_pkg.ads
954
log
plain
-rw-r--r--
view_conversion1.adb
1105
log
plain
-rw-r--r--
volatile1.ads
447
log
plain
-rw-r--r--
volatile10.adb
139
log
plain
-rw-r--r--
volatile10_pkg.ads
537
log
plain
-rw-r--r--
volatile11.adb
1051
log
plain
-rw-r--r--
volatile11_pkg.adb
699
log
plain
-rw-r--r--
volatile11_pkg.ads
475
log
plain
-rw-r--r--
volatile12.adb
115
log
plain
-rw-r--r--
volatile12.ads
136
log
plain
-rw-r--r--
volatile13.adb
231
log
plain
-rw-r--r--
volatile13.ads
495
log
plain
-rw-r--r--
volatile2.adb
472
log
plain
-rw-r--r--
volatile2.ads
267
log
plain
-rw-r--r--
volatile3.adb
285
log
plain
-rw-r--r--
volatile4.adb
323
log
plain
-rw-r--r--
volatile5.adb
172
log
plain
-rw-r--r--
volatile5_pkg.ads
156
log
plain
-rw-r--r--
volatile6.adb
318
log
plain
-rw-r--r--
volatile7.adb
380
log
plain
-rw-r--r--
volatile8.adb
379
log
plain
-rw-r--r--
volatile9.adb
353
log
plain
-rw-r--r--
volatile_aggregate.adb
676
log
plain
-rw-r--r--
warn1.adb
288
log
plain
-rw-r--r--
warn10.adb
226
log
plain
-rw-r--r--
warn10.ads
194
log
plain
-rw-r--r--
warn10_pkg.ads
281
log
plain
-rw-r--r--
warn11.adb
438
log
plain
-rw-r--r--
warn12.adb
1193
log
plain
-rw-r--r--
warn12_pkg.ads
511
log
plain
-rw-r--r--
warn13.adb
274
log
plain
-rw-r--r--
warn2.adb
413
log
plain
-rw-r--r--
warn3.adb
398
log
plain
-rw-r--r--
warn4.adb
847
log
plain
-rw-r--r--
warn5.adb
824
log
plain
-rw-r--r--
warn6.adb
228
log
plain
-rw-r--r--
warn6.ads
219
log
plain
-rw-r--r--
warn7.adb
247
log
plain
-rw-r--r--
warn8.adb
123
log
plain
-rw-r--r--
warn9.adb
153
log
plain
-rw-r--r--
weak2.adb
124
log
plain
-rw-r--r--
weak2.ads
151
log
plain
-rw-r--r--
wide_boolean.adb
389
log
plain
-rw-r--r--
wide_boolean_pkg.adb
182
log
plain
-rw-r--r--
wide_boolean_pkg.ads
512
log
plain
-rw-r--r--
wide_pi.adb
117
log
plain
-rw-r--r--
wide_test.adb
348
log
plain