| Path : /usr/lib/gcc/x86_64-redhat-linux/4.8.5/adalib/ |
| Current File : //usr/lib/gcc/x86_64-redhat-linux/4.8.5/adalib/unchconv.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_conversion%s unchconv.ads ca2f9e18 NE OL PU GE
D system.ads 20121213103024 90249111
D unchconv.ads 20121213103024 ca2f9e18
X 2 unchconv.ads
17+9 Source 20r36
18+9 Target 20r51
20v10*Unchecked_Conversion 20>32 21b27 22r14
20*32 S{17+9}