V "GNAT Lib v6" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=generic A -march=i586 P ZX RN RV NO_DIRECT_BOOLEAN_OPERATORS RV NO_EXCEPTIONS RV NO_STANDARD_STORAGE_POOLS RV NO_UNCHECKED_CONVERSION RV NO_DEFAULT_INITIALIZATION RV NO_DYNAMIC_SIZED_OBJECTS RV NO_IMPLEMENTATION_PRAGMAS RV SPARK_05 U interfaces.c.pointers%b i-cpoint.adb dbcea42c NE OL PK GE W ada%s ada.ads ada.ali W ada.unchecked_conversion%s W interfaces%s interfac.ads interfac.ali W interfaces.c%s i-c.adb i-c.ali W interfaces.c.strings%s i-cstrin.adb i-cstrin.ali W system%s system.ads system.ali U interfaces.c.pointers%s i-cpoint.ads c4818f08 BN NE OL PR PK GE W interfaces.c%s i-c.adb i-c.ali W system%s system.ads system.ali W system.parameters%s s-parame.adb s-parame.ali D ada.ads 20070406091342 3ffc8e18 ada%s D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s D interfac.ads 20151118101227 4be8ce1b interfaces%s D i-c.ads 20110801143639 5421119b interfaces.c%s D i-cpoint.ads 20130104124955 ee8a93ec interfaces.c.pointers%s D i-cpoint.adb 20150512082147 d5172521 interfaces.c.pointers%b D i-cstrin.ads 20140611122922 341d0ddf interfaces.c.strings%s D system.ads 20151123113124 2da59038 system%s D s-exctab.ads 20140225151139 54135002 system.exception_table%s D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s X 1 ada.ads 16K9*Ada 19e8 6|35r6 41r31 42r31 43r31 44r31 215r35 259r35 X 2 a-unccon.ads 20v14*Unchecked_Conversion 6|35w10 41r35 42r35 43r35 44r35 215r39 259r39 X 3 interfac.ads 38K9*Interfaces 183e15 5|44r9 102r5 6|32r6 32r32 37r14 295r5 X 4 i-c.ads 18K20*C 3|38k9 4|230e17 5|44r20 102r16 6|32r17 32r43 37r25 295r16 56I9*ptrdiff_t 5|60r16 68r44 69r25 70r44 71r62 83r58 88r20 88r33 . 94r17 6|43r57 44r68 46r25 56r42 65r25 78r42 87r58 103r17 143r20 143r33 . 146r11 225r16 273r58 276r11 X 5 i-cpoint.ads 39E9 Index 41r33 6|50r26 193r34 241r32 241r44 241r60 251r15 252r15 252r26 . 252r37 40+9 Element 41r60 42r25 47r31 56r20 83r20 89r20 6|144r20 190r20 273r20 41A9 Element_Array(40+9)<39E9> 56r58 60r34 6|47r19 190r58 211r26 225r34 241r17 . 255r26 42*4 Default_Terminator{40+9} 56r31 83r31 89r31 6|144r31 190r31 273r31 44k22*Pointers 4|18k20 5|39z9 40z9 41z9 42z4 102l18 102e26 6|37b27 295l18 . 295t26 47P9*Pointer(40+9) 48r8 50r31 55r20 59r16 68r25 68r62 69r44 69r62 70r25 70r62 . 71r25 71r44 73r38 74r38 82r20 86r20 87r20 92r17 93r17 6|41r68 42r57 56r25 . 56r60 65r44 65r60 78r25 78r60 87r25 87r42 101r17 102r17 105r11 106r11 141r20 . 142r20 147r11 170r38 179r38 189r20 192r11 215r61 224r16 259r61 272r20 275r11 54V13*Value{41A9} 55>7 56>7 6|188b13 221l8 221t13 55p7 Ref{47P9} 6|189b7 197r10 202r15 218r27 56*7 Terminator{40+9} 6|190b7 205r31 58V13*Value{41A9} 59>7 60>7 6|223b13 265l8 265t13 59p7 Ref{47P9} 6|224b7 231r10 262r27 60i7 Length{4|56I9} 6|225b7 238r13 252r52 62X4*Pointer_Error 6|59r16 68r16 81r16 90r16 68V14*"+"{47P9} 68>18 68>36 6|56b14 63l9 63t11 126s22 127s22 181s18 68p18 Left{47P9} 6|56b18 58r10 62r35 68i36 Right{4|56I9} 6|56b34 62r64 69V14*"+"{47P9} 69>18 69>36 6|65b14 72l9 72t11 69i18 Left{4|56I9} 6|65b18 71r47 69p36 Right{47P9} 6|65b36 67r10 71r64 70V14*"-"{47P9} 70>18 70>36 6|78b14 85l9 85t11 172s18 70p18 Left{47P9} 6|78b18 80r10 84r35 70i36 Right{4|56I9} 6|78b34 84r52 71V14*"-"{4|56I9} 71>18 71>36 6|87b14 94l9 94t11 71p18 Left{47P9} 6|87b18 89r10 93r35 71p36 Right{47P9} 6|87b34 89r30 93r52 73U14*Increment 73=25 78r34 100r19 6|119s13 120s13 160s10 179b14 182l8 182t17 . 207s13 288s13 73p25 Ref{47P9} 6|179b25 181m7 181r14 74U14*Decrement 74=25 79r34 99r19 6|129s13 130s13 170b14 173l8 173t17 74p25 Ref{47P9} 6|170b25 172m7 172r14 81V13*Virtual_Length{4|56I9} 82>7 83>7 6|271b13 293l8 293t22 82p7 Ref{47P9} 6|272b7 279r10 284r15 83*7 Terminator{40+9} 6|273b7 286r25 85U14*Copy_Terminated_Array 86>7 87>7 88>7 89>7 6|140b14 164l8 164t29 86p7 Source{47P9} 6|141b7 147r22 150r10 163r19 87p7 Target{47P9} 6|142b7 150r27 163r27 88i7 Limit{4|56I9} 6|143b7 157r17 89*7 Terminator{40+9} 6|144b7 159r28 91U14*Copy_Array 92>7 93>7 94>7 6|100b14 134l8 134t18 163s7 92p7 Source{47P9} 6|101b7 109r10 114r42 116r15 127r15 93p7 Target{47P9} 6|102b7 109r32 114r22 115r15 126r15 94i7 Length{4|56I9} 6|103b7 117r24 126r24 127r24 128r24 X 6 i-cpoint.adb 39M9 Addr 41r57 42r68 43r68 44r57 41V13 To_Pointer[2|20]{5|47P9} 62s14 71s14 84s14 42V13 To_Addr[2|20]{39M9} 62s26 71s55 84s26 93s26 93s43 114s13 114s33 43V13 To_Addr[2|20]{39M9} 62s43 71s26 84s43 44V13 To_Ptrdiff[2|20]{4|56I9} 93s14 46i4 Elmt_Size{4|56I9} 62r52 71r35 84r60 93r62 50E12 Index_Base 193r20 194r11 206r18 227r11 228r11 105p7 T{5|47P9} 115m10 118r13 119m24 119r24 126m10 129m24 129r24 131r13 106p7 S{5|47P9} 116m10 118r22 120m24 120r24 127m10 130m24 130r24 131r22 117i14 J 128i14 J 146i7 L{4|56I9} 156m7 157r13 158m10 158r15 163r35 147p7 S{5|47P9} 159r20 160m21 160r21 192p7 P{5|47P9} 202m10 205r23 207m24 207r24 193*7 L{50E12} 201r15 211r41 194*7 H{50E12} 201m10 206m13 206r35 211r46 211A21 A{5|41A9}<5|39E9> 213r31 213P18 PA(211A21) 214r17 215r70 215V22 To_PA[2|20]{213P18} 218s20 227*7 L{50E12} 251m10 255r41 228*7 H{50E12} 252m10 255r46 241*13 X{5|41A9} 245r20 255A21 A{5|41A9}<5|39E9> 257r31 257P18 PA(255A21) 258r17 259r70 259V22 To_PA[2|20]{257P18} 262s20 275p7 P{5|47P9} 284m10 286r16 288m24 288r24 276i7 C{4|56I9} 283m10 287m13 287r18 291r17 X 7 i-cstrin.ads 36K22*Strings 6|32w19 32r45 7|106e25 66X4*Dereference_Error 6|110r16 151r16 198r16 232r16 280r16 X 8 system.ads 37K9*System 5|36r6 48r25 6|33w6 33r32 39r26 214r29 258r29 8|200e11 71N4*Storage_Unit 6|48r22 48r42 X 10 s-parame.ads 51K16*Parameters 5|36w13 48r32 6|39r33 214r36 258r36 10|210e22 115N4*ptr_bits 5|48r43 6|39r44 214r47 258r47