commit c44edc0df4933aad31a58efbf14654742cf2509a
author Lev Walkin <vlm@lionet.info> Wed Oct 04 03:28:38 2017 -0700
committer Lev Walkin <vlm@lionet.info> Wed Oct 04 03:28:38 2017 -0700
tree 018802480c41f7a22b78be66b398b4cff3c1406c
parent 9854e66932e9b94389853e0ec0c6af6aae2ecfc3

take into account X696 Corrigendum 1 (05/2017)

libasn1fix/asn1fix_crange.c

diff --git a/libasn1fix/asn1fix_crange.c b/libasn1fix/asn1fix_crange.c
index 29d5158..c05a775 100644
--- a/libasn1fix/asn1fix_crange.c
+++ b/libasn1fix/asn1fix_crange.c
@@ -933,7 +933,7 @@
        && base->left.type == ARE_VALUE && base->right.type == ARE_VALUE
        && base->left.value == 2 && base->right.value == 2
        && exponent->left.type == ARE_VALUE && exponent->right.type == ARE_VALUE
-       && exponent->left.value >= -126 && exponent->right.value <= 127) {
+       && exponent->left.value >= -323 && exponent->right.value <= 292) {
         range->narrowing = NARROW_FLOAT32;
     } else /* X.696 #12.3 */
     if(mantissa->left.type == ARE_VALUE && mantissa->right.type == ARE_VALUE
@@ -942,7 +942,7 @@
        && base->left.type == ARE_VALUE && base->right.type == ARE_VALUE
        && base->left.value == 2 && base->right.value == 2
        && exponent->left.type == ARE_VALUE && exponent->right.type == ARE_VALUE
-       && exponent->left.value >= -1022 && exponent->right.value <= 1023) {
+       && exponent->left.value >= -1074 && exponent->right.value <= 971) {
         range->narrowing = NARROW_FLOAT64;
     }