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