reduce n:MIN and n:MAX to avoid an overflow issue

FossilOrigin-Name: 90359c52975def3f2925c25c3d144c943067a2c0a2f037cbecb73408265ac8d9
This commit is contained in:
crc 2019-05-28 20:36:36 +00:00
parent a1281abf02
commit 96fc5e5b10
3 changed files with 23 additions and 23 deletions

BIN
ngaImage

Binary file not shown.

View file

@ -127,7 +127,7 @@ int32_t ngaImage[] = { 1793,16271,16411,16453,201912,0,10,1,10,2,10,3,10,4,10,5,
2066,11,1793,2485,14,10,1,2483,2049,2076,22,10,2469,2498,147,105,102,59,0,67502597, 2066,11,1793,2485,14,10,1,2483,2049,2076,22,10,2469,2498,147,105,102,59,0,67502597,
1793,2503,9,10,1,2501,2049,2076,25,6,771,10,2491,2519,147,45,105,102,59,0, 1793,2503,9,10,1,2501,2049,2076,25,6,771,10,2491,2519,147,45,105,102,59,0,
67502597,1793,2525,2049,73,10,1,2522,2049,2076,1,-1,23,25,6,771,10,2511,2545,147, 67502597,1793,2525,2049,73,10,1,2522,2049,2076,1,-1,23,25,6,771,10,2511,2545,147,
110,58,77,65,88,0,1,2147483647,10,2536,2557,147,110,58,77,73,78,0,1,-2147483648, 110,58,77,65,88,0,1,2147483646,10,2536,2557,147,110,58,77,73,78,0,1,-2147483647,
10,2548,2571,147,110,58,122,101,114,111,63,0,1,0,11,10,2560,2587,147,110, 10,2548,2571,147,110,58,122,101,114,111,63,0,1,0,11,10,2560,2587,147,110,
58,45,122,101,114,111,63,0,1,0,12,10,2575,2606,147,110,58,110,101,103, 58,45,122,101,114,111,63,0,1,0,12,10,2575,2606,147,110,58,110,101,103,
97,116,105,118,101,63,0,1,0,13,10,2591,2625,147,110,58,112,111,115,105, 97,116,105,118,101,63,0,1,0,13,10,2591,2625,147,110,58,112,111,115,105,
@ -607,15 +607,15 @@ int32_t ngaImage[] = { 1793,16271,16411,16453,201912,0,10,1,10,2,10,3,10,4,10,5,
67,25,6,771,10,12046,12094,147,102,58,115,105,103,110,0,2049,11216,2049,3695,48, 67,25,6,771,10,12046,12094,147,102,58,115,105,103,110,0,2049,11216,2049,3695,48,
0,1,12098,2049,10989,2049,11143,1793,12113,1,0,2049,11231,10,1,12108,2049,2498,2049,3695, 0,1,12098,2049,10989,2049,11143,1793,12113,1,0,2049,11231,10,1,12108,2049,2498,2049,3695,
48,0,1,12119,2049,10989,2049,11186,1793,12132,1,1,10,1,12129,1793,12139,1,-1,10, 48,0,1,12119,2049,10989,2049,11186,1793,12132,1,1,10,1,12129,1793,12139,1,-1,10,
1,12136,2049,67,10,12084,2147483646,134,101,58,77,65,88,0,12144,-2147483646,134,101,58,77, 1,12136,2049,67,10,12084,2147483645,134,101,58,77,65,88,0,12144,-2147483645,134,101,58,77,
73,78,0,12153,-2147483648,134,101,58,78,65,78,0,12162,2147483647,134,101,58,73,78,70, 73,78,0,12153,-2147483647,134,101,58,78,65,78,0,12162,2147483646,134,101,58,73,78,70,
0,12171,-2147483647,134,101,58,45,73,78,70,0,12180,12198,147,101,58,110,63,0,1, 0,12171,-2147483646,134,101,58,45,73,78,70,0,12180,12198,147,101,58,110,63,0,1,
-2147483646,2049,2912,1,2147483646,2049,2925,2049,2943,10,12190,12219,147,101,58,109,97,120,63,0, -2147483645,2049,2912,1,2147483645,2049,2925,2049,2943,10,12190,12219,147,101,58,109,97,120,63,0,
1,2147483646,11,10,12209,12233,147,101,58,109,105,110,63,0,1,-2147483646,11,10,12223,12248, 1,2147483645,11,10,12209,12233,147,101,58,109,105,110,63,0,1,-2147483645,11,10,12223,12248,
147,101,58,122,101,114,111,63,0,2049,2571,10,12237,12261,147,101,58,110,97,110, 147,101,58,122,101,114,111,63,0,2049,2571,10,12237,12261,147,101,58,110,97,110,
63,0,1,-2147483648,11,10,12251,12275,147,101,58,105,110,102,63,0,1,2147483647,11,10, 63,0,1,-2147483647,11,10,12251,12275,147,101,58,105,110,102,63,0,1,2147483646,11,10,
12265,12290,147,101,58,45,105,110,102,63,0,1,-2147483647,11,10,12279,12304,147,101,58, 12265,12290,147,101,58,45,105,110,102,63,0,1,-2147483646,11,10,12279,12304,147,101,58,
99,108,105,112,0,1,-2147483646,1,2147483646,2049,2895,10,12294,12319,147,102,58,69,49,0, 99,108,105,112,0,1,-2147483645,1,2147483645,2049,2895,10,12294,12319,147,102,58,69,49,0,
1793,12321,2049,3695,49,46,101,53,0,1,12323,2049,10989,10,12311,12345,147,102,58,45, 1793,12321,2049,3695,49,46,101,53,0,1,12323,2049,10989,10,12311,12345,147,102,58,45,
115,104,105,102,116,0,2049,12319,2049,11068,10,12333,12362,147,102,58,43,115,104,105, 115,104,105,102,116,0,2049,12319,2049,11068,10,12333,12362,147,102,58,43,115,104,105,
102,116,0,2049,12319,2049,11080,10,12350,12384,147,102,58,115,105,103,110,101,100,45, 102,116,0,2049,12319,2049,11080,10,12350,12384,147,102,58,115,105,103,110,101,100,45,
@ -624,25 +624,25 @@ int32_t ngaImage[] = { 1793,16271,16411,16453,201912,0,10,1,10,2,10,3,10,4,10,5,
58,45,101,110,99,111,100,101,0,2049,11216,2049,12094,2049,12362,2049,11216,2049,11068,2049, 58,45,101,110,99,111,100,101,0,2049,11216,2049,12094,2049,12362,2049,11216,2049,11068,2049,
10970,2049,11068,10,12415,12462,147,102,58,115,105,103,110,101,100,45,115,113,117,97, 10970,2049,11068,10,12415,12462,147,102,58,115,105,103,110,101,100,45,115,113,117,97,
114,101,0,2049,11216,2049,12094,2049,11216,2049,11068,2049,10970,2049,11068,10,12443,12485,147,102, 114,101,0,2049,11216,2049,12094,2049,11216,2049,11068,2049,10970,2049,11068,10,12443,12485,147,102,
58,116,111,45,101,0,2049,11216,2049,11821,1793,12497,2049,11231,3,1,-2147483648,10,1,12491, 58,116,111,45,101,0,2049,11216,2049,11821,1793,12497,2049,11231,3,1,-2147483647,10,1,12491,
2049,2498,2049,11216,2049,11836,1793,12513,2049,11231,3,1,2147483647,10,1,12507,2049,2498,2049,11216, 2049,2498,2049,11216,2049,11836,1793,12513,2049,11231,3,1,2147483646,10,1,12507,2049,2498,2049,11216,
2049,11852,1793,12529,2049,11231,3,1,-2147483647,10,1,12523,2049,2498,2049,12410,2049,11868,2049,11009, 2049,11852,1793,12529,2049,11231,3,1,-2147483646,10,1,12523,2049,2498,2049,12410,2049,11868,2049,11009,
2049,12304,1,-2147483646,1793,12548,2049,11231,10,1,12545,2049,2286,1,2147483646,1793,12559,2049,11231,10, 2049,12304,1,-2147483645,1793,12548,2049,11231,10,1,12545,2049,2286,1,2147483645,1793,12559,2049,11231,10,
1,12556,2049,2286,10,12475,12574,147,101,58,116,111,45,102,0,1,-2147483648,1793,12582,3, 1,12556,2049,2286,10,12475,12574,147,101,58,116,111,45,102,0,1,-2147483647,1793,12582,3,
2049,11730,10,1,12578,2049,2286,1,2147483647,1793,12594,3,2049,11758,10,1,12590,2049,2286,1, 2049,11730,10,1,12578,2049,2286,1,2147483646,1793,12594,3,2049,11758,10,1,12590,2049,2286,1,
-2147483647,1793,12606,3,2049,11789,10,1,12602,2049,2286,2049,10970,2049,12428,10,12564,12626,147,102, -2147483646,1793,12606,3,2049,11789,10,1,12602,2049,2286,2049,10970,2049,12428,10,12564,12626,147,102,
58,115,116,111,114,101,0,1793,12631,2049,12485,10,1,12628,2049,2076,16,10,12615,12648, 58,115,116,111,114,101,0,1793,12631,2049,12485,10,1,12628,2049,2076,16,10,12615,12648,
147,102,58,102,101,116,99,104,0,15,2049,12574,10,12637,12668,147,102,58,100,117, 147,102,58,102,101,116,99,104,0,15,2049,12574,10,12637,12668,147,102,58,100,117,
109,112,45,115,116,97,99,107,0,2049,11202,2,1793,12676,2049,11378,10,1,12673,2049, 109,112,45,115,116,97,99,107,0,2049,11202,2,1793,12676,2049,11378,10,1,12673,2049,
2256,1793,12691,2049,11392,2049,11216,2049,11669,2049,9781,10,1,12682,2049,2256,10,12652,12713,147, 2256,1793,12691,2049,11392,2049,11216,2049,11669,2049,9781,10,1,12682,2049,2256,10,12652,12713,147,
102,58,100,117,109,112,45,97,115,116,97,99,107,0,2049,11409,2,1793,12721,2049, 102,58,100,117,109,112,45,97,115,116,97,99,107,0,2049,11409,2,1793,12721,2049,
11392,10,1,12718,2049,2256,1793,12736,2049,11216,2049,11669,2049,9781,2049,11378,10,1,12727,2049, 11392,10,1,12718,2049,2256,1793,12736,2049,11216,2049,11669,2049,9781,2049,11378,10,1,12727,2049,
2256,10,12696,12750,147,101,58,112,117,116,0,1,2147483646,1793,12767,2049,3695,101,58,77, 2256,10,12696,12750,147,101,58,112,117,116,0,1,2147483645,1793,12767,2049,3695,101,58,77,
65,88,0,1,12756,2049,9807,10,1,12754,2049,2286,1,-2147483646,1793,12788,2049,3695,101,58, 65,88,0,1,12756,2049,9807,10,1,12754,2049,2286,1,-2147483645,1793,12788,2049,3695,101,58,
77,73,78,0,1,12777,2049,9807,10,1,12775,2049,2286,1,0,1793,12807,2049,3695,101, 77,73,78,0,1,12777,2049,9807,10,1,12775,2049,2286,1,0,1793,12807,2049,3695,101,
58,48,0,1,12798,2049,9807,10,1,12796,2049,2286,1,-2147483648,1793,12828,2049,3695,101,58, 58,48,0,1,12798,2049,9807,10,1,12796,2049,2286,1,-2147483647,1793,12828,2049,3695,101,58,
78,65,78,0,1,12817,2049,9807,10,1,12815,2049,2286,1,2147483647,1793,12849,2049,3695,101, 78,65,78,0,1,12817,2049,9807,10,1,12815,2049,2286,1,2147483646,1793,12849,2049,3695,101,
58,73,78,70,0,1,12838,2049,9807,10,1,12836,2049,2286,1,-2147483647,1793,12871,2049,3695, 58,73,78,70,0,1,12838,2049,9807,10,1,12836,2049,2286,1,-2147483646,1793,12871,2049,3695,
101,58,45,73,78,70,0,1,12859,2049,9807,10,1,12857,2049,2286,2049,12574,2049,11669, 101,58,45,73,78,70,0,1,12859,2049,9807,10,1,12857,2049,2286,2049,12574,2049,11669,
10,12741,12898,134,105,111,58,85,110,105,120,83,121,115,99,97,108,108,0,0, 10,12741,12898,134,105,111,58,85,110,105,120,83,121,115,99,97,108,108,0,0,
12880,12911,147,105,100,101,110,116,105,102,121,0,3841,12898,2049,2571,1793,12978,1,8, 12880,12911,147,105,100,101,110,116,105,102,121,0,3841,12898,2049,2571,1793,12978,1,8,

View file

@ -509,8 +509,8 @@ provide here.
And then some numeric comparators. And then some numeric comparators.
~~~ ~~~
:n:MAX (-n) #2147483647 ; :n:MAX (-n) #2147483646 ;
:n:MIN (-n) #-2147483648 ; :n:MIN (-n) #-2147483647 ;
:n:zero? (n-f) #0 eq? ; :n:zero? (n-f) #0 eq? ;
:n:-zero? (n-f) #0 -eq? ; :n:-zero? (n-f) #0 -eq? ;
:n:negative? (n-f) #0 lt? ; :n:negative? (n-f) #0 lt? ;