libs/smux/constr_SEQUENCE.c

   1 /*
   2  * Copyright (c) 2003-2017 Lev Walkin <vlm@lionet.info>.
   3  * All rights reserved.
   4  * Redistribution and modifications are permitted subject to BSD license.
   5  */
   6 #include <asn_internal.h>
   7 #include <constr_SEQUENCE.h>
   8 #include <OPEN_TYPE.h>
   9 #include <per_opentype.h>
  10
  11 /*
  12  * Number of bytes left for this structure.
  13  * (ctx->left) indicates the number of bytes _transferred_ for the structure.
  14  * (size) contains the number of bytes in the buffer passed.
  15  */
  16 #define LEFT    ((size<(size_t)ctx->left)?size:(size_t)ctx->left)
  17
  18 /*
  19  * If the subprocessor function returns with an indication that it wants
  20  * more data, it may well be a fatal decoding problem, because the
  21  * size is constrained by the <TLV>'s L, even if the buffer size allows
  22  * reading more data.
  23  * For example, consider the buffer containing the following TLVs:
  24  * <T:5><L:1><V> <T:6>...
  25  * The TLV length clearly indicates that one byte is expected in V, but
  26  * if the V processor returns with "want more data" even if the buffer
  27  * contains way more data than the V processor have seen.
  28  */
  29 #define SIZE_VIOLATION  (ctx->left >= 0 && (size_t)ctx->left <= size)
  30
  31 /*
  32  * This macro "eats" the part of the buffer which is definitely "consumed",
  33  * i.e. was correctly converted into local representation or rightfully skipped.
  34  */
  35 #undef  ADVANCE
  36 #define ADVANCE(num_bytes)      do {            \
  37                 size_t num = num_bytes;         \
  38                 ptr = ((const char *)ptr) + num; \
  39                 size -= num;                    \
  40                 if(ctx->left >= 0)              \
  41                         ctx->left -= num;       \
  42                 consumed_myself += num;         \
  43         } while(0)
  44
  45 /*
  46  * Switch to the next phase of parsing.
  47  */
  48 #undef  NEXT_PHASE
  49 #undef  PHASE_OUT
  50 #define NEXT_PHASE(ctx) do {                    \
  51                 ctx->phase++;                   \
  52                 ctx->step = 0;                  \
  53         } while(0)
  54 #define PHASE_OUT(ctx)  do { ctx->phase = 10; } while(0)
  55
  56 /*
  57  * Return a standardized complex structure.
  58  */
  59 #undef  RETURN
  60 #define RETURN(_code)   do {                    \
  61                 rval.code = _code;              \
  62                 rval.consumed = consumed_myself;\
  63                 return rval;                    \
  64         } while(0)
  65
  66 /*
  67  * Check whether we are inside the extensions group.
  68  */
  69 #define IN_EXTENSION_GROUP(specs, memb_idx) \
  70     ((specs)->first_extension >= 0          \
  71      && (unsigned)(specs)->first_extension <= (memb_idx))
  72
  73 /*
  74  * Tags are canonically sorted in the tag2element map.
  75  */
  76 static int
  77 _t2e_cmp(const void *ap, const void *bp) {
  78         const asn_TYPE_tag2member_t *a = (const asn_TYPE_tag2member_t *)ap;
  79         const asn_TYPE_tag2member_t *b = (const asn_TYPE_tag2member_t *)bp;
  80
  81         int a_class = BER_TAG_CLASS(a->el_tag);
  82         int b_class = BER_TAG_CLASS(b->el_tag);
  83
  84         if(a_class == b_class) {
  85                 ber_tlv_tag_t a_value = BER_TAG_VALUE(a->el_tag);
  86                 ber_tlv_tag_t b_value = BER_TAG_VALUE(b->el_tag);
  87
  88                 if(a_value == b_value) {
  89                         if(a->el_no > b->el_no)
  90                                 return 1;
  91                         /*
  92                          * Important: we do not check
  93                          * for a->el_no <= b->el_no!
  94                          */
  95                         return 0;
  96                 } else if(a_value < b_value)
  97                         return -1;
  98                 else
  99                         return 1;
 100         } else if(a_class < b_class) {
 101                 return -1;
 102         } else {
 103                 return 1;
 104         }
 105 }
 106
 107
 108 /*
 109  * The decoder of the SEQUENCE type.
 110  */
 111 asn_dec_rval_t
 112 SEQUENCE_decode_ber(const asn_codec_ctx_t *opt_codec_ctx,
 113                     const asn_TYPE_descriptor_t *td, void **struct_ptr,
 114                     const void *ptr, size_t size, int tag_mode) {
 115     /*
 116          * Bring closer parts of structure description.
 117          */
 118         const asn_SEQUENCE_specifics_t *specs = (const asn_SEQUENCE_specifics_t *)td->specifics;
 119     const asn_TYPE_member_t *elements = td->elements;
 120
 121     /*
 122          * Parts of the structure being constructed.
 123          */
 124         void *st = *struct_ptr; /* Target structure. */
 125         asn_struct_ctx_t *ctx;  /* Decoder context */
 126
 127         ber_tlv_tag_t tlv_tag;  /* T from TLV */
 128         asn_dec_rval_t rval;    /* Return code from subparsers */
 129
 130         ssize_t consumed_myself = 0;    /* Consumed bytes from ptr */
 131         size_t edx;                     /* SEQUENCE element's index */
 132
 133         ASN_DEBUG("Decoding %s as SEQUENCE", td->name);
 134
 135         /*
 136          * Create the target structure if it is not present already.
 137          */
 138         if(st == 0) {
 139                 st = *struct_ptr = CALLOC(1, specs->struct_size);
 140                 if(st == 0) {
 141                         RETURN(RC_FAIL);
 142                 }
 143         }
 144
 145         /*
 146          * Restore parsing context.
 147          */
 148         ctx = (asn_struct_ctx_t *)((char *)st + specs->ctx_offset);
 149
 150         /*
 151          * Start to parse where left previously
 152          */
 153         switch(ctx->phase) {
 154         case 0:
 155                 /*
 156                  * PHASE 0.
 157                  * Check that the set of tags associated with given structure
 158                  * perfectly fits our expectations.
 159                  */
 160
 161                 rval = ber_check_tags(opt_codec_ctx, td, ctx, ptr, size,
 162                         tag_mode, 1, &ctx->left, 0);
 163                 if(rval.code != RC_OK) {
 164                         ASN_DEBUG("%s tagging check failed: %d",
 165                                 td->name, rval.code);
 166                         return rval;
 167                 }
 168
 169                 if(ctx->left >= 0)
 170                         ctx->left += rval.consumed; /* ?Substracted below! */
 171                 ADVANCE(rval.consumed);
 172
 173                 NEXT_PHASE(ctx);
 174
 175                 ASN_DEBUG("Structure consumes %ld bytes, buffer %ld",
 176                         (long)ctx->left, (long)size);
 177
 178                 /* Fall through */
 179         case 1:
 180                 /*
 181                  * PHASE 1.
 182                  * From the place where we've left it previously,
 183                  * try to decode the next member from the list of
 184                  * this structure's elements.
 185                  * (ctx->step) stores the member being processed
 186                  * between invocations and the microphase {0,1} of parsing
 187                  * that member:
 188                  *      step = (<member_number> * 2 + <microphase>).
 189                  */
 190           for(edx = ((size_t)ctx->step >> 1); edx < td->elements_count;
 191                         edx++, ctx->step = (ctx->step & ~1) + 2) {
 192                 void *memb_ptr;         /* Pointer to the member */
 193                 void **memb_ptr2;       /* Pointer to that pointer */
 194                 ssize_t tag_len;        /* Length of TLV's T */
 195                 size_t opt_edx_end;     /* Next non-optional element */
 196                 size_t n;
 197                 int use_bsearch;
 198
 199                 if(ctx->step & 1)
 200                         goto microphase2;
 201
 202                 /*
 203                  * MICROPHASE 1: Synchronize decoding.
 204                  */
 205                 ASN_DEBUG("In %s SEQUENCE left %d, edx=%" ASN_PRI_SIZE " flags=%d"
 206                                 " opt=%d ec=%d",
 207                         td->name, (int)ctx->left, edx,
 208                         elements[edx].flags, elements[edx].optional,
 209                         td->elements_count);
 210
 211         if(ctx->left == 0 /* No more stuff is expected */
 212            && (
 213                   /* Explicit OPTIONAL specification reaches the end */
 214                   (edx + elements[edx].optional == td->elements_count) ||
 215                   /* All extensions are optional */
 216                   IN_EXTENSION_GROUP(specs, edx))) {
 217             ASN_DEBUG("End of SEQUENCE %s", td->name);
 218             /*
 219              * Found the legitimate end of the structure.
 220              */
 221             PHASE_OUT(ctx);
 222             RETURN(RC_OK);
 223         }
 224
 225                 /*
 226                  * Fetch the T from TLV.
 227                  */
 228                 tag_len = ber_fetch_tag(ptr, LEFT, &tlv_tag);
 229                 ASN_DEBUG("Current tag in %s SEQUENCE for element %" ASN_PRI_SIZE " "
 230                         "(%s) is %s encoded in %d bytes, of frame %ld",
 231                         td->name, edx, elements[edx].name,
 232                         ber_tlv_tag_string(tlv_tag), (int)tag_len, (long)LEFT);
 233                 switch(tag_len) {
 234                 case 0: if(!SIZE_VIOLATION) RETURN(RC_WMORE);
 235                         /* Fall through */
 236                 case -1: RETURN(RC_FAIL);
 237                 }
 238
 239         if(ctx->left < 0 && ((const uint8_t *)ptr)[0] == 0) {
 240             if(LEFT < 2) {
 241                 if(SIZE_VIOLATION) {
 242                     RETURN(RC_FAIL);
 243                 } else {
 244                     RETURN(RC_WMORE);
 245                 }
 246             } else if(((const uint8_t *)ptr)[1] == 0) {
 247                 ASN_DEBUG("edx = %" ASN_PRI_SIZE ", opt = %d, ec=%d", edx,
 248                           elements[edx].optional, td->elements_count);
 249                 if((edx + elements[edx].optional == td->elements_count)
 250                    || IN_EXTENSION_GROUP(specs, edx)) {
 251                     /*
 252                      * Yeah, baby! Found the terminator
 253                      * of the indefinite length structure.
 254                      */
 255                     /*
 256                      * Proceed to the canonical
 257                      * finalization function.
 258                      * No advancing is necessary.
 259                      */
 260                     goto phase3;
 261                 }
 262             }
 263         }
 264
 265                 /*
 266                  * Find the next available type with this tag.
 267                  */
 268                 use_bsearch = 0;
 269                 opt_edx_end = edx + elements[edx].optional + 1;
 270                 if(opt_edx_end > td->elements_count)
 271                         opt_edx_end = td->elements_count;       /* Cap */
 272                 else if(opt_edx_end - edx > 8) {
 273                         /* Limit the scope of linear search... */
 274                         opt_edx_end = edx + 8;
 275                         use_bsearch = 1;
 276                         /* ... and resort to bsearch() */
 277                 }
 278                 for(n = edx; n < opt_edx_end; n++) {
 279                         if(BER_TAGS_EQUAL(tlv_tag, elements[n].tag)) {
 280                                 /*
 281                                  * Found element corresponding to the tag
 282                                  * being looked at.
 283                                  * Reposition over the right element.
 284                                  */
 285                                 edx = n;
 286                                 ctx->step = 1 + 2 * edx;        /* Remember! */
 287                                 goto microphase2;
 288                         } else if(elements[n].flags & ATF_ANY_TYPE) {
 289                                 /*
 290                                  * This is the ANY type, which may bear
 291                                  * any flag whatsoever.
 292                                  */
 293                                 edx = n;
 294                                 ctx->step = 1 + 2 * edx;        /* Remember! */
 295                                 goto microphase2;
 296                         } else if(elements[n].tag == (ber_tlv_tag_t)-1) {
 297                                 use_bsearch = 1;
 298                                 break;
 299                         }
 300                 }
 301                 if(use_bsearch) {
 302                         /*
 303                          * Resort to a binary search over
 304                          * sorted array of tags.
 305                          */
 306                         const asn_TYPE_tag2member_t *t2m;
 307                         asn_TYPE_tag2member_t key = {0, 0, 0, 0};
 308                         key.el_tag = tlv_tag;
 309                         key.el_no = edx;
 310                         t2m = (const asn_TYPE_tag2member_t *)bsearch(&key,
 311                                 specs->tag2el, specs->tag2el_count,
 312                                 sizeof(specs->tag2el[0]), _t2e_cmp);
 313                         if(t2m) {
 314                                 const asn_TYPE_tag2member_t *best = 0;
 315                                 const asn_TYPE_tag2member_t *t2m_f, *t2m_l;
 316                                 size_t edx_max = edx + elements[edx].optional;
 317                                 /*
 318                                  * Rewind to the first element with that tag,
 319                                  * `cause bsearch() does not guarantee order.
 320                                  */
 321                                 t2m_f = t2m + t2m->toff_first;
 322                                 t2m_l = t2m + t2m->toff_last;
 323                                 for(t2m = t2m_f; t2m <= t2m_l; t2m++) {
 324                                         if(t2m->el_no > edx_max) break;
 325                                         if(t2m->el_no < edx) continue;
 326                                         best = t2m;
 327                                 }
 328                                 if(best) {
 329                                         edx = best->el_no;
 330                                         ctx->step = 1 + 2 * edx;
 331                                         goto microphase2;
 332                                 }
 333                         }
 334                         n = opt_edx_end;
 335                 }
 336                 if(n == opt_edx_end) {
 337                         /*
 338                          * If tag is unknown, it may be either
 339                          * an unknown (thus, incorrect) tag,
 340                          * or an extension (...),
 341                          * or an end of the indefinite-length structure.
 342                          */
 343                         if(!IN_EXTENSION_GROUP(specs,
 344                                 edx + elements[edx].optional)) {
 345                                 ASN_DEBUG("Unexpected tag %s (at %" ASN_PRI_SIZE ")",
 346                                         ber_tlv_tag_string(tlv_tag), edx);
 347                                 ASN_DEBUG("Expected tag %s (%s)%s",
 348                                         ber_tlv_tag_string(elements[edx].tag),
 349                                         elements[edx].name,
 350                                         elements[edx].optional
 351                                                 ?" or alternatives":"");
 352                                 RETURN(RC_FAIL);
 353                         } else {
 354                                 /* Skip this tag */
 355                                 ssize_t skip;
 356                                 edx += elements[edx].optional;
 357
 358                                 ASN_DEBUG("Skipping unexpected %s (at %" ASN_PRI_SIZE ")",
 359                                         ber_tlv_tag_string(tlv_tag), edx);
 360                                 skip = ber_skip_length(opt_codec_ctx,
 361                                         BER_TLV_CONSTRUCTED(ptr),
 362                                         (const char *)ptr + tag_len,
 363                                         LEFT - tag_len);
 364                                 ASN_DEBUG("Skip length %d in %s",
 365                                         (int)skip, td->name);
 366                                 switch(skip) {
 367                                 case 0: if(!SIZE_VIOLATION) RETURN(RC_WMORE);
 368                                         /* Fall through */
 369                                 case -1: RETURN(RC_FAIL);
 370                                 }
 371
 372                                 ADVANCE(skip + tag_len);
 373                                 ctx->step -= 2;
 374                                 edx--;
 375                                 continue;  /* Try again with the next tag */
 376                         }
 377                 }
 378
 379                 /*
 380                  * MICROPHASE 2: Invoke the member-specific decoder.
 381                  */
 382                 ctx->step |= 1;         /* Confirm entering next microphase */
 383         microphase2:
 384                 ASN_DEBUG("Inside SEQUENCE %s MF2", td->name);
 385
 386                 /*
 387                  * Compute the position of the member inside a structure,
 388                  * and also a type of containment (it may be contained
 389                  * as pointer or using inline inclusion).
 390                  */
 391                 if(elements[edx].flags & ATF_POINTER) {
 392                         /* Member is a pointer to another structure */
 393                         memb_ptr2 = (void **)((char *)st + elements[edx].memb_offset);
 394                 } else {
 395                         /*
 396                          * A pointer to a pointer
 397                          * holding the start of the structure
 398                          */
 399                         memb_ptr = (char *)st + elements[edx].memb_offset;
 400                         memb_ptr2 = &memb_ptr;
 401                 }
 402                 /*
 403                  * Invoke the member fetch routine according to member's type
 404                  */
 405                 if(elements[edx].flags & ATF_OPEN_TYPE) {
 406                         rval = OPEN_TYPE_ber_get(opt_codec_ctx, td, st, &elements[edx], ptr, LEFT);
 407         } else {
 408                         rval = elements[edx].type->op->ber_decoder(opt_codec_ctx,
 409                                         elements[edx].type,
 410                                         memb_ptr2, ptr, LEFT,
 411                                         elements[edx].tag_mode);
 412                 }
 413                 ASN_DEBUG("In %s SEQUENCE decoded %" ASN_PRI_SIZE " %s of %d "
 414                         "in %d bytes rval.code %d, size=%d",
 415                         td->name, edx, elements[edx].type->name,
 416                         (int)LEFT, (int)rval.consumed, rval.code, (int)size);
 417                 switch(rval.code) {
 418                 case RC_OK:
 419                         break;
 420                 case RC_WMORE: /* More data expected */
 421                         if(!SIZE_VIOLATION) {
 422                                 ADVANCE(rval.consumed);
 423                                 RETURN(RC_WMORE);
 424                         }
 425                         ASN_DEBUG("Size violation (c->l=%ld <= s=%ld)",
 426                                 (long)ctx->left, (long)size);
 427                         /* Fall through */
 428                 case RC_FAIL: /* Fatal error */
 429                         RETURN(RC_FAIL);
 430                 } /* switch(rval) */
 431
 432                 ADVANCE(rval.consumed);
 433           }     /* for(all structure members) */
 434
 435         phase3:
 436                 ctx->phase = 3;
 437         /* Fall through */
 438         case 3: /* 00 and other tags expected */
 439         case 4: /* only 00's expected */
 440
 441                 ASN_DEBUG("SEQUENCE %s Leftover: %ld, size = %ld",
 442                         td->name, (long)ctx->left, (long)size);
 443
 444                 /*
 445                  * Skip everything until the end of the SEQUENCE.
 446                  */
 447                 while(ctx->left) {
 448                         ssize_t tl, ll;
 449
 450                         tl = ber_fetch_tag(ptr, LEFT, &tlv_tag);
 451                         switch(tl) {
 452                         case 0: if(!SIZE_VIOLATION) RETURN(RC_WMORE);
 453                                 /* Fall through */
 454                         case -1: RETURN(RC_FAIL);
 455                         }
 456
 457                         /*
 458                          * If expected <0><0>...
 459                          */
 460                         if(ctx->left < 0
 461                                 && ((const uint8_t *)ptr)[0] == 0) {
 462                                 if(LEFT < 2) {
 463                                         if(SIZE_VIOLATION)
 464                                                 RETURN(RC_FAIL);
 465                                         else
 466                                                 RETURN(RC_WMORE);
 467                                 } else if(((const uint8_t *)ptr)[1] == 0) {
 468                                         /*
 469                                          * Correctly finished with <0><0>.
 470                                          */
 471                                         ADVANCE(2);
 472                                         ctx->left++;
 473                                         ctx->phase = 4;
 474                                         continue;
 475                                 }
 476                         }
 477
 478                         if(!IN_EXTENSION_GROUP(specs, td->elements_count)
 479                         || ctx->phase == 4) {
 480                                 ASN_DEBUG("Unexpected continuation "
 481                                         "of a non-extensible type "
 482                                         "%s (SEQUENCE): %s",
 483                                         td->name,
 484                                         ber_tlv_tag_string(tlv_tag));
 485                                 RETURN(RC_FAIL);
 486                         }
 487
 488                         ll = ber_skip_length(opt_codec_ctx,
 489                                 BER_TLV_CONSTRUCTED(ptr),
 490                                 (const char *)ptr + tl, LEFT - tl);
 491                         switch(ll) {
 492                         case 0: if(!SIZE_VIOLATION) RETURN(RC_WMORE);
 493                                 /* Fall through */
 494                         case -1: RETURN(RC_FAIL);
 495                         }
 496
 497                         ADVANCE(tl + ll);
 498                 }
 499
 500                 PHASE_OUT(ctx);
 501         }
 502
 503         RETURN(RC_OK);
 504 }
 505
 506
 507 /*
 508  * The DER encoder of the SEQUENCE type.
 509  */
 510 asn_enc_rval_t
 511 SEQUENCE_encode_der(const asn_TYPE_descriptor_t *td, const void *sptr,
 512                     int tag_mode, ber_tlv_tag_t tag,
 513                     asn_app_consume_bytes_f *cb, void *app_key) {
 514     size_t computed_size = 0;
 515         asn_enc_rval_t erval;
 516         ssize_t ret;
 517         size_t edx;
 518
 519         ASN_DEBUG("%s %s as SEQUENCE",
 520                 cb?"Encoding":"Estimating", td->name);
 521
 522         /*
 523          * Gather the length of the underlying members sequence.
 524          */
 525         for(edx = 0; edx < td->elements_count; edx++) {
 526                 asn_TYPE_member_t *elm = &td->elements[edx];
 527
 528                 const void *memb_ptr;           /* Pointer to the member */
 529         const void *const *memb_ptr2; /* Pointer to that pointer */
 530
 531         if(elm->flags & ATF_POINTER) {
 532             memb_ptr2 =
 533                 (const void *const *)((const char *)sptr + elm->memb_offset);
 534             if(!*memb_ptr2) {
 535                                 ASN_DEBUG("Element %s %" ASN_PRI_SIZE " not present",
 536                                         elm->name, edx);
 537                                 if(elm->optional)
 538                                         continue;
 539                                 /* Mandatory element is missing */
 540                                 ASN__ENCODE_FAILED;
 541                         }
 542                 } else {
 543             memb_ptr = (const void *)((const char *)sptr + elm->memb_offset);
 544             memb_ptr2 = &memb_ptr;
 545                 }
 546
 547                 /* Eliminate default values */
 548                 if(elm->default_value_cmp && elm->default_value_cmp(*memb_ptr2) == 0)
 549                         continue;
 550
 551                 erval = elm->type->op->der_encoder(elm->type, *memb_ptr2,
 552                         elm->tag_mode, elm->tag,
 553                         0, 0);
 554                 if(erval.encoded == -1)
 555                         return erval;
 556                 computed_size += erval.encoded;
 557                 ASN_DEBUG("Member %" ASN_PRI_SIZE " %s estimated %ld bytes",
 558                         edx, elm->name, (long)erval.encoded);
 559         }
 560
 561         /*
 562          * Encode the TLV for the sequence itself.
 563          */
 564         ret = der_write_tags(td, computed_size, tag_mode, 1, tag, cb, app_key);
 565         ASN_DEBUG("Wrote tags: %ld (+%ld)", (long)ret, (long)computed_size);
 566         if(ret == -1)
 567                 ASN__ENCODE_FAILED;
 568         erval.encoded = computed_size + ret;
 569
 570         if(!cb) ASN__ENCODED_OK(erval);
 571
 572         /*
 573          * Encode all members.
 574          */
 575         for(edx = 0; edx < td->elements_count; edx++) {
 576                 asn_TYPE_member_t *elm = &td->elements[edx];
 577                 asn_enc_rval_t tmperval;
 578         const void *memb_ptr;           /* Pointer to the member */
 579         const void *const *memb_ptr2;   /* Pointer to that pointer */
 580
 581         if(elm->flags & ATF_POINTER) {
 582             memb_ptr2 =
 583                 (const void *const *)((const char *)sptr + elm->memb_offset);
 584             if(!*memb_ptr2) continue;
 585                 } else {
 586             memb_ptr = (const void *)((const char *)sptr + elm->memb_offset);
 587             memb_ptr2 = &memb_ptr;
 588                 }
 589
 590                 /* Eliminate default values */
 591         if(elm->default_value_cmp && elm->default_value_cmp(*memb_ptr2) == 0)
 592             continue;
 593
 594                 tmperval = elm->type->op->der_encoder(elm->type, *memb_ptr2,
 595                         elm->tag_mode, elm->tag, cb, app_key);
 596                 if(tmperval.encoded == -1)
 597                         return tmperval;
 598                 computed_size -= tmperval.encoded;
 599                 ASN_DEBUG("Member %" ASN_PRI_SIZE " %s of SEQUENCE %s encoded in %ld bytes",
 600                         edx, elm->name, td->name, (long)tmperval.encoded);
 601         }
 602
 603         if(computed_size != 0)
 604                 /*
 605                  * Encoded size is not equal to the computed size.
 606                  */
 607                 ASN__ENCODE_FAILED;
 608
 609         ASN__ENCODED_OK(erval);
 610 }
 611
 612
 613 #undef  XER_ADVANCE
 614 #define XER_ADVANCE(num_bytes)           \
 615     do {                                 \
 616         size_t num = (num_bytes);        \
 617         ptr = ((const char *)ptr) + num; \
 618         size -= num;                     \
 619         consumed_myself += num;          \
 620     } while(0)
 621
 622 /*
 623  * Decode the XER (XML) data.
 624  */
 625 asn_dec_rval_t
 626 SEQUENCE_decode_xer(const asn_codec_ctx_t *opt_codec_ctx,
 627                     const asn_TYPE_descriptor_t *td, void **struct_ptr,
 628                     const char *opt_mname, const void *ptr, size_t size) {
 629     /*
 630          * Bring closer parts of structure description.
 631          */
 632         const asn_SEQUENCE_specifics_t *specs
 633                 = (const asn_SEQUENCE_specifics_t *)td->specifics;
 634         asn_TYPE_member_t *elements = td->elements;
 635         const char *xml_tag = opt_mname ? opt_mname : td->xml_tag;
 636
 637         /*
 638          * ... and parts of the structure being constructed.
 639          */
 640         void *st = *struct_ptr; /* Target structure. */
 641         asn_struct_ctx_t *ctx;  /* Decoder context */
 642
 643         asn_dec_rval_t rval;            /* Return value from a decoder */
 644         ssize_t consumed_myself = 0;    /* Consumed bytes from ptr */
 645         size_t edx;                     /* Element index */
 646
 647         /*
 648          * Create the target structure if it is not present already.
 649          */
 650         if(st == 0) {
 651                 st = *struct_ptr = CALLOC(1, specs->struct_size);
 652                 if(st == 0) RETURN(RC_FAIL);
 653         }
 654
 655         /*
 656          * Restore parsing context.
 657          */
 658         ctx = (asn_struct_ctx_t *)((char *)st + specs->ctx_offset);
 659
 660
 661         /*
 662          * Phases of XER/XML processing:
 663          * Phase 0: Check that the opening tag matches our expectations.
 664          * Phase 1: Processing body and reacting on closing tag.
 665          * Phase 2: Processing inner type.
 666          * Phase 3: Skipping unknown extensions.
 667          * Phase 4: PHASED OUT
 668          */
 669         for(edx = ctx->step; ctx->phase <= 3;) {
 670                 pxer_chunk_type_e ch_type;      /* XER chunk type */
 671                 ssize_t ch_size;                /* Chunk size */
 672                 xer_check_tag_e tcv;            /* Tag check value */
 673                 asn_TYPE_member_t *elm;
 674
 675                 /*
 676                  * Go inside the inner member of a sequence.
 677                  */
 678                 if(ctx->phase == 2) {
 679                         asn_dec_rval_t tmprval;
 680                         void *memb_ptr_dontuse;         /* Pointer to the member */
 681                         void **memb_ptr2;       /* Pointer to that pointer */
 682
 683                         elm = &td->elements[edx];
 684
 685                         if(elm->flags & ATF_POINTER) {
 686                                 /* Member is a pointer to another structure */
 687                                 memb_ptr2 = (void **)((char *)st + elm->memb_offset);
 688                         } else {
 689                                 memb_ptr_dontuse = (char *)st + elm->memb_offset;
 690                                 memb_ptr2 = &memb_ptr_dontuse;  /* Only use of memb_ptr_dontuse */
 691                         }
 692
 693                         if(elm->flags & ATF_OPEN_TYPE) {
 694                                 tmprval = OPEN_TYPE_xer_get(opt_codec_ctx, td, st, elm, ptr, size);
 695                         } else {
 696                                 /* Invoke the inner type decoder, m.b. multiple times */
 697                                 tmprval = elm->type->op->xer_decoder(opt_codec_ctx,
 698                                                 elm->type, memb_ptr2, elm->name,
 699                                                 ptr, size);
 700                         }
 701                         XER_ADVANCE(tmprval.consumed);
 702                         if(tmprval.code != RC_OK)
 703                                 RETURN(tmprval.code);
 704                         ctx->phase = 1; /* Back to body processing */
 705                         ctx->step = ++edx;
 706                         ASN_DEBUG("XER/SEQUENCE phase => %d, step => %d",
 707                                 ctx->phase, ctx->step);
 708                         /* Fall through */
 709                 }
 710
 711                 /*
 712                  * Get the next part of the XML stream.
 713                  */
 714                 ch_size = xer_next_token(&ctx->context, ptr, size,
 715                         &ch_type);
 716                 if(ch_size == -1) {
 717                     RETURN(RC_FAIL);
 718                 } else {
 719                         switch(ch_type) {
 720                         case PXER_WMORE:
 721                                 RETURN(RC_WMORE);
 722                         case PXER_COMMENT:      /* Got XML comment */
 723                         case PXER_TEXT:         /* Ignore free-standing text */
 724                                 XER_ADVANCE(ch_size);   /* Skip silently */
 725                                 continue;
 726                         case PXER_TAG:
 727                                 break;  /* Check the rest down there */
 728                         }
 729                 }
 730
 731                 tcv = xer_check_tag(ptr, ch_size, xml_tag);
 732                 ASN_DEBUG("XER/SEQUENCE: tcv = %d, ph=%d [%s]",
 733                         tcv, ctx->phase, xml_tag);
 734
 735                 /* Skip the extensions section */
 736                 if(ctx->phase == 3) {
 737                         switch(xer_skip_unknown(tcv, &ctx->left)) {
 738                         case -1:
 739                                 ctx->phase = 4;
 740                                 RETURN(RC_FAIL);
 741                         case 0:
 742                                 XER_ADVANCE(ch_size);
 743                                 continue;
 744                         case 1:
 745                                 XER_ADVANCE(ch_size);
 746                                 ctx->phase = 1;
 747                                 continue;
 748                         case 2:
 749                                 ctx->phase = 1;
 750                                 break;
 751                         }
 752                 }
 753
 754                 switch(tcv) {
 755                 case XCT_CLOSING:
 756                         if(ctx->phase == 0) break;
 757                         ctx->phase = 0;
 758                         /* Fall through */
 759                 case XCT_BOTH:
 760             if(ctx->phase == 0) {
 761                 if(edx >= td->elements_count ||
 762                    /* Explicit OPTIONAL specs reaches the end */
 763                    (edx + elements[edx].optional == td->elements_count) ||
 764                    /* All extensions are optional */
 765                    IN_EXTENSION_GROUP(specs, edx)) {
 766                     XER_ADVANCE(ch_size);
 767                                         ctx->phase = 4; /* Phase out */
 768                                         RETURN(RC_OK);
 769                                 } else {
 770                                         ASN_DEBUG("Premature end of XER SEQUENCE");
 771                                         RETURN(RC_FAIL);
 772                                 }
 773                         }
 774                         /* Fall through */
 775                 case XCT_OPENING:
 776                         if(ctx->phase == 0) {
 777                                 XER_ADVANCE(ch_size);
 778                                 ctx->phase = 1; /* Processing body phase */
 779                                 continue;
 780                         }
 781                         /* Fall through */
 782                 case XCT_UNKNOWN_OP:
 783                 case XCT_UNKNOWN_BO:
 784
 785                         ASN_DEBUG("XER/SEQUENCE: tcv=%d, ph=%d, edx=%" ASN_PRI_SIZE "",
 786                                 tcv, ctx->phase, edx);
 787                         if(ctx->phase != 1) {
 788                                 break;  /* Really unexpected */
 789                         }
 790
 791                         if(edx < td->elements_count) {
 792                                 /*
 793                                  * Search which member corresponds to this tag.
 794                                  */
 795                                 size_t n;
 796                                 size_t edx_end = edx + elements[edx].optional + 1;
 797                                 if(edx_end > td->elements_count)
 798                                         edx_end = td->elements_count;
 799                                 for(n = edx; n < edx_end; n++) {
 800                                         elm = &td->elements[n];
 801                                         tcv = xer_check_tag(ptr, ch_size, elm->name);
 802                                         switch(tcv) {
 803                                         case XCT_BOTH:
 804                                         case XCT_OPENING:
 805                                                 /*
 806                                                  * Process this member.
 807                                                  */
 808                                                 ctx->step = edx = n;
 809                                                 ctx->phase = 2;
 810                                                 break;
 811                                         case XCT_UNKNOWN_OP:
 812                                         case XCT_UNKNOWN_BO:
 813                                                 continue;
 814                                         default:
 815                                                 n = edx_end;
 816                                                 break;  /* Phase out */
 817                                         }
 818                                         break;
 819                                 }
 820                                 if(n != edx_end)
 821                                         continue;
 822                         } else {
 823                                 ASN_DEBUG("Out of defined members: %" ASN_PRI_SIZE "/%u",
 824                                         edx, td->elements_count);
 825                         }
 826
 827                         /* It is expected extension */
 828                         if(IN_EXTENSION_GROUP(specs,
 829                                 edx + (edx < td->elements_count
 830                                         ? elements[edx].optional : 0))) {
 831                                 ASN_DEBUG("Got anticipated extension at %" ASN_PRI_SIZE "",
 832                                         edx);
 833                                 /*
 834                                  * Check for (XCT_BOTH or XCT_UNKNOWN_BO)
 835                                  * By using a mask. Only record a pure
 836                                  * <opening> tags.
 837                                  */
 838                                 if(tcv & XCT_CLOSING) {
 839                                         /* Found </extension> without body */
 840                                 } else {
 841                                         ctx->left = 1;
 842                                         ctx->phase = 3; /* Skip ...'s */
 843                                 }
 844                                 XER_ADVANCE(ch_size);
 845                                 continue;
 846                         }
 847
 848                         /* Fall through */
 849                 default:
 850                         break;
 851                 }
 852
 853                 ASN_DEBUG("Unexpected XML tag in SEQUENCE [%c%c%c%c%c%c]",
 854                         size>0?((const char *)ptr)[0]:'.',
 855                         size>1?((const char *)ptr)[1]:'.',
 856                         size>2?((const char *)ptr)[2]:'.',
 857                         size>3?((const char *)ptr)[3]:'.',
 858                         size>4?((const char *)ptr)[4]:'.',
 859                         size>5?((const char *)ptr)[5]:'.');
 860                 break;
 861         }
 862
 863         ctx->phase = 4; /* "Phase out" on hard failure */
 864         RETURN(RC_FAIL);
 865 }
 866
 867 asn_enc_rval_t
 868 SEQUENCE_encode_xer(const asn_TYPE_descriptor_t *td, const void *sptr,
 869                     int ilevel, enum xer_encoder_flags_e flags,
 870                     asn_app_consume_bytes_f *cb, void *app_key) {
 871     asn_enc_rval_t er;
 872     int xcan = (flags & XER_F_CANONICAL);
 873     asn_TYPE_descriptor_t *tmp_def_val_td = 0;
 874     void *tmp_def_val = 0;
 875         size_t edx;
 876
 877     if(!sptr) ASN__ENCODE_FAILED;
 878
 879     er.encoded = 0;
 880
 881     for(edx = 0; edx < td->elements_count; edx++) {
 882         asn_enc_rval_t tmper;
 883         asn_TYPE_member_t *elm = &td->elements[edx];
 884         const void *memb_ptr;
 885         const char *mname = elm->name;
 886         unsigned int mlen = strlen(mname);
 887
 888         if(elm->flags & ATF_POINTER) {
 889             memb_ptr =
 890                 *(const void *const *)((const char *)sptr + elm->memb_offset);
 891             if(!memb_ptr) {
 892                 assert(tmp_def_val == 0);
 893                 if(elm->default_value_set) {
 894                     if(elm->default_value_set(&tmp_def_val)) {
 895                         ASN__ENCODE_FAILED;
 896                     } else {
 897                         memb_ptr = tmp_def_val;
 898                         tmp_def_val_td = elm->type;
 899                     }
 900                 } else if(elm->optional) {
 901                     continue;
 902                 } else {
 903                     /* Mandatory element is missing */
 904                     ASN__ENCODE_FAILED;
 905                 }
 906             }
 907         } else {
 908             memb_ptr = (const void *)((const char *)sptr + elm->memb_offset);
 909         }
 910
 911         if(!xcan) ASN__TEXT_INDENT(1, ilevel);
 912         ASN__CALLBACK3("<", 1, mname, mlen, ">", 1);
 913
 914         /* Print the member itself */
 915         tmper = elm->type->op->xer_encoder(elm->type, memb_ptr, ilevel + 1,
 916                                            flags, cb, app_key);
 917         if(tmp_def_val) {
 918             ASN_STRUCT_FREE(*tmp_def_val_td, tmp_def_val);
 919             tmp_def_val = 0;
 920         }
 921         if(tmper.encoded == -1) return tmper;
 922         er.encoded += tmper.encoded;
 923
 924         ASN__CALLBACK3("</", 2, mname, mlen, ">", 1);
 925     }
 926
 927     if(!xcan) ASN__TEXT_INDENT(1, ilevel - 1);
 928
 929     ASN__ENCODED_OK(er);
 930 cb_failed:
 931     if(tmp_def_val) ASN_STRUCT_FREE(*tmp_def_val_td, tmp_def_val);
 932     ASN__ENCODE_FAILED;
 933 }
 934
 935 int
 936 SEQUENCE_print(const asn_TYPE_descriptor_t *td, const void *sptr, int ilevel,
 937                asn_app_consume_bytes_f *cb, void *app_key) {
 938     size_t edx;
 939         int ret;
 940
 941         if(!sptr) return (cb("<absent>", 8, app_key) < 0) ? -1 : 0;
 942
 943         /* Dump preamble */
 944         if(cb(td->name, strlen(td->name), app_key) < 0
 945         || cb(" ::= {", 6, app_key) < 0)
 946                 return -1;
 947
 948         for(edx = 0; edx < td->elements_count; edx++) {
 949                 asn_TYPE_member_t *elm = &td->elements[edx];
 950                 const void *memb_ptr;
 951
 952                 if(elm->flags & ATF_POINTER) {
 953                         memb_ptr = *(const void * const *)((const char *)sptr + elm->memb_offset);
 954                         if(!memb_ptr) {
 955                                 if(elm->optional) continue;
 956                                 /* Print <absent> line */
 957                                 /* Fall through */
 958                         }
 959                 } else {
 960                         memb_ptr = (const void *)((const char *)sptr + elm->memb_offset);
 961                 }
 962
 963                 /* Indentation */
 964                 _i_INDENT(1);
 965
 966                 /* Print the member's name and stuff */
 967                 if(cb(elm->name, strlen(elm->name), app_key) < 0
 968                 || cb(": ", 2, app_key) < 0)
 969                         return -1;
 970
 971                 /* Print the member itself */
 972                 ret = elm->type->op->print_struct(elm->type, memb_ptr, ilevel + 1,
 973                         cb, app_key);
 974                 if(ret) return ret;
 975         }
 976
 977         ilevel--;
 978         _i_INDENT(1);
 979
 980         return (cb("}", 1, app_key) < 0) ? -1 : 0;
 981 }
 982
 983 void
 984 SEQUENCE_free(const asn_TYPE_descriptor_t *td, void *sptr,
 985               enum asn_struct_free_method method) {
 986     size_t edx;
 987     const asn_SEQUENCE_specifics_t *specs =
 988         (const asn_SEQUENCE_specifics_t *)td->specifics;
 989     asn_struct_ctx_t *ctx; /* Decoder context */
 990
 991         if(!td || !sptr)
 992                 return;
 993
 994         ASN_DEBUG("Freeing %s as SEQUENCE", td->name);
 995
 996         for(edx = 0; edx < td->elements_count; edx++) {
 997                 asn_TYPE_member_t *elm = &td->elements[edx];
 998                 void *memb_ptr;
 999                 if(elm->flags & ATF_POINTER) {
1000                         memb_ptr = *(void **)((char *)sptr + elm->memb_offset);
1001                         if(memb_ptr)
1002                                 ASN_STRUCT_FREE(*elm->type, memb_ptr);
1003                 } else {
1004                         memb_ptr = (void *)((char *)sptr + elm->memb_offset);
1005                         ASN_STRUCT_FREE_CONTENTS_ONLY(*elm->type, memb_ptr);
1006                 }
1007         }
1008
1009         /* Clean parsing context */
1010         ctx = (asn_struct_ctx_t *)((char *)sptr + specs->ctx_offset);
1011         FREEMEM(ctx->ptr);
1012
1013     switch(method) {
1014     case ASFM_FREE_EVERYTHING:
1015         FREEMEM(sptr);
1016         break;
1017     case ASFM_FREE_UNDERLYING:
1018         break;
1019     case ASFM_FREE_UNDERLYING_AND_RESET:
1020         memset(
1021             sptr, 0,
1022             ((const asn_SEQUENCE_specifics_t *)(td->specifics))->struct_size);
1023         break;
1024     }
1025 }
1026
1027 int
1028 SEQUENCE_constraint(const asn_TYPE_descriptor_t *td, const void *sptr,
1029                     asn_app_constraint_failed_f *ctfailcb, void *app_key) {
1030     size_t edx;
1031
1032         if(!sptr) {
1033                 ASN__CTFAIL(app_key, td, sptr,
1034                         "%s: value not given (%s:%d)",
1035                         td->name, __FILE__, __LINE__);
1036                 return -1;
1037         }
1038
1039         /*
1040          * Iterate over structure members and check their validity.
1041          */
1042         for(edx = 0; edx < td->elements_count; edx++) {
1043                 asn_TYPE_member_t *elm = &td->elements[edx];
1044                 const void *memb_ptr;
1045
1046                 if(elm->flags & ATF_POINTER) {
1047                         memb_ptr = *(const void * const *)((const char *)sptr + elm->memb_offset);
1048                         if(!memb_ptr) {
1049                                 if(elm->optional)
1050                                         continue;
1051                                 ASN__CTFAIL(app_key, td, sptr,
1052                                 "%s: mandatory element %s absent (%s:%d)",
1053                                 td->name, elm->name, __FILE__, __LINE__);
1054                                 return -1;
1055                         }
1056                 } else {
1057                         memb_ptr = (const void *)((const char *)sptr + elm->memb_offset);
1058                 }
1059
1060                 if(elm->encoding_constraints.general_constraints) {
1061                         int ret = elm->encoding_constraints.general_constraints(elm->type, memb_ptr,
1062                                 ctfailcb, app_key);
1063                         if(ret) return ret;
1064                 } else {
1065                         return elm->type->encoding_constraints.general_constraints(elm->type,
1066                                 memb_ptr, ctfailcb, app_key);
1067                 }
1068         }
1069
1070         return 0;
1071 }
1072
1073 #ifndef ASN_DISABLE_PER_SUPPORT
1074
1075 asn_dec_rval_t
1076 SEQUENCE_decode_uper(const asn_codec_ctx_t *opt_codec_ctx,
1077                      const asn_TYPE_descriptor_t *td,
1078                      const asn_per_constraints_t *constraints, void **sptr,
1079                      asn_per_data_t *pd) {
1080     const asn_SEQUENCE_specifics_t *specs = (const asn_SEQUENCE_specifics_t *)td->specifics;
1081         void *st = *sptr;       /* Target structure. */
1082         int extpresent;         /* Extension additions are present */
1083         uint8_t *opres;         /* Presence of optional root members */
1084         asn_per_data_t opmd;
1085         asn_dec_rval_t rv;
1086         size_t edx;
1087
1088         (void)constraints;
1089
1090         if(ASN__STACK_OVERFLOW_CHECK(opt_codec_ctx))
1091                 ASN__DECODE_FAILED;
1092
1093         if(!st) {
1094                 st = *sptr = CALLOC(1, specs->struct_size);
1095                 if(!st) ASN__DECODE_FAILED;
1096         }
1097
1098         ASN_DEBUG("Decoding %s as SEQUENCE (UPER)", td->name);
1099
1100         /* Handle extensions */
1101         if(specs->first_extension < 0) {
1102                 extpresent = 0;
1103         } else {
1104                 extpresent = per_get_few_bits(pd, 1);
1105                 if(extpresent < 0) ASN__DECODE_STARVED;
1106         }
1107
1108         /* Prepare a place and read-in the presence bitmap */
1109         memset(&opmd, 0, sizeof(opmd));
1110         if(specs->roms_count) {
1111                 opres = (uint8_t *)MALLOC(((specs->roms_count + 7) >> 3) + 1);
1112                 if(!opres) ASN__DECODE_FAILED;
1113                 /* Get the presence map */
1114                 if(per_get_many_bits(pd, opres, 0, specs->roms_count)) {
1115                         FREEMEM(opres);
1116                         ASN__DECODE_STARVED;
1117                 }
1118                 opmd.buffer = opres;
1119                 opmd.nbits = specs->roms_count;
1120                 ASN_DEBUG("Read in presence bitmap for %s of %d bits (%x..)",
1121                         td->name, specs->roms_count, *opres);
1122         } else {
1123                 opres = 0;
1124         }
1125
1126         /*
1127          * Get the sequence ROOT elements.
1128          */
1129     for(edx = 0;
1130         edx < (specs->first_extension < 0 ? td->elements_count
1131                                           : (size_t)specs->first_extension);
1132         edx++) {
1133         asn_TYPE_member_t *elm = &td->elements[edx];
1134                 void *memb_ptr;         /* Pointer to the member */
1135                 void **memb_ptr2;       /* Pointer to that pointer */
1136
1137                 assert(!IN_EXTENSION_GROUP(specs, edx));
1138
1139                 /* Fetch the pointer to this member */
1140                 if(elm->flags & ATF_POINTER) {
1141                         memb_ptr2 = (void **)((char *)st + elm->memb_offset);
1142                 } else {
1143                         memb_ptr = (char *)st + elm->memb_offset;
1144                         memb_ptr2 = &memb_ptr;
1145                 }
1146
1147                 /* Deal with optionality */
1148                 if(elm->optional) {
1149                         int present = per_get_few_bits(&opmd, 1);
1150                         ASN_DEBUG("Member %s->%s is optional, p=%d (%d->%d)",
1151                                 td->name, elm->name, present,
1152                                 (int)opmd.nboff, (int)opmd.nbits);
1153                         if(present == 0) {
1154                                 /* This element is not present */
1155                                 if(elm->default_value_set) {
1156                                         /* Fill-in DEFAULT */
1157                                         if(elm->default_value_set(memb_ptr2)) {
1158                                                 FREEMEM(opres);
1159                                                 ASN__DECODE_FAILED;
1160                                         }
1161                                         ASN_DEBUG("Filled-in default");
1162                                 }
1163                                 /* The member is just not present */
1164                                 continue;
1165                         }
1166                         /* Fall through */
1167                 }
1168
1169                 /* Fetch the member from the stream */
1170                 ASN_DEBUG("Decoding member \"%s\" in %s", elm->name, td->name);
1171
1172                 if(elm->flags & ATF_OPEN_TYPE) {
1173                         rv = OPEN_TYPE_uper_get(opt_codec_ctx, td, st, elm, pd);
1174                 } else {
1175                         rv = elm->type->op->uper_decoder(opt_codec_ctx, elm->type,
1176                                         elm->encoding_constraints.per_constraints, memb_ptr2, pd);
1177                 }
1178                 if(rv.code != RC_OK) {
1179                         ASN_DEBUG("Failed decode %s in %s",
1180                                 elm->name, td->name);
1181                         FREEMEM(opres);
1182                         return rv;
1183                 }
1184         }
1185
1186         /* Optionality map is not needed anymore */
1187         FREEMEM(opres);
1188
1189         /*
1190          * Deal with extensions.
1191          */
1192         if(extpresent) {
1193                 ssize_t bmlength;
1194                 uint8_t *epres;         /* Presence of extension members */
1195                 asn_per_data_t epmd;
1196
1197                 bmlength = uper_get_nslength(pd);
1198                 if(bmlength < 0) ASN__DECODE_STARVED;
1199
1200                 ASN_DEBUG("Extensions %" ASN_PRI_SSIZE " present in %s", bmlength, td->name);
1201
1202                 epres = (uint8_t *)MALLOC((bmlength + 15) >> 3);
1203                 if(!epres) ASN__DECODE_STARVED;
1204
1205                 /* Get the extensions map */
1206                 if(per_get_many_bits(pd, epres, 0, bmlength)) {
1207                         FREEMEM(epres);
1208                         ASN__DECODE_STARVED;
1209                 }
1210
1211                 memset(&epmd, 0, sizeof(epmd));
1212                 epmd.buffer = epres;
1213                 epmd.nbits = bmlength;
1214                 ASN_DEBUG("Read in extensions bitmap for %s of %ld bits (%x..)",
1215                         td->name, (long)bmlength, *epres);
1216
1217             /* Go over extensions and read them in */
1218         for(edx = specs->first_extension; edx < td->elements_count; edx++) {
1219             asn_TYPE_member_t *elm = &td->elements[edx];
1220             void *memb_ptr;   /* Pointer to the member */
1221             void **memb_ptr2; /* Pointer to that pointer */
1222             int present;
1223
1224             /* Fetch the pointer to this member */
1225             if(elm->flags & ATF_POINTER) {
1226                 memb_ptr2 = (void **)((char *)st + elm->memb_offset);
1227             } else {
1228                 memb_ptr = (void *)((char *)st + elm->memb_offset);
1229                 memb_ptr2 = &memb_ptr;
1230             }
1231
1232             present = per_get_few_bits(&epmd, 1);
1233             if(present <= 0) {
1234                 if(present < 0) break; /* No more extensions */
1235                 continue;
1236             }
1237
1238             ASN_DEBUG("Decoding member %s in %s %p", elm->name, td->name,
1239                       *memb_ptr2);
1240             rv = uper_open_type_get(opt_codec_ctx, elm->type,
1241                                     elm->encoding_constraints.per_constraints,
1242                                     memb_ptr2, pd);
1243             if(rv.code != RC_OK) {
1244                 FREEMEM(epres);
1245                 return rv;
1246             }
1247             }
1248
1249                 /* Skip over overflow extensions which aren't present
1250                  * in this system's version of the protocol */
1251                 for(;;) {
1252                         ASN_DEBUG("Getting overflow extensions");
1253                         switch(per_get_few_bits(&epmd, 1)) {
1254                         case -1: break;
1255                         case 0: continue;
1256                         default:
1257                                 if(uper_open_type_skip(opt_codec_ctx, pd)) {
1258                                         FREEMEM(epres);
1259                                         ASN__DECODE_STARVED;
1260                                 }
1261                 ASN_DEBUG("Skipped overflow extension");
1262                 continue;
1263                         }
1264                         break;
1265                 }
1266
1267                 FREEMEM(epres);
1268         }
1269
1270     if(specs->first_extension >= 0) {
1271         unsigned i;
1272         /* Fill DEFAULT members in extensions */
1273         for(i = specs->roms_count; i < specs->roms_count + specs->aoms_count;
1274             i++) {
1275             asn_TYPE_member_t *elm;
1276             void **memb_ptr2; /* Pointer to member pointer */
1277
1278             edx = specs->oms[i];
1279             elm = &td->elements[edx];
1280
1281             if(!elm->default_value_set) continue;
1282
1283             /* Fetch the pointer to this member */
1284             if(elm->flags & ATF_POINTER) {
1285                 memb_ptr2 = (void **)((char *)st + elm->memb_offset);
1286                 if(*memb_ptr2) continue;
1287             } else {
1288                 continue; /* Extensions are all optionals */
1289             }
1290
1291             /* Set default value */
1292             if(elm->default_value_set(memb_ptr2)) {
1293                 ASN__DECODE_FAILED;
1294             }
1295         }
1296     }
1297
1298         rv.consumed = 0;
1299         rv.code = RC_OK;
1300         return rv;
1301 }
1302
1303 static int
1304 SEQUENCE__handle_extensions(const asn_TYPE_descriptor_t *td, const void *sptr,
1305                             asn_per_outp_t *po1, asn_per_outp_t *po2) {
1306     const asn_SEQUENCE_specifics_t *specs =
1307         (const asn_SEQUENCE_specifics_t *)td->specifics;
1308     int exts_present = 0;
1309     int exts_count = 0;
1310     size_t edx;
1311
1312     if(specs->first_extension < 0) {
1313         return 0;
1314     }
1315
1316     /* Find out which extensions are present */
1317     for(edx = specs->first_extension; edx < td->elements_count; edx++) {
1318         asn_TYPE_member_t *elm = &td->elements[edx];
1319         const void *memb_ptr;         /* Pointer to the member */
1320         const void *const *memb_ptr2; /* Pointer to that pointer */
1321         int present;
1322
1323         /* Fetch the pointer to this member */
1324         if(elm->flags & ATF_POINTER) {
1325             memb_ptr2 =
1326                 (const void *const *)((const char *)sptr + elm->memb_offset);
1327             present = (*memb_ptr2 != 0);
1328         } else {
1329             memb_ptr = (const void *)((const char *)sptr + elm->memb_offset);
1330             memb_ptr2 = &memb_ptr;
1331                         present = 1;
1332                 }
1333
1334         ASN_DEBUG("checking %s:%s (@%" ASN_PRI_SIZE ") present => %d", elm->name,
1335                   elm->type->name, edx, present);
1336         exts_count++;
1337         exts_present += present;
1338
1339         /* Encode as presence marker */
1340         if(po1 && per_put_few_bits(po1, present, 1)) {
1341             return -1;
1342         }
1343         /* Encode as open type field */
1344         if(po2 && present
1345            && uper_open_type_put(elm->type,
1346                                  elm->encoding_constraints.per_constraints,
1347                                  *memb_ptr2, po2))
1348             return -1;
1349     }
1350
1351     return exts_present ? exts_count : 0;
1352 }
1353
1354 asn_enc_rval_t
1355 SEQUENCE_encode_uper(const asn_TYPE_descriptor_t *td,
1356                      const asn_per_constraints_t *constraints, const void *sptr,
1357                      asn_per_outp_t *po) {
1358     const asn_SEQUENCE_specifics_t *specs
1359                 = (const asn_SEQUENCE_specifics_t *)td->specifics;
1360         asn_enc_rval_t er;
1361         int n_extensions;
1362         size_t edx;
1363         size_t i;
1364
1365         (void)constraints;
1366
1367         if(!sptr)
1368                 ASN__ENCODE_FAILED;
1369
1370         er.encoded = 0;
1371
1372         ASN_DEBUG("Encoding %s as SEQUENCE (UPER)", td->name);
1373
1374         /*
1375          * X.691#18.1 Whether structure is extensible
1376          * and whether to encode extensions
1377          */
1378     if(specs->first_extension < 0) {
1379         n_extensions = 0; /* There are no extensions to encode */
1380     } else {
1381         n_extensions = SEQUENCE__handle_extensions(td, sptr, 0, 0);
1382         if(n_extensions < 0) ASN__ENCODE_FAILED;
1383         if(per_put_few_bits(po, n_extensions ? 1 : 0, 1)) {
1384             ASN__ENCODE_FAILED;
1385         }
1386     }
1387
1388         /* Encode a presence bitmap */
1389         for(i = 0; i < specs->roms_count; i++) {
1390                 asn_TYPE_member_t *elm;
1391                 const void *memb_ptr;           /* Pointer to the member */
1392         const void *const *memb_ptr2; /* Pointer to that pointer */
1393         int present;
1394
1395                 edx = specs->oms[i];
1396                 elm = &td->elements[edx];
1397
1398                 /* Fetch the pointer to this member */
1399                 if(elm->flags & ATF_POINTER) {
1400             memb_ptr2 =
1401                 (const void *const *)((const char *)sptr + elm->memb_offset);
1402             present = (*memb_ptr2 != 0);
1403                 } else {
1404             memb_ptr = (const void *)((const char *)sptr + elm->memb_offset);
1405             memb_ptr2 = &memb_ptr;
1406                         present = 1;
1407                 }
1408
1409                 /* Eliminate default values */
1410         if(present && elm->default_value_cmp
1411            && elm->default_value_cmp(*memb_ptr2) == 0)
1412             present = 0;
1413
1414                 ASN_DEBUG("Element %s %s %s->%s is %s",
1415                         elm->flags & ATF_POINTER ? "ptr" : "inline",
1416                         elm->default_value_cmp ? "def" : "wtv",
1417                         td->name, elm->name, present ? "present" : "absent");
1418                 if(per_put_few_bits(po, present, 1))
1419                         ASN__ENCODE_FAILED;
1420         }
1421
1422         /*
1423          * Encode the sequence ROOT elements.
1424          */
1425     ASN_DEBUG("first_extension = %d, elements = %d", specs->first_extension,
1426               td->elements_count);
1427         for(edx = 0;
1428                 edx < ((specs->first_extension < 0) ? td->elements_count
1429                                             : (size_t)specs->first_extension);
1430                 edx++) {
1431                 asn_TYPE_member_t *elm = &td->elements[edx];
1432                 const void *memb_ptr;         /* Pointer to the member */
1433                 const void *const *memb_ptr2; /* Pointer to that pointer */
1434
1435                 ASN_DEBUG("About to encode %s", elm->type->name);
1436
1437                 /* Fetch the pointer to this member */
1438                 if(elm->flags & ATF_POINTER) {
1439             memb_ptr2 =
1440                 (const void *const *)((const char *)sptr + elm->memb_offset);
1441             if(!*memb_ptr2) {
1442                                 ASN_DEBUG("Element %s %" ASN_PRI_SIZE " not present",
1443                                         elm->name, edx);
1444                                 if(elm->optional)
1445                                         continue;
1446                                 /* Mandatory element is missing */
1447                                 ASN__ENCODE_FAILED;
1448                         }
1449                 } else {
1450             memb_ptr = (const void *)((const char *)sptr + elm->memb_offset);
1451             memb_ptr2 = &memb_ptr;
1452                 }
1453
1454                 /* Eliminate default values */
1455                 if(elm->default_value_cmp && elm->default_value_cmp(*memb_ptr2) == 0)
1456                         continue;
1457
1458         ASN_DEBUG("Encoding %s->%s:%s", td->name, elm->name, elm->type->name);
1459         er = elm->type->op->uper_encoder(
1460             elm->type, elm->encoding_constraints.per_constraints, *memb_ptr2,
1461             po);
1462         if(er.encoded == -1) return er;
1463     }
1464
1465         /* No extensions to encode */
1466         if(!n_extensions) ASN__ENCODED_OK(er);
1467
1468         ASN_DEBUG("Length of extensions %d bit-map", n_extensions);
1469         /* #18.8. Write down the presence bit-map length. */
1470         if(uper_put_nslength(po, n_extensions))
1471                 ASN__ENCODE_FAILED;
1472
1473         ASN_DEBUG("Bit-map of %d elements", n_extensions);
1474         /* #18.7. Encoding the extensions presence bit-map. */
1475         /* TODO: act upon NOTE in #18.7 for canonical PER */
1476         if(SEQUENCE__handle_extensions(td, sptr, po, 0) != n_extensions)
1477                 ASN__ENCODE_FAILED;
1478
1479         ASN_DEBUG("Writing %d extensions", n_extensions);
1480         /* #18.9. Encode extensions as open type fields. */
1481         if(SEQUENCE__handle_extensions(td, sptr, 0, po) != n_extensions)
1482                 ASN__ENCODE_FAILED;
1483
1484         ASN__ENCODED_OK(er);
1485 }
1486
1487 #endif  /* ASN_DISABLE_PER_SUPPORT */
1488
1489 int
1490 SEQUENCE_compare(const asn_TYPE_descriptor_t *td, const void *aptr,
1491                  const void *bptr) {
1492     size_t edx;
1493
1494         for(edx = 0; edx < td->elements_count; edx++) {
1495                 asn_TYPE_member_t *elm = &td->elements[edx];
1496                 const void *amemb;
1497                 const void *bmemb;
1498         int ret;
1499
1500                 if(elm->flags & ATF_POINTER) {
1501             amemb =
1502                 *(const void *const *)((const char *)aptr + elm->memb_offset);
1503             bmemb =
1504                 *(const void *const *)((const char *)bptr + elm->memb_offset);
1505             if(!amemb) {
1506                 if(!bmemb) continue;
1507                 if(elm->default_value_cmp
1508                    && elm->default_value_cmp(bmemb) == 0) {
1509                     /* A is absent, but B is present and equal to DEFAULT */
1510                     continue;
1511                 }
1512                 return -1;
1513             } else if(!bmemb) {
1514                 if(elm->default_value_cmp
1515                    && elm->default_value_cmp(amemb) == 0) {
1516                     /* B is absent, but A is present and equal to DEFAULT */
1517                     continue;
1518                 }
1519                 return 1;
1520             }
1521                 } else {
1522             amemb = (const void *)((const char *)aptr + elm->memb_offset);
1523             bmemb = (const void *)((const char *)bptr + elm->memb_offset);
1524                 }
1525
1526         ret = elm->type->op->compare_struct(elm->type, amemb, bmemb);
1527         if(ret != 0) return ret;
1528     }
1529
1530     return 0;
1531 }
1532
1533 asn_TYPE_operation_t asn_OP_SEQUENCE = {
1534         SEQUENCE_free,
1535         SEQUENCE_print,
1536         SEQUENCE_compare,
1537         SEQUENCE_decode_ber,
1538         SEQUENCE_encode_der,
1539         SEQUENCE_decode_xer,
1540         SEQUENCE_encode_xer,
1541 #ifdef  ASN_DISABLE_OER_SUPPORT
1542         0,
1543         0,
1544 #else
1545         SEQUENCE_decode_oer,
1546         SEQUENCE_encode_oer,
1547 #endif  /* ASN_DISABLE_OER_SUPPORT */
1548 #ifdef ASN_DISABLE_PER_SUPPORT
1549         0,
1550         0,
1551 #else
1552         SEQUENCE_decode_uper,
1553         SEQUENCE_encode_uper,
1554 #endif /* ASN_DISABLE_PER_SUPPORT */
1555         SEQUENCE_random_fill,
1556         0       /* Use generic outmost tag fetcher */
1557 };
1558
1559
1560 asn_random_fill_result_t
1561 SEQUENCE_random_fill(const asn_TYPE_descriptor_t *td, void **sptr,
1562                    const asn_encoding_constraints_t *constr,
1563                    size_t max_length) {
1564     const asn_SEQUENCE_specifics_t *specs =
1565         (const asn_SEQUENCE_specifics_t *)td->specifics;
1566     asn_random_fill_result_t result_ok = {ARFILL_OK, 0};
1567     asn_random_fill_result_t result_failed = {ARFILL_FAILED, 0};
1568     asn_random_fill_result_t result_skipped = {ARFILL_SKIPPED, 0};
1569     void *st = *sptr;
1570     size_t edx;
1571
1572     if(max_length == 0) return result_skipped;
1573
1574     (void)constr;
1575
1576     if(st == NULL) {
1577         st = CALLOC(1, specs->struct_size);
1578         if(st == NULL) {
1579             return result_failed;
1580         }
1581     }
1582
1583     for(edx = 0; edx < td->elements_count; edx++) {
1584         const asn_TYPE_member_t *elm = &td->elements[edx];
1585         void *memb_ptr;   /* Pointer to the member */
1586         void **memb_ptr2; /* Pointer to that pointer */
1587         asn_random_fill_result_t tmpres;
1588
1589         if(elm->optional && asn_random_between(0, 4) == 2) {
1590             /* Sometimes decide not to fill the optional value */
1591             continue;
1592         }
1593
1594         if(elm->flags & ATF_POINTER) {
1595             /* Member is a pointer to another structure */
1596             memb_ptr2 = (void **)((char *)st + elm->memb_offset);
1597         } else {
1598             memb_ptr = (char *)st + elm->memb_offset;
1599             memb_ptr2 = &memb_ptr;
1600         }
1601
1602         tmpres = elm->type->op->random_fill(
1603             elm->type, memb_ptr2, &elm->encoding_constraints,
1604             max_length > result_ok.length ? max_length - result_ok.length : 0);
1605         switch(tmpres.code) {
1606         case ARFILL_OK:
1607             result_ok.length += tmpres.length;
1608             continue;
1609         case ARFILL_SKIPPED:
1610             assert(!(elm->flags & ATF_POINTER) || *memb_ptr2 == NULL);
1611             continue;
1612         case ARFILL_FAILED:
1613             if(st == *sptr) {
1614                 ASN_STRUCT_RESET(*td, st);
1615             } else {
1616                 ASN_STRUCT_FREE(*td, st);
1617             }
1618             return tmpres;
1619         }
1620     }
1621
1622     *sptr = st;
1623
1624     return result_ok;
1625 }
1626