index
:
delta/gcc.git
aldyh/cilk-in-gomp
aldyh/cilk-simd-merge
aldyh/cilkplus-simd-rewrite
aldyh/debug-early
aldyh/test1
aldyh/threader
aldyh/uninst
aldyh/uninst-2
amonakov/gomp-nvptx
aoliva/SFN
aoliva/SLI
aoliva/libcp1
aoliva/libcp1-templates
aoliva/libcp1.stgit
aoliva/non-SFN-fixes-for-GCC7
aoliva/pne
aoliva/pr64164
aoliva/pr67355
aoliva/pr67753
aoliva/pr68083
aoliva/pr69123
aoliva/pr69315
aoliva/pr69461
aoliva/pr69466
aoliva/pr69634
aoliva/testme
apinski/bytewiseunop
apinski/ilp32
apinski/struct-reorg-4.9
apinski/thunderx-cost
archer-expr-plugin
asan
asutton/c++-concepts
asutton/fold
avx2
balaji/cilkplus-merge
bkoz/gsoc-regex
bviyer/cilkplus-multilib-test
cilkplus
cilkplus-4_7-branch
cilkplus-4_8-branch
cilkplus-merge
constexpr
ctice/vtv
cxx-conversion
cxx-mem-model
devel/analyzer
devel/autopar_devel
devel/autopar_europar_2021
devel/c++-contracts
devel/c++-coroutines
devel/c++-modules
devel/c++-name-lookup
devel/coarray_native
devel/gccgo
devel/gfortran-caf
devel/gimple-linterchange
devel/gomp-5_0-branch
devel/icpp2021
devel/ira-select
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/omp/gcc-10
devel/omp/gcc-11
devel/omp/gcc-12
devel/omp/gcc-9
devel/omp/ompd
devel/power-ieee128
devel/range-gen3
devel/ranger
devel/rust/master
devel/sphinx
devel/ssa-range
devel/unified-autovect
dmalcolm/gimple-classes
dmalcolm/jit
dmalcolm/lsp-v1.0
dmalcolm/lsp-v1.3
dnovillo/cxx-conversion
dnovillo/vec-rewrite
dodji/abi-instr
dodji/asan-merge-assemble
fortran-dev
gc-improv
gcc-4_0-branch
gcc-4_1-branch
gcc-4_2-branch
gcc-4_3-branch
gcc-4_4-branch
gcc-4_5-branch
gcc-4_6-branch
gcc-4_7-branch
gcc-4_8-branch
gcc-4_9-branch
gcc-5-branch
gcc-6-branch
gcc-7-branch
gccgo
gccpy
gccrs
gcn
gimple-classes-v2-option-3
gimple-front-end
gimplefe
gomp-4_0-branch+gcc-6-branch
gomp-nvptx
google/debugfission
graphite
hjl/asan
hjl/cet/gcc-7-branch
hjl/cet/master
hjl/copyreloc/master
hjl/cvtps2pd
hjl/gcc-4_7-branch/pr53768
hjl/got/gcc-5-branch
hjl/got/master
hjl/iamcu/gcc-4_9-branch
hjl/iamcu/gcc-5-branch
hjl/iamcu/improve
hjl/iamcu/master
hjl/indbr/gcc-5-branch
hjl/indbr/master
hjl/indirect/gcc-7-branch/loop
hjl/indirect/gcc-7-branch/master
hjl/indirect/loop
hjl/indirect/master
hjl/interrupt/gcc-5-branch
hjl/interrupt/gcc-6-branch
hjl/interrupt/master
hjl/interrupt/middle
hjl/interrupt/stage1
hjl/interrupt/void/gcc-5-branch
hjl/ix86_frame/gcc-7-branch
hjl/libsanitizer
hjl/lra
hjl/no-plt/gcc-6-branch
hjl/no-plt/got32x
hjl/no-plt/master
hjl/no-plt/no-plt
hjl/pic/master
hjl/pie/gcc-4_9-branch
hjl/pie/gcc-7-branch
hjl/pie/master
hjl/pieces/gcc-6-branch
hjl/pieces/master
hjl/pieces/memset
hjl/pieces/move
hjl/pr32219/master
hjl/pr35514
hjl/pr51628/master
hjl/pr53037/master
hjl/pr53623/gcc-4_8-branch
hjl/pr54037
hjl/pr58066/gcc-5-branch
hjl/pr59971
hjl/pr60336/fe
hjl/pr60336/hook
hjl/pr60336/master
hjl/pr60336/psabi
hjl/pr60336/x86
hjl/pr61954/master
hjl/pr65656/gcc-5-branch
hjl/pr65780/gcc-5-branch
hjl/pr65780/master
hjl/pr65846/gcc-5-branch
hjl/pr65846/master
hjl/pr66250
hjl/pr67029/gcc-5-branch
hjl/pr67215/gcc-5-branch
hjl/pr67215/master
hjl/pr67220/master
hjl/pr67385
hjl/pr67400/64-bit
hjl/pr67400/master
hjl/pr67400/no-plt
hjl/pr67850
hjl/pr67963/master
hjl/pr67995/master
hjl/pr68937/master
hjl/pr68986/gcc-5-branch
hjl/pr68986/master
hjl/pr68991/gcc-5-branch
hjl/pr69171/master
hjl/pr69201/gcc-6-branch
hjl/pr69201/master
hjl/pr69225/master
hjl/pr69299
hjl/pr69399/gcc-5-branch
hjl/pr69399/master
hjl/pr69454/master
hjl/pr69530/master
hjl/pr69692/master
hjl/pr70150
hjl/pr70155/bitwise
hjl/pr70155/cse
hjl/pr70155/gcc-6-branch
hjl/pr70155/master
hjl/pr70155/uros
hjl/pr70738/master
hjl/pr71549
hjl/pr71801
hjl/pr74113
hjl/pr79565
hjl/pr79793/master
hjl/pr81217
hjl/pr81313/gcc-6-branch
hjl/pr81313/gcc-7-branch
hjl/pr81313/master
hjl/pr81523/master
hjl/pr81563/master
hjl/pr81570/master
hjl/pr81590/master
hjl/pr81736/gcc-7-branch
hjl/pr81736/master
hjl/pr81743/master
hjl/pr81769/gcc-7-branch
hjl/pr81769/master
hjl/pr81780
hjl/pr81820/master
hjl/pr81842
hjl/pr82166/gcc-7-branch
hjl/pr82166/master
hjl/pr82221/master
hjl/pr82267/gcc-7-branch
hjl/pr82379/gcc-7-branch
hjl/pr82379/master
hjl/pr82384
hjl/pr82499/master
hjl/pr82659
hjl/pr82699
hjl/pr82990/gcc-7-branch
hjl/pr82990/master
hjl/pr83330/gcc-7-branch
hjl/skip-rax/gcc-4_8-branch
hjl/skip-rax/gcc-4_9-branch
hjl/subreg
hjl/subreg-class
hjl/tsx/gcc-4_7-branch
hjl/tune/cost-sched
hjl/unaligned
hjl/x32/ada
hjl/x32/addr32
hjl/x32/gcc-4_6-branch
hjl/x32/gcc-4_6-branch+ada+java+go
hjl/x32/gcc-4_6-branch+mx32
hjl/x32/gcc-4_7-branch
hjl/x32/gcc-4_8-branch
hjl/x32/go
hjl/x32/java
hjl/x32/longmode
hjl/x32/mx32
hjl/x86/gcc-4_8-branch
hjl/x86/master
hsa
ienkovic/mpx
ifunc
jason/4.6-cxx0x
jason/alias-decl
jason/comdat-debug
jason/concepts-rewrite
jason/tag-inherit
jason/tm
jkoval/interrupt/master
kyukhin/gomp4-offload
kyukhin/interrupt
linaro-dev/sched-model-prefetch
linaro-dev/sve
linaro-dev/type-promotion-pass
linaro/gcc-4_8-branch
linaro/gcc-4_9-branch
linaro/gcc-5-branch
linaro/gcc-6-branch
linaro/gcc-7-branch
linaro/prolog-pad
lw-ipo
master
melt-branch
microblaze
openacc-gcc-7-branch
pinskia/aarch64_native
pinskia/aarch64_native_new
pinskia/bytewiseunop
pinskia/mcpunative-aarch64
pinskia/newtreefold
pinskia/treecombine
pph
profile-stdlib
python
redi/filesystem-ts
redi/parallelism
releases/egcs-1.0
releases/egcs-1.1
releases/gcc-10
releases/gcc-11
releases/gcc-12
releases/gcc-13
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
reload-v2a
roland/6.3.0/pr77609
roland/6.3.0/zircon
roland/6/pr77609
roland/7/pr77609
roland/pr77609
rsandifo/sve-rebase
split
spu-4_5-branch
sterling/google-accel-tables-4_7
sve
tbsaunde/bitmap
tbsaunde/bitmap2
tbsaunde/bitvec
transactional-memory
tromey/auto-dependency-checking
trunk
tschwinge/omp/pr72741-wip
tschwinge/t/hurd/go
type-promotion-pass
ubsan
vect256
vehre/base
vehre/coarray
vehre/head_cosmo
vtv
x32
gcc.gnu.org: git/gcc.git
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--
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
399
log
plain
-rw-r--r--
aggr12.ads
261
log
plain
-rw-r--r--
aggr13.adb
437
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
491
log
plain
-rw-r--r--
aliasing1.ads
177
log
plain
-rw-r--r--
aliasing2.adb
496
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
284
log
plain
-rw-r--r--
alignment5.adb
701
log
plain
-rw-r--r--
alignment6.adb
760
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
600
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--
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
538
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
426
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
1487
log
plain
-rw-r--r--
atomic6_2.adb
1681
log
plain
-rw-r--r--
atomic6_3.adb
1775
log
plain
-rw-r--r--
atomic6_4.adb
1613
log
plain
-rw-r--r--
atomic6_5.adb
1523
log
plain
-rw-r--r--
atomic6_6.adb
1543
log
plain
-rw-r--r--
atomic6_7.adb
1593
log
plain
-rw-r--r--
atomic6_8.adb
1476
log
plain
-rw-r--r--
atomic6_pkg.ads
600
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--
blocklocs.adb
657
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--
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--
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
650
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--
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--
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_optimization2.adb
1253
log
plain
-rw-r--r--
loop_optimization2.ads
1180
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
483
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--
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
505
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
271
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
653
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
1125
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
583
log
plain
-rw-r--r--
opt3_pkg.ads
71
log
plain
-rw-r--r--
opt4.adb
303
log
plain
-rw-r--r--
opt40.adb
380
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--
opt5.adb
368
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--
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--
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
437
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
626
log
plain
-rw-r--r--
renaming5.ads
57
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--
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
7126
log
plain
-rw-r--r--
spipaterr.adb
292
log
plain
-rw-r--r--
sse_nolib.adb
1287
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
332
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--
varsize_copy.adb
466
log
plain
-rw-r--r--
varsize_copy.ads
629
log
plain
-rw-r--r--
varsize_temp.adb
558
log
plain
-rw-r--r--
vect1.adb
2821
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
796
log
plain
-rw-r--r--
vect11.ads
330
log
plain
-rw-r--r--
vect12.adb
674
log
plain
-rw-r--r--
vect12.ads
252
log
plain
-rw-r--r--
vect13.adb
672
log
plain
-rw-r--r--
vect13.ads
252
log
plain
-rw-r--r--
vect14.adb
667
log
plain
-rw-r--r--
vect1_pkg.ads
98
log
plain
-rw-r--r--
vect2.adb
2821
log
plain
-rw-r--r--
vect2.ads
1599
log
plain
-rw-r--r--
vect2_pkg.ads
100
log
plain
-rw-r--r--
vect3.adb
2821
log
plain
-rw-r--r--
vect3.ads
1664
log
plain
-rw-r--r--
vect3_pkg.ads
165
log
plain
-rw-r--r--
vect4.adb
2971
log
plain
-rw-r--r--
vect4.ads
1753
log
plain
-rw-r--r--
vect4_pkg.ads
98
log
plain
-rw-r--r--
vect5.adb
2971
log
plain
-rw-r--r--
vect5.ads
1796
log
plain
-rw-r--r--
vect5_pkg.ads
100
log
plain
-rw-r--r--
vect6.adb
2971
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--
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
368
log
plain
-rw-r--r--
volatile7.adb
430
log
plain
-rw-r--r--
volatile8.adb
429
log
plain
-rw-r--r--
volatile9.adb
403
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--
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