| Path : /lib/gcc/x86_64-redhat-linux/4.8.5/adalib/ |
| Current File : //lib/gcc/x86_64-redhat-linux/4.8.5/adalib/unchdeal.ali |
V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P ZX
RN
RV SPARK
U unchecked_deallocation%s unchdeal.ads 214516a4 NE OL GE
D system.ads 20121213103024 90249111
D unchdeal.ads 20121213103024 214516a4
X 2 unchdeal.ads
17+9 Object 18r24
18P9 Name(17+9) 20r46
20u11*Unchecked_Deallocation 20=35 21b27
20*35 X{18P9}