V "GNAT Lib v15" A -nostdinc A -O2 A -Wextra A -Wall A -gnatwa A -g A -gnatp A -gnatg A -march=armv8-a A -mlittle-endian A -mabi=lp64 P ZX RN RV NO_DIRECT_BOOLEAN_OPERATORS RV NO_EXCEPTIONS RV NO_RECURSION RV NO_STANDARD_STORAGE_POOLS RV NO_DYNAMIC_SIZED_OBJECTS RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLEMENTATION_PRAGMAS U system.value_u%b s-valueu.adb 06da6a48 NE OL PK GE W system%s system.ads system.ali W system.spark%s s-spark.ads s-spark.ali W system.spark.cut_operations%s s-spcuop.adb s-spcuop.ali W system.val_util%s s-valuti.adb s-valuti.ali N A558:10 gnatprove intentional "call to nonreturning subprogram might be executed" "it is expected that Constraint_Error is raised in case of overflow" U system.value_u%s s-valueu.ads 02058d2d BN NE OL PR PK GE W system%s system.ads system.ali D system.ads 20250808065140 d0bef732 system%s D s-casuti.ads 20250808065140 cf13d755 system.case_util%s D s-spark.ads 20250808065140 53f1c39d system.spark%s D s-spcuop.ads 20250808065140 316dcc2a system.spark.cut_operations%s D s-valspe.ads 20250808065140 f810d31c system.val_spec%s D s-valuti.ads 20250808065140 b4c455d7 system.val_util%s D s-valueu.ads 20250808065140 a38d32a6 system.value_u%s D s-valueu.adb 20250808065140 20fec113 system.value_u%b D s-vauspe.ads 20250808065140 89269ba5 system.value_u_spec%s G a e G c Z s b [value_u system 58 16 none] X 1 system.ads 37K9*System 156e11 7|47r6 48r6 48r27 56r29 58r9 192r5 8|32r6 32r39 33r6 33r39 . 35r14 657r5 80V14*">="{boolean} 8|222r49 X 3 s-spark.ads 35K16*SPARK 39e17 8|32r13 32r46 X 4 s-spcuop.ads 36K22*Cut_Operations 57e32 8|32w19 32r52 X 6 s-valuti.ads 48K16*Val_Util 242e20 8|33w13 33r46 55U14*Bad_Value 8|407s19 557s10 592s10 139U14*Scan_Plus_Sign 8|585s7 166U14*Scan_Exponent 8|478s7 201U14*Scan_Trailing_Blanks 8|647s13 211U14*Scan_Underscore 8|210s19 435s19 X 7 s-valueu.ads 52M9 Uns 56r57 65r17 148r17 179r28 8|112r17 117r14 129r14 132r15 183r26 183r34 . 186r28 186r35 223r25 291r29 291r37 294r30 294r37 501r30 501r37 576r17 602r50 . 627r17 58k16*Value_U 1|37k9 7|52z9 56z17 192l12 192e19 8|35b21 657l12 657t19 61U14*Scan_Raw_Unsigned 62>7 63^7 64>7 65<7 8|108b14 566l8 566t25 595s7 62a7 Str{string} 66r16 67r26 68r33 69r50 70r51 71r46 72r50 8|109b7 138r28 . 141r39 144r50 148r37 153r12 158r13 168r10 174r48 175r30 176r22 198r19 202r37 . 207r19 209r22 210r36 220r22 222r40 223r46 226r19 228r19 235r30 249r30 257r14 . 263r29 272r28 272r50 273r23 299r19 300r49 307r19 308r43 310r22 312r36 314r22 . 316r36 326r47 329r28 331r22 340r29 349r19 350r65 359r22 363r19 365r19 381r25 . 395r25 407r30 412r19 423r31 424r47 426r22 431r22 432r46 434r22 435r36 439r25 . 440r34 443r38 444r31 453r21 456r28 464r57 478r22 482r53 484r56 486r22 487r37 . 488r40 491r44 539r55 549r49 552r50 557r21 63p7 Ptr(integer) 67r15 68r22 69r55 70r56 71r51 72r10 72r55 8|110b7 135r43 . 138r33 141r44 173r12 210r44 267r7 334r34 360r39 406r19 413r19 415r34 435r44 . 465r19 478r27 482r13 483r13 64i7 Max{integer} 68r15 69r66 70r69 71r64 72r68 8|111b7 138r44 144r70 148r63 . 153r48 200r27 210r49 263r17 272r14 300r59 405r23 422r48 432r73 435r49 443r65 . 453r35 455r35 464r71 478r32 482r67 484r74 487r59 488r62 491r58 539r69 549r63 . 552r64 65*7 Res{52M9} 71r10 8|112b7 564m10 144U14*Scan_Unsigned 145>7 146^7 147>7 148<7 8|572b14 596l8 596t21 639s16 145a7 Str{string} 149r16 150r26 151r33 152r37 156r36 158r17 160r46 164r36 . 166r17 168r48 169r56 170r60 8|573b7 585r23 590r10 592r21 595r26 146p7 Ptr(integer) 150r15 151r22 152r42 156r41 164r41 170r20 8|574b7 585r28 . 590r15 591r10 595r31 147i7 Max{integer} 151r15 152r51 156r50 160r62 164r54 168r62 169r70 170r74 . 8|575b7 585r33 595r36 148*7 Res{52M9} 169r20 8|576b7 595m41 155i11 Non_Blank{positive} 158r22 158r44 158r63 157i11 Fst_Num{positive} 160r51 163i11 Non_Blank{positive} 166r22 166r44 166r63 165i11 Fst_Num{positive} 168r53 169r61 170r65 178V13*Value_Unsigned{52M9} 179>7 185r44 8|602b13 620s20 655l8 655t22 179a7 Str{string} 180r16 181r37 181r42 181r53 182r64 185r38 186r42 8|602b29 . 608r10 610r40 613r23 614r46 614r51 614r62 615r65 616r51 620r40 628r36 630r16 . 630r21 630r32 633r19 639r31 639r43 643r50 643r64 645r50 645r64 647r35 651r44 X 8 s-valueu.adb 114i7 P{integer} 173m7 174r53 175r35 176r27 177m7 177r12 192r36 192r41 198r24 . 200r23 202r42 207r24 209r27 210m41 210r41 220r27 222r45 223r51 226r24 228r24 . 235r35 249r35 253m16 253r21 257r19 262r13 263r13 263r34 267r18 272r10 272r33 . 272r55 273r28 274m10 274r15 299r24 300r54 307r24 308r48 310r27 312r41 314r27 . 316r41 326r52 327r25 331r27 338r25 339r25 340r34 347r39 347r44 349r24 350r70 . 359r27 363r24 365r24 381r30 395r30 403m16 403r21 405r19 406r30 412r24 413r30 . 414r34 426r27 431r27 432r51 434r27 435m41 435r41 439r30 440r39 443r43 444r36 . 448r37 449r18 117*7 Uval{7|52M9} 175m7 198r49 209r52 226r49 228r49 230r19 231m19 231r32 . 235r64 237r22 241m19 241r32 243r22 249r64 257r44 265r58 275r18 276m10 331r52 . 332m19 343r55 359r52 363r49 365r49 376r22 377m19 377r34 381r59 383r22 387m19 . 387r34 389r22 395r59 426r52 434r52 439r55 472r35 473r23 492r13 494r30 505r45 . 514r39 518r22 521r20 521r72 523r19 525r23 531r20 533m16 533r24 535r54 540r67 . 543r48 545r31 546r43 546r72 552r13 564r17 120i7 Expon{integer} 478m37 492r25 494r10 505r51 508r27 518r28 525r29 531r26 . 543r54 545r13 546r49 123b7 Overflow{boolean} 194r19 196r23 233r29 238m19 244m22 247r29 264r19 . 265r27 284m13 343r41 352r22 352r47 354r22 355r22 357r26 372m19 379r29 384m19 . 390m22 393r29 437r29 452r16 457r19 464r10 468r20 471r20 490r17 510r22 510r47 . 512r22 513r24 516r26 526m19 538r16 540r35 548r10 551r17 556r10 126e7 Base_Char{character} 273m10 412r29 423r58 424r35 440r55 444r52 129*7 Base{7|52M9} 275m10 283r13 285m13 291r48 291r60 294r48 331r46 332r27 . 333m19 359r46 363r43 365r43 371r28 377r27 381r53 387r27 395r53 426r46 434r46 . 439r49 466r19 469r35 469r62 492r19 501r48 505r58 518r43 521r66 525r44 531r41 . 533r31 535r63 543r61 546r56 132*7 Digit{7|52M9} 202m13 206r16 231r39 241r39 308m19 311m19 315m19 350r28 . 371r19 377r41 387r41 183*10 Umax{7|52M9} 230r27 186*10 Umax10{7|52M9} 237r29 243r29 291*13 Umax{7|52M9} 376r30 294*13 UmaxB{7|52M9} 383r29 389r29 501*13 UmaxB{7|52M9} 521r27 523r26 508i17 J{integer} 518r36 525r37 531r34 578i7 Start{positive} 585m38 591r21 610A21 NT{string} 616r47 620r36 627*13 V{7|52M9} 639m53 645r16 651r50 652r20 628i13 P{integer} 637m60 637r60 643r16 647r40 637p16 P_Acc(integer) 639r36