repo.or.cz
/
official-gcc.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
history
|
HEAD
|
snapshot (
tar.gz
zip
)
2013-04-30 Richard Biener <rguenther@suse.de>
[official-gcc.git]
/
gcc
/
testsuite
/
gnat.dg
/
tree
0e6a6402e5e976bcfc349da30ac49e21bc7f3c21
drwxr-xr-x
..
-rw-r--r--
964
abstract1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
619
abstract1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
896
abstract_with_anonymous_result.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
414
access1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
367
access2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
318
access3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
246
access3.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
147
access4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
559
access_discr.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
197
access_discr2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
217
access_func.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
563
access_test.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
387
addr1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
48
addr1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
158
addr2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
248
addr2_p.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
229
addr2_p.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
664
addr3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
253
addr4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
199
addr5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
554
addr6.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
408
addr_slice.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
452
address_conversion.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
226
address_null_init.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1228
aggr1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
593
aggr10.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
460
aggr10_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
405
aggr11.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
283
aggr11_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
399
aggr12.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
261
aggr12.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
437
aggr13.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
91
aggr14.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
235
aggr14_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
148
aggr14_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
303
aggr15.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
233
aggr15.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
431
aggr16.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
50
aggr16.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
433
aggr16_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
554
aggr17.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
545
aggr18.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
253
aggr19.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
153
aggr19_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
570
aggr19_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
310
aggr2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
147
aggr20.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
430
aggr20.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
140
aggr20_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
842
aggr3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
514
aggr4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
813
aggr7.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
401
aggr8.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
162
aggr9.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
89
aggr9.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
231
aggr9_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
568
aliased1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1558
aliased_prefix_accessibility.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
493
aliasing1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
177
aliasing1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
496
aliasing2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
163
aliasing2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
162
aliasing3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
157
aliasing3_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
305
aliasing3_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
523
align_check.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
3832
align_max.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
533
aligned_vla.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
247
alignment1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
390
alignment10.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1236
alignment2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
883
alignment3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
284
alignment4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
701
alignment5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
760
alignment6.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
306
alignment7.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
318
alignment8.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
444
alignment9.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
964
allocator_maxalign1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
669
allocator_maxalign2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
211
allocator_maxalign2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
233
ancestor_type.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
200
ancestor_type.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
66
anon1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
120
anon2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
656
array1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
151
array1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
449
array10.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
333
array11.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
347
array12.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
211
array13.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
201
array13.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
682
array14.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
52
array14.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
455
array14_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
397
array15.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
78
array15.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
600
array16.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
537
array16.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
71
array16_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
242
array17.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
180
array17_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
125
array18.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
132
array18_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
531
array19.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
53
array19.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
129
array2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
201
array20.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
60
array20.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
309
array21.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
385
array22.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
145
array23.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
254
array23_pkg1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
199
array23_pkg2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
65
array23_pkg3.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1110
array3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
576
array4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
575
array5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
605
array6.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
538
array7.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
484
array7.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
575
array8.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
309
array9.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
397
array_bounds_test.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
75
assert.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1086
assert1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
257
assign_from_packed.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
335
assign_from_packed_pixels.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
556
asynch.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
199
asynch.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
426
atomic1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1024
atomic1_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
214
atomic2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
398
atomic3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
270
atomic4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
534
atomic4.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
341
atomic5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
382
atomic5.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1487
atomic6_1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1681
atomic6_2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1775
atomic6_3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1613
atomic6_4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1523
atomic6_5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1543
atomic6_6.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1593
atomic6_7.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1476
atomic6_8.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
600
atomic6_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
146
bad_array.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1067
biased_uc.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1341
bip_aggregate_bug.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
277
bip_prim_func.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
222
bip_prim_func.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
369
bit_packed_array1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
934
bit_packed_array1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
324
bit_packed_array2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
971
bit_packed_array3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
182
bit_packed_array4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
411
bit_packed_array4.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
453
bit_packed_array5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
363
bit_packed_array5.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1178
blkextract_from_reg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
202
bltins.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1198
boolean_bitfield.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
536
boolean_conv.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
781
boolean_expr1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
95
boolean_expr1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
314
boolean_expr2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
753
boolean_subtype1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
945
boolean_subtype2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
186
boolean_subtype2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
285
boolean_subtype2_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
184
bug_elaboration_code.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
119
bug_elaboration_code.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
288
c_words.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
469
c_words.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
245
capture_value.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
284
case_null.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
207
case_null.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
518
case_optimization1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
161
case_optimization1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
276
case_optimization2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
18675
case_optimization_pkg1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
598
case_optimization_pkg2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
764
case_optimization_pkg2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
146
check1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
207
check1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1100
check_displace_generation.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
197
check_elaboration_code.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
489
class_wide1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
287
class_wide2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
311
class_wide2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
293
compose.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
482
concat1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
117
concat1_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
89
concat1_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
362
concat2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
55
concat2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
317
concat_length.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
177
cond_expr1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
209
cond_expr2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
82
cond_expr2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
134
constant1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
171
constant2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
134
constant2_pkg1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
184
constant2_pkg2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
108
constant2_pkg2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
391
constant3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
211
constant4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
440
constant4_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
372
controlled1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
239
controlled2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
101
controlled2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
371
controlled3.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
192
controlled4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
89
controlled4.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
141
controlled5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
367
controlled5_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
369
controlled5_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
514
controlled6.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
560
controlled6_pkg-iterators.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
493
controlled6_pkg-iterators.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
212
controlled6_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
403
controlled7.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
146
controlled7.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
281
controlled_record.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
329
controlled_record.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
685
conv_bug.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
739
conv_decimal.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
246
conv_integer.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
568
conv_real.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
2246
curr_task.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
502
debug1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
599
debug2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
52
debug2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
404
debug2_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
483
debug3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
50
debug3.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
48
decl_ctx_def.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
229
decl_ctx_use.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
74
decl_ctx_use.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
276
deferred_const1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
203
deferred_const2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
201
deferred_const2_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
224
deferred_const2_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
344
deferred_const3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
342
deferred_const3_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
356
deferred_const3_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
174
deferred_const4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
279
deferred_const4.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
347
deferred_const4_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
400
deques.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
104
deref1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
344
deref2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
172
deref3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
666
derived_aggregate.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
650
derived_type1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
633
derived_type2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
124
derived_type3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1048
derived_type3_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
94
derived_type3_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1096
dg.exp
blob
|
blame
|
history
|
raw
-rw-r--r--
466
discr1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
146
discr10.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
516
discr10.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
164
discr11.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
174
discr11.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
213
discr11_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
565
discr12.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
89
discr12_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
607
discr13.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
270
discr14.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1063
discr14.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
312
discr15.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
436
discr15_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
404
discr16.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
105
discr16_cont.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
289
discr16_g.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
165
discr16_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1085
discr17.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
499
discr18.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
470
discr18_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
342
discr19.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
372
discr2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
53
discr2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
141
discr20.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
605
discr20.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
584
discr21.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
52
discr21.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
351
discr21_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
404
discr22.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
280
discr23.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
53
discr23.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
221
discr23_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1192
discr24.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
140
discr25.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
463
discr25_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
195
discr25_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
258
discr26.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
245
discr26.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
71
discr26_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
605
discr27.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
53
discr27.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
307
discr28.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
337
discr28.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
71
discr28_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
139
discr29.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
420
discr29.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
299
discr3.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1194
discr30.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
226
discr31.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
370
discr31.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
327
discr32.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
472
discr32_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
610
discr33.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
121
discr34.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
271
discr34_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
215
discr35.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
361
discr35.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
298
discr36.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
206
discr36.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
151
discr36_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
101
discr36_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
217
discr37.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
463
discr37.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
941
discr38.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
456
discr39.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
894
discr4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
231
discr40.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
719
discr40.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
168
discr41.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
437
discr41.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
323
discr5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
621
discr6.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
311
discr6_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
436
discr7.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
636
discr8.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
350
discr8.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
203
discr8_pkg1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
236
discr8_pkg2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
73
discr8_pkg3.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
188
discr9.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
475
discr9.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
415
discr_range_check.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
437
discr_test.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
381
discr_test2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
168
dispatch1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
95
dispatch1_p.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
199
dispatch2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
152
dispatch2_p.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
260
dispatch2_p.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
293
div_no_warning.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
361
dse_step.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
411
dse_step.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
529
dynamic_bound.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
271
dynamic_elab1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
198
dynamic_elab1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
271
dynamic_elab2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
215
dynamic_elab2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
153
dynamic_elab_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
474
elab1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
123
elab2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
83
elim1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
111
elim1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
70
elim2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
395
empty_vector_length.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
888
enclosing_record_reference.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
618
enclosing_record_reference.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1078
entry_queues.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
247
enum1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
128
enum1_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
274
enum2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
237
enum2_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
957
env_compile_capacity.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
60
env_compile_capacity.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
286
equal1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
142
equal_access.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
620
exp0_eval.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
300
expect1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
377
ext1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
234
fatp_sra.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
220
finalized.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
293
fixce.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
186
fixedpnt.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
151
forward_anon.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
266
forward_anon.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
419
forward_vla.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
558
frame_overflow.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
423
frame_overflow.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
159
frunaligned.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
260
frunaligned1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
175
g_tables.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
225
g_tables.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1375
gen_disp.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
299
gen_disp.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
236
generic_dispatch.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
166
generic_dispatch_p.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
525
generic_dispatch_p.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
422
gnat_malloc.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
305
gnatg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
538
graphic.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
216
graphic.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
282
handle_and_return.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
270
handle_raise_from_pure.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
312
hyper_flat.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
187
ice_type.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
150
ice_types.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
408
iface1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
140
iface2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
144
iface2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
689
iface_test.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
450
iface_test.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
157
ifaces.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
401
ifaces.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
340
import1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
124
import1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
558
in_mod_conv.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
799
in_out_parameter.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
364
in_out_parameter2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
726
in_out_parameter3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
128
include.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
66
incomplete1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
134
incomplete2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
223
incomplete2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
405
init_scalar1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
362
inline_scope.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
174
inline_scope_p.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
116
inline_scope_p.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
935
inline_tagged.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
481
interface1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
490
interface2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
709
interface3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
279
interface4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
186
interface5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
258
interface5.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
381
interface_conv.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1084
invalid1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
337
invariant_index.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
142
invariant_index.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
772
iprot_test.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
161
itype.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
113
itype.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
519
itypes.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
45
itypes.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
368
kill_value.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
401
late_overriding.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
442
layered_abstraction.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
626
layered_abstraction.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
108
layered_abstraction_p.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
305
layered_instance.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
544
lhs_view_convert.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
170
limited_with.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
120
limited_with.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
200
limited_with2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
207
limited_with2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
170
limited_with2_pkg1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
145
limited_with2_pkg2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
137
limited_with3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
298
limited_with3.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
467
limited_with3_pkg1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
788
limited_with3_pkg1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
181
limited_with3_pkg2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
246
limited_with3_pkg3.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
487
loop_address.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
534
loop_address2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
276
loop_boolean.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
623
loop_bound.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
632
loop_optimization1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
846
loop_optimization1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
418
loop_optimization10.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
360
loop_optimization10.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
250
loop_optimization10_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
468
loop_optimization11.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
276
loop_optimization11_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
618
loop_optimization12.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
554
loop_optimization12.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
537
loop_optimization13.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
451
loop_optimization13.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
82
loop_optimization13_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
554
loop_optimization14.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
209
loop_optimization14.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
106
loop_optimization14_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
459
loop_optimization15.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
181
loop_optimization15.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1253
loop_optimization2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1180
loop_optimization2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
315
loop_optimization3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
143
loop_optimization3_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
107
loop_optimization3_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
162
loop_optimization4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
461
loop_optimization4_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
265
loop_optimization4_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
579
loop_optimization5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
191
loop_optimization5_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
483
loop_optimization6.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
92
loop_optimization6.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
334
loop_optimization7.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
191
loop_optimization7.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
171
loop_optimization7_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
597
loop_optimization8.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
381
loop_optimization8_pkg1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
468
loop_optimization8_pkg1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
285
loop_optimization8_pkg2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
392
loop_optimization8_pkg2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
3357
loop_optimization9.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
432
loop_optimization9.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
714
loop_unchecked_conversion.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
90
loop_unchecked_conversion.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
256
lto1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
252
lto10.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
329
lto10_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
459
lto11.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
198
lto11.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
133
lto13.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
132
lto13_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
76
lto13_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
177
lto14.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
221
lto15.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
207
lto15.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
570
lto1_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
737
lto1_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
589
lto2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
281
lto4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
581
lto4.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
113
lto5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
85
lto5_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
108
lto5_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
284
lto6.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
235
lto6_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
253
lto7.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
143
lto7_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
390
lto7_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
382
lto8.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
183
lto8_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
480
lto8_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
267
lto9.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
623
lto9_pkg1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
249
lto9_pkg2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
482
lto9_pkg2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
308
machine_code1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
256
max_align.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
379
md5_test.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
273
memtrap.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
387
misaligned_nest.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
633
misaligned_param.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
305
misaligned_param_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
108
misaligned_param_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
807
missing_acc_check.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
566
modify_a_constant.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
424
modular1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
113
modular2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
454
modular3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
239
modular3_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
185
modular4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
130
modular4_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
668
mutable1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
201
my_env_versioned_value_set_g.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
559
named_test.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
196
namet.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
162
nat1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
221
nat1r.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
693
nested_agg_bitfield_constructor.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1021
nested_controlled_alloc.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
438
nested_float_packed.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
212
nested_generic1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
229
nested_generic1_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
191
nested_generic1_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
567
nested_proc1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
443
nested_proc2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
892
nested_return_test.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
398
nested_subtype_byref.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
58
nested_subtype_byref.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
327
no_exc_prop.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
233
no_exc_prop.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
564
no_final.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
330
noreturn1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
159
noreturn1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
599
noreturn2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
166
noreturn2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
533
noreturn3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
227
noreturn3.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
348
noreturn4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
214
noreturn4.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
410
noreturn4_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
644
noreturn5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
132
noreturn5.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
487
not_null.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
201
notnot.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
525
null_pointer_deref1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
611
null_pointer_deref2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
549
null_pointer_deref3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
108
oalign1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
108
oalign2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
245
object_overflow1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
255
object_overflow2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
322
object_overflow3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
424
object_overflow4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
300
oconst1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
382
oconst1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
241
oconst2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
351
oconst2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
269
oconst3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
426
oconst3.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
519
oconst4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1375
oconst4.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
299
oconst5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
522
oconst5.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
66
old_errors.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
644
opt1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
310
opt1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
477
opt10.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
297
opt10_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
160
opt11.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
316
opt11.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
288
opt12.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
149
opt12_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
245
opt12_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
186
opt13.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
587
opt13_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
192
opt13_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
364
opt14.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
271
opt15.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
184
opt15_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
98
opt15_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
723
opt16.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
196
opt17.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
89
opt17.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
986
opt18.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
642
opt18.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
529
opt18_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
477
opt19.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
564
opt2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
504
opt20.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
114
opt20.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
263
opt20_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
167
opt21.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
352
opt21_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
298
opt21_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
301
opt22.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
239
opt22_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
89
opt22_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
355
opt23.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
97
opt23.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
156
opt23_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
654
opt23_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
307
opt24.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
97
opt24.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
354
opt25.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
156
opt25_pkg1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
154
opt25_pkg1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
150
opt25_pkg2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
379
opt25_pkg2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
715
opt26.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
230
opt3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
71
opt3_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
303
opt4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
368
opt5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
600
opt6.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
389
opt6.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1248
opt7.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
291
opt7.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
68
opt7_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1350
opt8.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1247
opt8.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
123
opt8_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
390
opt9.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
57
opt9_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
845
outer_agg_bitfield_constructor.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1822
overflow_sum.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
902
overflow_sum2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
328
overriding_ops.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
407
overriding_ops.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
281
overriding_ops_p.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
126
pack1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
507
pack10.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
387
pack11.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
529
pack12.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
191
pack13.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
734
pack13.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
223
pack13_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
224
pack14.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
134
pack15.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
383
pack15.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
471
pack16.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
62
pack16_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
891
pack17.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
220
pack18.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
465
pack18_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
376
pack2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
532
pack3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
590
pack4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
508
pack5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
406
pack6.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
397
pack7.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
428
pack8.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
437
pack9.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
256
pack9.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
372
packed_subtype.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
445
pak.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
227
pak.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
358
parameterlessfunc.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
303
parent_ltd_with-child_full_view.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
349
parent_ltd_with-child_full_view.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
304
parent_ltd_with.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
230
pointer_array.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
676
pointer_controlled.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
429
pointer_conversion.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
172
pointer_discr1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
162
pointer_discr1_pkg1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
259
pointer_discr1_pkg2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
243
pointer_discr1_pkg3.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
214
pointer_protected.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
182
pointer_protected_p.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
626
pointer_variable_bounds.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
590
pointer_variable_bounds.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
165
pointer_variable_bounds_q.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
208
prefix1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
148
prefix1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
958
prefix2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
743
prefix2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
59
profile_warning.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
165
profile_warning.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
283
profile_warning_p.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
64
profile_warning_p.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
443
prot1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
396
prot2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
50
prot2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
72
prot2_pkg1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
395
prot2_pkg2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
216
prot2_pkg2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
809
prot_def.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
450
protected_self_ref1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
314
protected_self_ref2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
162
quote.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
60
raise_ce.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
197
raise_from_pure.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
105
raise_from_pure.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
320
range_check.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
334
range_check2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1017
rational_arithmetic.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
248
recursive_call.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
209
ref_type.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
103
ref_type.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
241
regpat1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
428
release_unc_maxalign.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
468
remote_type.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
583
remote_type.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
243
renaming1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
83
renaming1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1705
renaming2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
213
renaming3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
342
renaming4.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
626
renaming5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
57
renaming5.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
2453
rep_clause1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
241
rep_clause2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1081
rep_clause2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
867
rep_clause3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
615
rep_clause4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1017
rep_clause5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
243
rep_clause5.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
7321
rep_clause5_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
953
requeue1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
268
return1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
238
return1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
722
return2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
349
return2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
133
return2_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
162
return3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
180
rt1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
419
rt1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
571
scalar_mode_agg_compare.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
404
scalar_mode_agg_compare_loop.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
453
self.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
574
self.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
480
self1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
396
self_aggregate_with_array.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
579
self_aggregate_with_call.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
484
self_aggregate_with_pointer.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
382
self_aggregate_with_zeros.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
368
set_in_pproc.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
168
show_deques_priority.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
151
size_attribute.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
273
sizetype1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
576
sizetype2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
409
sizetype3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
188
sizetype3.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
127
sizetype3_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
489
sizetype4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
485
slice1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
206
slice2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
217
slice2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
517
slice3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
581
slice4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
680
slice5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
350
slice6.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
387
slice6_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1055
slice7.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
149
slice7_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
177
slice8.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
99
slice8_pkg1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
457
slice8_pkg2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
391
slice8_pkg3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
154
slice8_pkg3.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
131
slice_enum.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
436
small_alignment.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
303
socket1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
778
sort1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
64
sort1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
155
sort2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
85
source_ref1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
124
source_ref2.adb
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
specs
tree
|
history
-rw-r--r--
292
spipaterr.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1287
sse_nolib.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
734
stack_check1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
818
stack_check2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
642
stack_check3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
63
stack_check3.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
2194
stack_usage1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
224
stack_usage1_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
242
stack_usage1_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
244
statically_matching.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
313
str1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
208
string_comparison.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
339
string_slice.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
492
string_slice2.adb
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
style
tree
|
history
-rw-r--r--
621
subp_elim_errors.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
115
subp_elim_errors.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
273
sync1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
319
sync1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
414
sync_iface_test.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
320
sync_iface_test.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
102
taft_type1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
448
taft_type1_pkg1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
183
taft_type1_pkg1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
138
taft_type1_pkg2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
315
taft_type2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
59
taft_type2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
157
taft_type2_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
505
taft_type3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
125
taft_type3_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
450
tag1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
560
tagged_alloc_free.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
515
tagged_type_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
248
tagged_type_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
159
tail_call.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
698
tail_call_p.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
217
tail_call_p.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
122
task_name.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
750
task_name.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
704
task_stack_align.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
513
test_8bitlong_overflow.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
397
test_address_null_init.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
270
test_ai254.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
125
test_allocator_maxalign2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
580
test_bip_no_alloc.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
274
test_bounded.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
599
test_call.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
134
test_debug1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
129
test_delay.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
243
test_direct_io.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
291
test_dse_step.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
604
test_enum_io.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
354
test_equal1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
117
test_ext1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
852
test_fixed_io.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1174
test_iface_aggr.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
215
test_ifaces.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
149
test_image.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
670
test_image_p.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
744
test_image_p.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
150
test_nested_subtype_byref.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
339
test_oalign.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
306
test_oconst.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
273
test_prefix1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
418
test_prio.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
187
test_prio_p.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
479
test_prio_p.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
335
test_raise_from_pure.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
418
test_rational_arithmetic.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
259
test_self.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
845
test_self_ref.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
820
test_table1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
203
test_tables.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
801
test_time_stamp.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
606
test_unknown_discrs.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
348
test_version.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
318
testint.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
199
tf_interface_1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
655
tf_interface_1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
780
tfren.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
234
thin_pointer1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
432
thin_pointer1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
230
thin_pointer2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
350
thin_pointer2_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
169
thin_pointer2_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
844
timer_cancel.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
557
timing_events.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
377
trampoline1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
439
trampoline2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
160
tree_static_def.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
177
tree_static_def.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
164
tree_static_use.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
275
type_conv.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
689
unaligned_rep_clause.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
602
unc.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
865
unc_memfree.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1359
unc_memops.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
948
unc_memops.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
655
unchecked_convert1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
854
unchecked_convert2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
355
unchecked_convert3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
408
unchecked_convert4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
396
unchecked_convert5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
403
unchecked_convert5b.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
396
unchecked_convert6.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
403
unchecked_convert6b.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
653
unchecked_convert7.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
631
unchecked_convert8.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
76
unchecked_convert8.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
332
unchecked_convert9.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
365
unchecked_convert9.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
409
unchecked_union1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
268
uninit_func.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
460
valid1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
466
varsize_copy.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
629
varsize_copy.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
558
varsize_temp.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
2821
vect1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1558
vect1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
623
vect10.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
326
vect10.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
98
vect1_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
2821
vect2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1599
vect2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
100
vect2_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
2821
vect3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1664
vect3.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
165
vect3_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
2971
vect4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1753
vect4.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
98
vect4_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
2971
vect5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1796
vect5.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
100
vect5_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
2971
vect6.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
1859
vect6.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
165
vect6_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
328
vect7.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
319
vect7.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
236
vect8.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
164
vect8.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
980
vect9.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
230
vect9.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
522
vect9_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
1105
view_conversion1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
447
volatile1.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
139
volatile10.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
537
volatile10_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
472
volatile2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
267
volatile2.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
285
volatile3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
323
volatile4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
172
volatile5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
156
volatile5_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
368
volatile6.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
430
volatile7.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
429
volatile8.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
403
volatile9.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
676
volatile_aggregate.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
288
warn1.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
413
warn2.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
398
warn3.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
847
warn4.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
824
warn5.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
228
warn6.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
219
warn6.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
247
warn7.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
123
warn8.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
389
wide_boolean.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
182
wide_boolean_pkg.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
512
wide_boolean_pkg.ads
blob
|
blame
|
history
|
raw
-rw-r--r--
117
wide_pi.adb
blob
|
blame
|
history
|
raw
-rw-r--r--
348
wide_test.adb
blob
|
blame
|
history
|
raw