Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 1 | /*- |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 2 | * Copyright (c) 2004-2017 Lev Walkin <vlm@lionet.info>. All rights reserved. |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 3 | * Redistribution and modifications are permitted subject to BSD license. |
| 4 | */ |
| 5 | /* |
Lev Walkin | 41635d3 | 2006-03-18 05:06:57 +0000 | [diff] [blame] | 6 | * Read the NativeReal.h for the explanation wrt. differences between |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 7 | * REAL and NativeReal. |
| 8 | * Basically, both are decoders and encoders of ASN.1 REAL type, but this |
| 9 | * implementation deals with the standard (machine-specific) representation |
| 10 | * of them instead of using the platform-independent buffer. |
| 11 | */ |
Lev Walkin | a9cc46e | 2004-09-22 16:06:28 +0000 | [diff] [blame] | 12 | #include <asn_internal.h> |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 13 | #include <NativeReal.h> |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 14 | #include <REAL.h> |
Lev Walkin | 725883b | 2006-10-09 12:07:58 +0000 | [diff] [blame] | 15 | #include <OCTET_STRING.h> |
Lev Walkin | cd2f48e | 2017-08-10 02:14:59 -0700 | [diff] [blame] | 16 | #include <math.h> |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 17 | |
Lev Walkin | eff98a5 | 2017-09-13 22:24:35 +0000 | [diff] [blame] | 18 | #if defined(__clang__) |
| 19 | /* |
| 20 | * isnan() is defined using generic selections and won't compile in |
| 21 | * strict C89 mode because of too fancy system's standard library. |
| 22 | * However, prior to C11 the math had a perfectly working isnan() |
| 23 | * in the math library. |
| 24 | * Disable generic selection warning so we can test C89 mode with newer libc. |
| 25 | */ |
| 26 | #pragma clang diagnostic push |
| 27 | #pragma clang diagnostic ignored "-Wc11-extensions" |
| 28 | static int asn_isnan(double d) { |
| 29 | return isnan(d); |
| 30 | } |
| 31 | #pragma clang diagnostic pop |
| 32 | #else |
| 33 | #define asn_isnan(v) isnan(v) |
| 34 | #endif /* generic selections */ |
| 35 | |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 36 | /* |
| 37 | * NativeReal basic type description. |
| 38 | */ |
Wim Lewis | 18c2ec9 | 2014-07-29 11:30:10 -0700 | [diff] [blame] | 39 | static const ber_tlv_tag_t asn_DEF_NativeReal_tags[] = { |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 40 | (ASN_TAG_CLASS_UNIVERSAL | (9 << 2)) |
| 41 | }; |
Bi-Ruei, Chiu | 1f87ac0 | 2017-08-20 01:25:45 +0800 | [diff] [blame] | 42 | asn_TYPE_operation_t asn_OP_NativeReal = { |
Lev Walkin | a9cc46e | 2004-09-22 16:06:28 +0000 | [diff] [blame] | 43 | NativeReal_free, |
| 44 | NativeReal_print, |
Lev Walkin | cd2f48e | 2017-08-10 02:14:59 -0700 | [diff] [blame] | 45 | NativeReal_compare, |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 46 | NativeReal_decode_ber, |
| 47 | NativeReal_encode_der, |
Lev Walkin | 8471cec | 2004-10-21 14:02:19 +0000 | [diff] [blame] | 48 | NativeReal_decode_xer, |
Lev Walkin | a9cc46e | 2004-09-22 16:06:28 +0000 | [diff] [blame] | 49 | NativeReal_encode_xer, |
Lev Walkin | cc15947 | 2017-07-06 08:26:36 -0700 | [diff] [blame] | 50 | #ifdef ASN_DISABLE_OER_SUPPORT |
| 51 | 0, |
| 52 | 0, |
| 53 | #else |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 54 | NativeReal_decode_oer, |
| 55 | NativeReal_encode_oer, |
Lev Walkin | cc15947 | 2017-07-06 08:26:36 -0700 | [diff] [blame] | 56 | #endif /* ASN_DISABLE_OER_SUPPORT */ |
Lev Walkin | b33425f | 2017-07-14 14:59:52 +0400 | [diff] [blame] | 57 | #ifdef ASN_DISABLE_PER_SUPPORT |
| 58 | 0, |
| 59 | 0, |
| 60 | #else |
| 61 | NativeReal_decode_uper, |
| 62 | NativeReal_encode_uper, |
| 63 | #endif /* ASN_DISABLE_PER_SUPPORT */ |
Lev Walkin | a5972be | 2017-09-29 23:15:58 -0700 | [diff] [blame] | 64 | NativeReal_random_fill, |
Bi-Ruei, Chiu | 1f87ac0 | 2017-08-20 01:25:45 +0800 | [diff] [blame] | 65 | 0 /* Use generic outmost tag fetcher */ |
| 66 | }; |
| 67 | asn_TYPE_descriptor_t asn_DEF_NativeReal = { |
| 68 | "REAL", /* The ASN.1 type is still REAL */ |
| 69 | "REAL", |
| 70 | &asn_OP_NativeReal, |
Lev Walkin | 5e03376 | 2004-09-29 13:26:15 +0000 | [diff] [blame] | 71 | asn_DEF_NativeReal_tags, |
| 72 | sizeof(asn_DEF_NativeReal_tags) / sizeof(asn_DEF_NativeReal_tags[0]), |
| 73 | asn_DEF_NativeReal_tags, /* Same as above */ |
| 74 | sizeof(asn_DEF_NativeReal_tags) / sizeof(asn_DEF_NativeReal_tags[0]), |
Lev Walkin | a5972be | 2017-09-29 23:15:58 -0700 | [diff] [blame] | 75 | { 0, 0, asn_generic_no_constraint }, |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 76 | 0, 0, /* No members */ |
| 77 | 0 /* No specifics */ |
| 78 | }; |
| 79 | |
| 80 | /* |
| 81 | * Decode REAL type. |
| 82 | */ |
Lev Walkin | dc06f6b | 2004-10-20 15:50:55 +0000 | [diff] [blame] | 83 | asn_dec_rval_t |
Lev Walkin | afbf2a9 | 2017-09-12 23:30:27 -0700 | [diff] [blame] | 84 | NativeReal_decode_ber(const asn_codec_ctx_t *opt_codec_ctx, |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 85 | asn_TYPE_descriptor_t *td, void **dbl_ptr, |
| 86 | const void *buf_ptr, size_t size, int tag_mode) { |
| 87 | double *Dbl = (double *)*dbl_ptr; |
| 88 | asn_dec_rval_t rval; |
| 89 | ber_tlv_len_t length; |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 90 | |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 91 | /* |
| 92 | * If the structure is not there, allocate it. |
| 93 | */ |
| 94 | if(Dbl == NULL) { |
| 95 | *dbl_ptr = CALLOC(1, sizeof(*Dbl)); |
| 96 | Dbl = (double *)*dbl_ptr; |
| 97 | if(Dbl == NULL) { |
| 98 | rval.code = RC_FAIL; |
| 99 | rval.consumed = 0; |
| 100 | return rval; |
| 101 | } |
| 102 | } |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 103 | |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 104 | ASN_DEBUG("Decoding %s as REAL (tm=%d)", td->name, tag_mode); |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 105 | |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 106 | /* |
| 107 | * Check tags. |
| 108 | */ |
| 109 | rval = ber_check_tags(opt_codec_ctx, td, 0, buf_ptr, size, tag_mode, 0, |
| 110 | &length, 0); |
| 111 | if(rval.code != RC_OK) return rval; |
Lev Walkin | 4ca4149 | 2017-10-03 20:29:54 -0700 | [diff] [blame^] | 112 | assert(length >= 0); /* Ensured by ber_check_tags */ |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 113 | |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 114 | ASN_DEBUG("%s length is %d bytes", td->name, (int)length); |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 115 | |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 116 | /* |
| 117 | * Make sure we have this length. |
| 118 | */ |
| 119 | buf_ptr = ((const char *)buf_ptr) + rval.consumed; |
| 120 | size -= rval.consumed; |
| 121 | if(length > (ber_tlv_len_t)size) { |
| 122 | rval.code = RC_WMORE; |
| 123 | rval.consumed = 0; |
| 124 | return rval; |
| 125 | } |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 126 | |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 127 | /* |
| 128 | * ASN.1 encoded REAL: buf_ptr, length |
| 129 | * Fill the Dbl, at the same time checking for overflow. |
| 130 | * If overflow occured, return with RC_FAIL. |
| 131 | */ |
| 132 | { |
| 133 | uint8_t scratch[24]; /* Longer than %.16f in decimal */ |
| 134 | REAL_t tmp; |
| 135 | double d; |
| 136 | int ret; |
Lev Walkin | 7e033b5 | 2005-07-02 08:19:17 +0000 | [diff] [blame] | 137 | |
Lev Walkin | 4ca4149 | 2017-10-03 20:29:54 -0700 | [diff] [blame^] | 138 | if((size_t)length < sizeof(scratch)) { |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 139 | tmp.buf = scratch; |
| 140 | tmp.size = length; |
| 141 | } else { |
| 142 | /* This rarely happens: impractically long value */ |
| 143 | tmp.buf = CALLOC(1, length + 1); |
| 144 | tmp.size = length; |
| 145 | if(!tmp.buf) { |
| 146 | rval.code = RC_FAIL; |
| 147 | rval.consumed = 0; |
| 148 | return rval; |
| 149 | } |
| 150 | } |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 151 | |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 152 | memcpy(tmp.buf, buf_ptr, length); |
| 153 | tmp.buf[length] = '\0'; |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 154 | |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 155 | ret = asn_REAL2double(&tmp, &d); |
| 156 | if(tmp.buf != scratch) FREEMEM(tmp.buf); |
| 157 | if(ret) { |
| 158 | rval.code = RC_FAIL; |
| 159 | rval.consumed = 0; |
| 160 | return rval; |
| 161 | } |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 162 | |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 163 | *Dbl = d; |
| 164 | } |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 165 | |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 166 | rval.code = RC_OK; |
| 167 | rval.consumed += length; |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 168 | |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 169 | ASN_DEBUG("Took %ld/%ld bytes to encode %s (%f)", (long)rval.consumed, |
| 170 | (long)length, td->name, *Dbl); |
| 171 | |
| 172 | return rval; |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 173 | } |
| 174 | |
| 175 | /* |
| 176 | * Encode the NativeReal using the standard REAL type DER encoder. |
| 177 | */ |
Lev Walkin | a9cc46e | 2004-09-22 16:06:28 +0000 | [diff] [blame] | 178 | asn_enc_rval_t |
Lev Walkin | 5e03376 | 2004-09-29 13:26:15 +0000 | [diff] [blame] | 179 | NativeReal_encode_der(asn_TYPE_descriptor_t *td, void *ptr, |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 180 | int tag_mode, ber_tlv_tag_t tag, |
| 181 | asn_app_consume_bytes_f *cb, void *app_key) { |
| 182 | double Dbl = *(const double *)ptr; |
Lev Walkin | a9cc46e | 2004-09-22 16:06:28 +0000 | [diff] [blame] | 183 | asn_enc_rval_t erval; |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 184 | REAL_t tmp; |
| 185 | |
Lev Walkin | a8bbbda | 2005-02-06 04:29:03 +0000 | [diff] [blame] | 186 | /* Prepare a temporary clean structure */ |
| 187 | memset(&tmp, 0, sizeof(tmp)); |
| 188 | |
Lev Walkin | 5e03376 | 2004-09-29 13:26:15 +0000 | [diff] [blame] | 189 | if(asn_double2REAL(&tmp, Dbl)) { |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 190 | erval.encoded = -1; |
| 191 | erval.failed_type = td; |
| 192 | erval.structure_ptr = ptr; |
| 193 | return erval; |
| 194 | } |
| 195 | |
Lev Walkin | 8e8078a | 2004-09-26 13:10:40 +0000 | [diff] [blame] | 196 | /* Encode a fake REAL */ |
| 197 | erval = der_encode_primitive(td, &tmp, tag_mode, tag, cb, app_key); |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 198 | if(erval.encoded == -1) { |
| 199 | assert(erval.structure_ptr == &tmp); |
| 200 | erval.structure_ptr = ptr; |
| 201 | } |
Lev Walkin | a8bbbda | 2005-02-06 04:29:03 +0000 | [diff] [blame] | 202 | |
| 203 | /* Free possibly allocated members of the temporary structure */ |
Lev Walkin | adcb586 | 2006-03-17 02:11:12 +0000 | [diff] [blame] | 204 | ASN_STRUCT_FREE_CONTENTS_ONLY(asn_DEF_REAL, &tmp); |
Lev Walkin | a8bbbda | 2005-02-06 04:29:03 +0000 | [diff] [blame] | 205 | |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 206 | return erval; |
| 207 | } |
| 208 | |
Lev Walkin | 41d972b | 2017-08-23 23:30:59 -0700 | [diff] [blame] | 209 | #ifndef ASN_DISABLE_PER_SUPPORT |
| 210 | |
Lev Walkin | 725883b | 2006-10-09 12:07:58 +0000 | [diff] [blame] | 211 | /* |
| 212 | * Decode REAL type using PER. |
| 213 | */ |
| 214 | asn_dec_rval_t |
Lev Walkin | afbf2a9 | 2017-09-12 23:30:27 -0700 | [diff] [blame] | 215 | NativeReal_decode_uper(const asn_codec_ctx_t *opt_codec_ctx, |
Lev Walkin | 494fb70 | 2017-08-07 20:07:00 -0700 | [diff] [blame] | 216 | asn_TYPE_descriptor_t *td, |
| 217 | const asn_per_constraints_t *constraints, void **dbl_ptr, |
| 218 | asn_per_data_t *pd) { |
| 219 | double *Dbl = (double *)*dbl_ptr; |
Lev Walkin | 725883b | 2006-10-09 12:07:58 +0000 | [diff] [blame] | 220 | asn_dec_rval_t rval; |
| 221 | REAL_t tmp; |
| 222 | void *ptmp = &tmp; |
| 223 | int ret; |
Lev Walkin | a9cc46e | 2004-09-22 16:06:28 +0000 | [diff] [blame] | 224 | |
Lev Walkin | 725883b | 2006-10-09 12:07:58 +0000 | [diff] [blame] | 225 | (void)constraints; |
| 226 | |
| 227 | /* |
| 228 | * If the structure is not there, allocate it. |
| 229 | */ |
| 230 | if(Dbl == NULL) { |
| 231 | *dbl_ptr = CALLOC(1, sizeof(*Dbl)); |
| 232 | Dbl = (double *)*dbl_ptr; |
| 233 | if(Dbl == NULL) |
Lev Walkin | 7c1dc05 | 2016-03-14 03:08:15 -0700 | [diff] [blame] | 234 | ASN__DECODE_FAILED; |
Lev Walkin | 725883b | 2006-10-09 12:07:58 +0000 | [diff] [blame] | 235 | } |
| 236 | |
| 237 | memset(&tmp, 0, sizeof(tmp)); |
| 238 | rval = OCTET_STRING_decode_uper(opt_codec_ctx, td, NULL, |
| 239 | &ptmp, pd); |
| 240 | if(rval.code != RC_OK) { |
| 241 | ASN_STRUCT_FREE_CONTENTS_ONLY(asn_DEF_REAL, &tmp); |
| 242 | return rval; |
| 243 | } |
| 244 | |
| 245 | ret = asn_REAL2double(&tmp, Dbl); |
| 246 | ASN_STRUCT_FREE_CONTENTS_ONLY(asn_DEF_REAL, &tmp); |
Lev Walkin | 7c1dc05 | 2016-03-14 03:08:15 -0700 | [diff] [blame] | 247 | if(ret) ASN__DECODE_FAILED; |
Lev Walkin | 725883b | 2006-10-09 12:07:58 +0000 | [diff] [blame] | 248 | |
| 249 | return rval; |
| 250 | } |
| 251 | |
| 252 | /* |
| 253 | * Encode the NativeReal using the OCTET STRING PER encoder. |
| 254 | */ |
| 255 | asn_enc_rval_t |
| 256 | NativeReal_encode_uper(asn_TYPE_descriptor_t *td, |
Lev Walkin | 494fb70 | 2017-08-07 20:07:00 -0700 | [diff] [blame] | 257 | const asn_per_constraints_t *constraints, void *sptr, |
| 258 | asn_per_outp_t *po) { |
| 259 | double Dbl = *(const double *)sptr; |
Lev Walkin | 725883b | 2006-10-09 12:07:58 +0000 | [diff] [blame] | 260 | asn_enc_rval_t erval; |
| 261 | REAL_t tmp; |
| 262 | |
| 263 | (void)constraints; |
| 264 | |
| 265 | /* Prepare a temporary clean structure */ |
| 266 | memset(&tmp, 0, sizeof(tmp)); |
| 267 | |
| 268 | if(asn_double2REAL(&tmp, Dbl)) |
Lev Walkin | 7c1dc05 | 2016-03-14 03:08:15 -0700 | [diff] [blame] | 269 | ASN__ENCODE_FAILED; |
Lev Walkin | 725883b | 2006-10-09 12:07:58 +0000 | [diff] [blame] | 270 | |
| 271 | /* Encode a DER REAL */ |
| 272 | erval = OCTET_STRING_encode_uper(td, NULL, &tmp, po); |
| 273 | if(erval.encoded == -1) |
| 274 | erval.structure_ptr = sptr; |
| 275 | |
| 276 | /* Free possibly allocated members of the temporary structure */ |
| 277 | ASN_STRUCT_FREE_CONTENTS_ONLY(asn_DEF_REAL, &tmp); |
| 278 | |
| 279 | return erval; |
| 280 | } |
Lev Walkin | 8471cec | 2004-10-21 14:02:19 +0000 | [diff] [blame] | 281 | |
Lev Walkin | 41d972b | 2017-08-23 23:30:59 -0700 | [diff] [blame] | 282 | #endif /* ASN_DISABLE_PER_SUPPORT */ |
| 283 | |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 284 | #ifndef ASN_DISABLE_OER_SUPPORT |
| 285 | |
| 286 | /* |
| 287 | * Encode as Canonical OER. |
| 288 | */ |
| 289 | asn_enc_rval_t |
| 290 | NativeReal_encode_oer(asn_TYPE_descriptor_t *td, |
| 291 | const asn_oer_constraints_t *constraints, void *sptr, |
| 292 | asn_app_consume_bytes_f *cb, void *app_key) { |
| 293 | asn_enc_rval_t er = { 0, 0, 0 }; |
| 294 | ssize_t len_len; |
| 295 | const double *d = sptr; |
| 296 | REAL_t tmp; |
| 297 | |
| 298 | /* Prepare a temporary clean structure */ |
| 299 | memset(&tmp, 0, sizeof(tmp)); |
| 300 | |
| 301 | (void)td; |
| 302 | (void)constraints; /* Constraints are unused in OER */ |
| 303 | |
| 304 | if(asn_double2REAL(&tmp, *d)) { |
| 305 | ASN__ENCODE_FAILED; |
| 306 | } |
| 307 | |
| 308 | /* Encode a fake REAL */ |
| 309 | len_len = oer_serialize_length(tmp.size, cb, app_key); |
| 310 | if(len_len < 0 || cb(tmp.buf, tmp.size, app_key) < 0) { |
| 311 | ASN_STRUCT_FREE_CONTENTS_ONLY(asn_DEF_REAL, &tmp); |
| 312 | ASN__ENCODE_FAILED; |
| 313 | } else { |
| 314 | er.encoded = len_len + tmp.size; |
| 315 | ASN_STRUCT_FREE_CONTENTS_ONLY(asn_DEF_REAL, &tmp); |
| 316 | ASN__ENCODED_OK(er); |
| 317 | } |
| 318 | } |
| 319 | |
| 320 | asn_dec_rval_t |
| 321 | NativeReal_decode_oer(const asn_codec_ctx_t *opt_codec_ctx, |
| 322 | asn_TYPE_descriptor_t *td, |
| 323 | const asn_oer_constraints_t *constraints, void **sptr, |
| 324 | const void *ptr, size_t size) { |
| 325 | asn_dec_rval_t ok = {RC_OK, 0}; |
| 326 | double *st; |
| 327 | double d; |
| 328 | ssize_t len_len; |
| 329 | size_t real_body_len; |
| 330 | |
| 331 | (void)opt_codec_ctx; |
| 332 | (void)td; |
| 333 | (void)constraints; /* Constraints are unused in OER */ |
| 334 | |
| 335 | len_len = oer_fetch_length(ptr, size, &real_body_len); |
| 336 | if(len_len < 0) ASN__DECODE_FAILED; |
| 337 | if(len_len == 0) ASN__DECODE_STARVED; |
| 338 | |
| 339 | ptr = (const char *)ptr + len_len; |
| 340 | size -= len_len; |
| 341 | |
| 342 | if(real_body_len > size) ASN__DECODE_STARVED; |
| 343 | |
| 344 | { |
| 345 | uint8_t scratch[24]; /* Longer than %.16f in decimal */ |
| 346 | REAL_t tmp; |
| 347 | int ret; |
| 348 | |
| 349 | if(real_body_len < sizeof(scratch)) { |
| 350 | tmp.buf = scratch; |
| 351 | tmp.size = real_body_len; |
| 352 | } else { |
| 353 | /* This rarely happens: impractically long value */ |
| 354 | tmp.buf = CALLOC(1, real_body_len + 1); |
| 355 | tmp.size = real_body_len; |
| 356 | if(!tmp.buf) { |
| 357 | ASN__DECODE_FAILED; |
| 358 | } |
| 359 | } |
| 360 | |
| 361 | memcpy(tmp.buf, ptr, real_body_len); |
| 362 | tmp.buf[real_body_len] = '\0'; |
| 363 | |
| 364 | ret = asn_REAL2double(&tmp, &d); |
| 365 | if(tmp.buf != scratch) FREEMEM(tmp.buf); |
| 366 | if(ret) { |
| 367 | ASN_DEBUG("REAL decoded in %zu bytes, but can't convert t double", |
| 368 | real_body_len); |
| 369 | ASN__DECODE_FAILED; |
| 370 | } |
| 371 | } |
| 372 | |
| 373 | if(!(st = *sptr)) { |
| 374 | st = (double *)(*sptr = CALLOC(1, sizeof(*st))); |
| 375 | if(!st) ASN__DECODE_FAILED; |
| 376 | } |
| 377 | |
| 378 | *st = d; |
| 379 | ok.consumed = len_len + real_body_len; |
| 380 | return ok; |
| 381 | } |
| 382 | |
| 383 | #endif /* ASN_DISABLE_OER_SUPPORT */ |
| 384 | |
Lev Walkin | 8471cec | 2004-10-21 14:02:19 +0000 | [diff] [blame] | 385 | /* |
| 386 | * Decode the chunk of XML text encoding REAL. |
| 387 | */ |
| 388 | asn_dec_rval_t |
Lev Walkin | afbf2a9 | 2017-09-12 23:30:27 -0700 | [diff] [blame] | 389 | NativeReal_decode_xer(const asn_codec_ctx_t *opt_codec_ctx, |
Lev Walkin | 8471cec | 2004-10-21 14:02:19 +0000 | [diff] [blame] | 390 | asn_TYPE_descriptor_t *td, void **sptr, const char *opt_mname, |
Lev Walkin | 8c3b854 | 2005-03-10 18:52:02 +0000 | [diff] [blame] | 391 | const void *buf_ptr, size_t size) { |
Lev Walkin | 8471cec | 2004-10-21 14:02:19 +0000 | [diff] [blame] | 392 | asn_dec_rval_t rval; |
| 393 | REAL_t *st = 0; |
Lev Walkin | 1eded35 | 2006-07-13 11:19:01 +0000 | [diff] [blame] | 394 | REAL_t **stp = &st; |
Lev Walkin | 8471cec | 2004-10-21 14:02:19 +0000 | [diff] [blame] | 395 | double *Dbl = (double *)*sptr; |
| 396 | |
| 397 | if(!Dbl) { |
Lev Walkin | c17d90f | 2005-01-17 14:32:45 +0000 | [diff] [blame] | 398 | *sptr = CALLOC(1, sizeof(double)); |
| 399 | Dbl = (double *)*sptr; |
Lev Walkin | 8471cec | 2004-10-21 14:02:19 +0000 | [diff] [blame] | 400 | if(!Dbl) { |
| 401 | rval.code = RC_FAIL; |
| 402 | rval.consumed = 0; |
| 403 | return rval; |
| 404 | } |
| 405 | } |
| 406 | |
Lev Walkin | 1eded35 | 2006-07-13 11:19:01 +0000 | [diff] [blame] | 407 | rval = REAL_decode_xer(opt_codec_ctx, td, (void **)stp, opt_mname, |
Lev Walkin | 8471cec | 2004-10-21 14:02:19 +0000 | [diff] [blame] | 408 | buf_ptr, size); |
| 409 | if(rval.code == RC_OK) { |
| 410 | if(asn_REAL2double(st, Dbl)) { |
| 411 | rval.code = RC_FAIL; |
| 412 | rval.consumed = 0; |
| 413 | } |
| 414 | } else { |
| 415 | rval.consumed = 0; |
| 416 | } |
Lev Walkin | adcb586 | 2006-03-17 02:11:12 +0000 | [diff] [blame] | 417 | ASN_STRUCT_FREE(asn_DEF_REAL, st); |
Lev Walkin | 8471cec | 2004-10-21 14:02:19 +0000 | [diff] [blame] | 418 | return rval; |
| 419 | } |
| 420 | |
Lev Walkin | a9cc46e | 2004-09-22 16:06:28 +0000 | [diff] [blame] | 421 | asn_enc_rval_t |
Lev Walkin | 5e03376 | 2004-09-29 13:26:15 +0000 | [diff] [blame] | 422 | NativeReal_encode_xer(asn_TYPE_descriptor_t *td, void *sptr, |
Lev Walkin | a9cc46e | 2004-09-22 16:06:28 +0000 | [diff] [blame] | 423 | int ilevel, enum xer_encoder_flags_e flags, |
| 424 | asn_app_consume_bytes_f *cb, void *app_key) { |
| 425 | const double *Dbl = (const double *)sptr; |
| 426 | asn_enc_rval_t er; |
Lev Walkin | a9cc46e | 2004-09-22 16:06:28 +0000 | [diff] [blame] | 427 | |
| 428 | (void)ilevel; |
| 429 | |
Lev Walkin | 7c1dc05 | 2016-03-14 03:08:15 -0700 | [diff] [blame] | 430 | if(!Dbl) ASN__ENCODE_FAILED; |
Lev Walkin | a9cc46e | 2004-09-22 16:06:28 +0000 | [diff] [blame] | 431 | |
Lev Walkin | 8e8078a | 2004-09-26 13:10:40 +0000 | [diff] [blame] | 432 | er.encoded = REAL__dump(*Dbl, flags & XER_F_CANONICAL, cb, app_key); |
Lev Walkin | 7c1dc05 | 2016-03-14 03:08:15 -0700 | [diff] [blame] | 433 | if(er.encoded < 0) ASN__ENCODE_FAILED; |
Lev Walkin | a9cc46e | 2004-09-22 16:06:28 +0000 | [diff] [blame] | 434 | |
Lev Walkin | 7c1dc05 | 2016-03-14 03:08:15 -0700 | [diff] [blame] | 435 | ASN__ENCODED_OK(er); |
Lev Walkin | a9cc46e | 2004-09-22 16:06:28 +0000 | [diff] [blame] | 436 | } |
| 437 | |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 438 | /* |
| 439 | * REAL specific human-readable output. |
| 440 | */ |
| 441 | int |
Lev Walkin | 5e03376 | 2004-09-29 13:26:15 +0000 | [diff] [blame] | 442 | NativeReal_print(asn_TYPE_descriptor_t *td, const void *sptr, int ilevel, |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 443 | asn_app_consume_bytes_f *cb, void *app_key) { |
| 444 | const double *Dbl = (const double *)sptr; |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 445 | |
| 446 | (void)td; /* Unused argument */ |
| 447 | (void)ilevel; /* Unused argument */ |
| 448 | |
Lev Walkin | 8e8078a | 2004-09-26 13:10:40 +0000 | [diff] [blame] | 449 | if(!Dbl) return (cb("<absent>", 8, app_key) < 0) ? -1 : 0; |
Lev Walkin | a9cc46e | 2004-09-22 16:06:28 +0000 | [diff] [blame] | 450 | |
| 451 | return (REAL__dump(*Dbl, 0, cb, app_key) < 0) ? -1 : 0; |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 452 | } |
| 453 | |
Lev Walkin | cd2f48e | 2017-08-10 02:14:59 -0700 | [diff] [blame] | 454 | int |
| 455 | NativeReal_compare(const asn_TYPE_descriptor_t *td, const void *aptr, |
| 456 | const void *bptr) { |
| 457 | const double *a = aptr; |
| 458 | const double *b = bptr; |
| 459 | (void)td; |
| 460 | |
| 461 | if(a && b) { |
| 462 | /* NaN sorted above everything else */ |
Lev Walkin | eff98a5 | 2017-09-13 22:24:35 +0000 | [diff] [blame] | 463 | if(asn_isnan(*a)) { |
| 464 | if(asn_isnan(*b)) { |
Lev Walkin | cd2f48e | 2017-08-10 02:14:59 -0700 | [diff] [blame] | 465 | return 0; |
| 466 | } else { |
| 467 | return -1; |
| 468 | } |
Lev Walkin | eff98a5 | 2017-09-13 22:24:35 +0000 | [diff] [blame] | 469 | } else if(asn_isnan(*b)) { |
Lev Walkin | cd2f48e | 2017-08-10 02:14:59 -0700 | [diff] [blame] | 470 | return 1; |
| 471 | } |
| 472 | /* Value comparison. */ |
| 473 | if(*a < *b) { |
| 474 | return -1; |
| 475 | } else if(*a > *b) { |
| 476 | return 1; |
| 477 | } else { |
| 478 | return 0; |
| 479 | } |
| 480 | } else if(!a) { |
| 481 | return -1; |
| 482 | } else { |
| 483 | return 1; |
| 484 | } |
| 485 | } |
| 486 | |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 487 | void |
Lev Walkin | 8d99d7b | 2017-08-25 01:06:00 -0700 | [diff] [blame] | 488 | NativeReal_free(const asn_TYPE_descriptor_t *td, void *ptr, |
| 489 | enum asn_struct_free_method method) { |
Lev Walkin | f6853ce | 2017-08-11 00:50:27 -0700 | [diff] [blame] | 490 | if(!td || !ptr) |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 491 | return; |
| 492 | |
| 493 | ASN_DEBUG("Freeing %s as REAL (%d, %p, Native)", |
Lev Walkin | 8d99d7b | 2017-08-25 01:06:00 -0700 | [diff] [blame] | 494 | td->name, method, ptr); |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 495 | |
Lev Walkin | 8d99d7b | 2017-08-25 01:06:00 -0700 | [diff] [blame] | 496 | switch(method) { |
| 497 | case ASFM_FREE_EVERYTHING: |
| 498 | FREEMEM(ptr); |
| 499 | break; |
| 500 | case ASFM_FREE_UNDERLYING: |
| 501 | break; |
| 502 | case ASFM_FREE_UNDERLYING_AND_RESET: |
| 503 | memset(ptr, 0, sizeof(double)); |
| 504 | break; |
| 505 | } |
Lev Walkin | 41ba1f2 | 2004-09-14 12:46:35 +0000 | [diff] [blame] | 506 | } |
| 507 | |
Lev Walkin | a5972be | 2017-09-29 23:15:58 -0700 | [diff] [blame] | 508 | |
| 509 | asn_random_fill_result_t |
| 510 | NativeReal_random_fill(const asn_TYPE_descriptor_t *td, void **sptr, |
| 511 | const asn_encoding_constraints_t *constraints, |
| 512 | size_t max_length) { |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 513 | asn_random_fill_result_t result_ok = {ARFILL_OK, sizeof(double)}; |
Lev Walkin | a5972be | 2017-09-29 23:15:58 -0700 | [diff] [blame] | 514 | asn_random_fill_result_t result_failed = {ARFILL_FAILED, 0}; |
| 515 | asn_random_fill_result_t result_skipped = {ARFILL_SKIPPED, 0}; |
Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 516 | static const double values[] = { |
| 517 | 0, -0.0, -1, 1, -M_E, M_E, -3.14, 3.14, -M_PI, M_PI, -255, 255, |
| 518 | /* 2^51 */ |
| 519 | -2251799813685248.0, 2251799813685248.0, |
| 520 | /* 2^52 */ |
| 521 | -4503599627370496.0, 4503599627370496.0, |
| 522 | /* 2^100 */ |
| 523 | -1267650600228229401496703205376.0, 1267650600228229401496703205376.0, |
Lev Walkin | 4ca4149 | 2017-10-03 20:29:54 -0700 | [diff] [blame^] | 524 | #if __STDC_VERSION__ >= 199901L |
| 525 | -MAXFLOAT, MAXFLOAT, |
| 526 | #endif |
| 527 | INFINITY, -INFINITY, NAN}; |
Lev Walkin | a5972be | 2017-09-29 23:15:58 -0700 | [diff] [blame] | 528 | double *st; |
| 529 | double d; |
| 530 | |
| 531 | (void)td; |
| 532 | (void)constraints; |
| 533 | |
| 534 | if(max_length == 0) return result_skipped; |
| 535 | |
| 536 | d = values[asn_random_between(0, sizeof(values) / sizeof(values[0]) - 1)]; |
| 537 | |
| 538 | if(*sptr) { |
| 539 | st = *sptr; |
| 540 | } else { |
| 541 | st = (double *)(*sptr = CALLOC(1, sizeof(double))); |
| 542 | if(!st) { |
| 543 | return result_failed; |
| 544 | } |
| 545 | } |
| 546 | |
| 547 | *st = d; |
| 548 | |
Lev Walkin | a5972be | 2017-09-29 23:15:58 -0700 | [diff] [blame] | 549 | return result_ok; |
| 550 | } |