File:  [ELWIX - Embedded LightWeight unIX -] / embedaddon / sudo / zlib / inflate.c
Revision 1.1.1.2 (vendor branch): download - view: text, annotated - select for diffs - revision graph
Mon Jul 22 10:46:14 2013 UTC (10 years, 11 months ago) by misho
Branches: sudo, MAIN
CVS tags: v1_8_8p0, v1_8_8, v1_8_7p0, v1_8_7, v1_8_5p1, v1_8_10p3_0, v1_8_10p3, HEAD
1.8.7

    1: /* inflate.c -- zlib decompression
    2:  * Copyright (C) 1995-2011 Mark Adler
    3:  * For conditions of distribution and use, see copyright notice in zlib.h
    4:  */
    5: 
    6: /*
    7:  * Change history:
    8:  *
    9:  * 1.2.beta0    24 Nov 2002
   10:  * - First version -- complete rewrite of inflate to simplify code, avoid
   11:  *   creation of window when not needed, minimize use of window when it is
   12:  *   needed, make inffast.c even faster, implement gzip decoding, and to
   13:  *   improve code readability and style over the previous zlib inflate code
   14:  *
   15:  * 1.2.beta1    25 Nov 2002
   16:  * - Use pointers for available input and output checking in inffast.c
   17:  * - Remove input and output counters in inffast.c
   18:  * - Change inffast.c entry and loop from avail_in >= 7 to >= 6
   19:  * - Remove unnecessary second byte pull from length extra in inffast.c
   20:  * - Unroll direct copy to three copies per loop in inffast.c
   21:  *
   22:  * 1.2.beta2    4 Dec 2002
   23:  * - Change external routine names to reduce potential conflicts
   24:  * - Correct filename to inffixed.h for fixed tables in inflate.c
   25:  * - Make hbuf[] unsigned char to match parameter type in inflate.c
   26:  * - Change strm->next_out[-state->offset] to *(strm->next_out - state->offset)
   27:  *   to avoid negation problem on Alphas (64 bit) in inflate.c
   28:  *
   29:  * 1.2.beta3    22 Dec 2002
   30:  * - Add comments on state->bits assertion in inffast.c
   31:  * - Add comments on op field in inftrees.h
   32:  * - Fix bug in reuse of allocated window after inflateReset()
   33:  * - Remove bit fields--back to byte structure for speed
   34:  * - Remove distance extra == 0 check in inflate_fast()--only helps for lengths
   35:  * - Change post-increments to pre-increments in inflate_fast(), PPC biased?
   36:  * - Add compile time option, POSTINC, to use post-increments instead (Intel?)
   37:  * - Make MATCH copy in inflate() much faster for when inflate_fast() not used
   38:  * - Use local copies of stream next and avail values, as well as local bit
   39:  *   buffer and bit count in inflate()--for speed when inflate_fast() not used
   40:  *
   41:  * 1.2.beta4    1 Jan 2003
   42:  * - Split ptr - 257 statements in inflate_table() to avoid compiler warnings
   43:  * - Move a comment on output buffer sizes from inffast.c to inflate.c
   44:  * - Add comments in inffast.c to introduce the inflate_fast() routine
   45:  * - Rearrange window copies in inflate_fast() for speed and simplification
   46:  * - Unroll last copy for window match in inflate_fast()
   47:  * - Use local copies of window variables in inflate_fast() for speed
   48:  * - Pull out common wnext == 0 case for speed in inflate_fast()
   49:  * - Make op and len in inflate_fast() unsigned for consistency
   50:  * - Add FAR to lcode and dcode declarations in inflate_fast()
   51:  * - Simplified bad distance check in inflate_fast()
   52:  * - Added inflateBackInit(), inflateBack(), and inflateBackEnd() in new
   53:  *   source file infback.c to provide a call-back interface to inflate for
   54:  *   programs like gzip and unzip -- uses window as output buffer to avoid
   55:  *   window copying
   56:  *
   57:  * 1.2.beta5    1 Jan 2003
   58:  * - Improved inflateBack() interface to allow the caller to provide initial
   59:  *   input in strm.
   60:  * - Fixed stored blocks bug in inflateBack()
   61:  *
   62:  * 1.2.beta6    4 Jan 2003
   63:  * - Added comments in inffast.c on effectiveness of POSTINC
   64:  * - Typecasting all around to reduce compiler warnings
   65:  * - Changed loops from while (1) or do {} while (1) to for (;;), again to
   66:  *   make compilers happy
   67:  * - Changed type of window in inflateBackInit() to unsigned char *
   68:  *
   69:  * 1.2.beta7    27 Jan 2003
   70:  * - Changed many types to unsigned or unsigned short to avoid warnings
   71:  * - Added inflateCopy() function
   72:  *
   73:  * 1.2.0        9 Mar 2003
   74:  * - Changed inflateBack() interface to provide separate opaque descriptors
   75:  *   for the in() and out() functions
   76:  * - Changed inflateBack() argument and in_func typedef to swap the length
   77:  *   and buffer address return values for the input function
   78:  * - Check next_in and next_out for Z_NULL on entry to inflate()
   79:  *
   80:  * The history for versions after 1.2.0 are in ChangeLog in zlib distribution.
   81:  */
   82: 
   83: #include "zutil.h"
   84: #include "inftrees.h"
   85: #include "inflate.h"
   86: #include "inffast.h"
   87: 
   88: #ifdef MAKEFIXED
   89: #  ifndef BUILDFIXED
   90: #    define BUILDFIXED
   91: #  endif
   92: #endif
   93: 
   94: /* function prototypes */
   95: local void fixedtables OF((struct inflate_state FAR *state));
   96: local int updatewindow OF((z_streamp strm, unsigned out));
   97: #ifdef BUILDFIXED
   98:    void makefixed OF((void));
   99: #endif
  100: local unsigned syncsearch OF((unsigned FAR *have, unsigned char FAR *buf,
  101:                               unsigned len));
  102: 
  103: int ZEXPORT inflateResetKeep(strm)
  104: z_streamp strm;
  105: {
  106:     struct inflate_state FAR *state;
  107: 
  108:     if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
  109:     state = (struct inflate_state FAR *)strm->state;
  110:     strm->total_in = strm->total_out = state->total = 0;
  111:     strm->msg = Z_NULL;
  112:     if (state->wrap)        /* to support ill-conceived Java test suite */
  113:         strm->adler = state->wrap & 1;
  114:     state->mode = HEAD;
  115:     state->last = 0;
  116:     state->havedict = 0;
  117:     state->dmax = 32768U;
  118:     state->head = Z_NULL;
  119:     state->hold = 0;
  120:     state->bits = 0;
  121:     state->lencode = state->distcode = state->next = state->codes;
  122:     state->sane = 1;
  123:     state->back = -1;
  124:     Tracev((stderr, "inflate: reset\n"));
  125:     return Z_OK;
  126: }
  127: 
  128: int ZEXPORT inflateReset(strm)
  129: z_streamp strm;
  130: {
  131:     struct inflate_state FAR *state;
  132: 
  133:     if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
  134:     state = (struct inflate_state FAR *)strm->state;
  135:     state->wsize = 0;
  136:     state->whave = 0;
  137:     state->wnext = 0;
  138:     return inflateResetKeep(strm);
  139: }
  140: 
  141: int ZEXPORT inflateReset2(strm, windowBits)
  142: z_streamp strm;
  143: int windowBits;
  144: {
  145:     int wrap;
  146:     struct inflate_state FAR *state;
  147: 
  148:     /* get the state */
  149:     if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
  150:     state = (struct inflate_state FAR *)strm->state;
  151: 
  152:     /* extract wrap request from windowBits parameter */
  153:     if (windowBits < 0) {
  154:         wrap = 0;
  155:         windowBits = -windowBits;
  156:     }
  157:     else {
  158:         wrap = (windowBits >> 4) + 1;
  159: #ifdef GUNZIP
  160:         if (windowBits < 48)
  161:             windowBits &= 15;
  162: #endif
  163:     }
  164: 
  165:     /* set number of window bits, free window if different */
  166:     if (windowBits && (windowBits < 8 || windowBits > 15))
  167:         return Z_STREAM_ERROR;
  168:     if (state->window != Z_NULL && state->wbits != (unsigned)windowBits) {
  169:         ZFREE(strm, state->window);
  170:         state->window = Z_NULL;
  171:     }
  172: 
  173:     /* update state and reset the rest of it */
  174:     state->wrap = wrap;
  175:     state->wbits = (unsigned)windowBits;
  176:     return inflateReset(strm);
  177: }
  178: 
  179: int ZEXPORT inflateInit2_(strm, windowBits, version, stream_size)
  180: z_streamp strm;
  181: int windowBits;
  182: const char *version;
  183: int stream_size;
  184: {
  185:     int ret;
  186:     struct inflate_state FAR *state;
  187: 
  188:     if (version == Z_NULL || version[0] != ZLIB_VERSION[0] ||
  189:         stream_size != (int)(sizeof(z_stream)))
  190:         return Z_VERSION_ERROR;
  191:     if (strm == Z_NULL) return Z_STREAM_ERROR;
  192:     strm->msg = Z_NULL;                 /* in case we return an error */
  193:     if (strm->zalloc == (alloc_func)0) {
  194: #ifdef Z_SOLO
  195:         return Z_STREAM_ERROR;
  196: #else
  197:         strm->zalloc = zcalloc;
  198:         strm->opaque = (voidpf)0;
  199: #endif
  200:     }
  201:     if (strm->zfree == (free_func)0)
  202: #ifdef Z_SOLO
  203:         return Z_STREAM_ERROR;
  204: #else
  205:         strm->zfree = zcfree;
  206: #endif
  207:     state = (struct inflate_state FAR *)
  208:             ZALLOC(strm, 1, sizeof(struct inflate_state));
  209:     if (state == Z_NULL) return Z_MEM_ERROR;
  210:     Tracev((stderr, "inflate: allocated\n"));
  211:     strm->state = (struct internal_state FAR *)state;
  212:     state->window = Z_NULL;
  213:     ret = inflateReset2(strm, windowBits);
  214:     if (ret != Z_OK) {
  215:         ZFREE(strm, state);
  216:         strm->state = Z_NULL;
  217:     }
  218:     return ret;
  219: }
  220: 
  221: int ZEXPORT inflateInit_(strm, version, stream_size)
  222: z_streamp strm;
  223: const char *version;
  224: int stream_size;
  225: {
  226:     return inflateInit2_(strm, DEF_WBITS, version, stream_size);
  227: }
  228: 
  229: int ZEXPORT inflatePrime(strm, bits, value)
  230: z_streamp strm;
  231: int bits;
  232: int value;
  233: {
  234:     struct inflate_state FAR *state;
  235: 
  236:     if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
  237:     state = (struct inflate_state FAR *)strm->state;
  238:     if (bits < 0) {
  239:         state->hold = 0;
  240:         state->bits = 0;
  241:         return Z_OK;
  242:     }
  243:     if (bits > 16 || state->bits + bits > 32) return Z_STREAM_ERROR;
  244:     value &= (1L << bits) - 1;
  245:     state->hold += value << state->bits;
  246:     state->bits += bits;
  247:     return Z_OK;
  248: }
  249: 
  250: /*
  251:    Return state with length and distance decoding tables and index sizes set to
  252:    fixed code decoding.  Normally this returns fixed tables from inffixed.h.
  253:    If BUILDFIXED is defined, then instead this routine builds the tables the
  254:    first time it's called, and returns those tables the first time and
  255:    thereafter.  This reduces the size of the code by about 2K bytes, in
  256:    exchange for a little execution time.  However, BUILDFIXED should not be
  257:    used for threaded applications, since the rewriting of the tables and virgin
  258:    may not be thread-safe.
  259:  */
  260: local void fixedtables(state)
  261: struct inflate_state FAR *state;
  262: {
  263: #ifdef BUILDFIXED
  264:     static int virgin = 1;
  265:     static code *lenfix, *distfix;
  266:     static code fixed[544];
  267: 
  268:     /* build fixed huffman tables if first call (may not be thread safe) */
  269:     if (virgin) {
  270:         unsigned sym, bits;
  271:         static code *next;
  272: 
  273:         /* literal/length table */
  274:         sym = 0;
  275:         while (sym < 144) state->lens[sym++] = 8;
  276:         while (sym < 256) state->lens[sym++] = 9;
  277:         while (sym < 280) state->lens[sym++] = 7;
  278:         while (sym < 288) state->lens[sym++] = 8;
  279:         next = fixed;
  280:         lenfix = next;
  281:         bits = 9;
  282:         inflate_table(LENS, state->lens, 288, &(next), &(bits), state->work);
  283: 
  284:         /* distance table */
  285:         sym = 0;
  286:         while (sym < 32) state->lens[sym++] = 5;
  287:         distfix = next;
  288:         bits = 5;
  289:         inflate_table(DISTS, state->lens, 32, &(next), &(bits), state->work);
  290: 
  291:         /* do this just once */
  292:         virgin = 0;
  293:     }
  294: #else /* !BUILDFIXED */
  295: #   include "inffixed.h"
  296: #endif /* BUILDFIXED */
  297:     state->lencode = lenfix;
  298:     state->lenbits = 9;
  299:     state->distcode = distfix;
  300:     state->distbits = 5;
  301: }
  302: 
  303: #ifdef MAKEFIXED
  304: #include <stdio.h>
  305: 
  306: /*
  307:    Write out the inffixed.h that is #include'd above.  Defining MAKEFIXED also
  308:    defines BUILDFIXED, so the tables are built on the fly.  makefixed() writes
  309:    those tables to stdout, which would be piped to inffixed.h.  A small program
  310:    can simply call makefixed to do this:
  311: 
  312:     void makefixed(void);
  313: 
  314:     int main(void)
  315:     {
  316:         makefixed();
  317:         return 0;
  318:     }
  319: 
  320:    Then that can be linked with zlib built with MAKEFIXED defined and run:
  321: 
  322:     a.out > inffixed.h
  323:  */
  324: void makefixed()
  325: {
  326:     unsigned low, size;
  327:     struct inflate_state state;
  328: 
  329:     fixedtables(&state);
  330:     puts("    /* inffixed.h -- table for decoding fixed codes");
  331:     puts("     * Generated automatically by makefixed().");
  332:     puts("     */");
  333:     puts("");
  334:     puts("    /* WARNING: this file should *not* be used by applications.");
  335:     puts("       It is part of the implementation of this library and is");
  336:     puts("       subject to change. Applications should only use zlib.h.");
  337:     puts("     */");
  338:     puts("");
  339:     size = 1U << 9;
  340:     printf("    static const code lenfix[%u] = {", size);
  341:     low = 0;
  342:     for (;;) {
  343:         if ((low % 7) == 0) printf("\n        ");
  344:         printf("{%u,%u,%d}", (low & 127) == 99 ? 64 : state.lencode[low].op,
  345:                state.lencode[low].bits, state.lencode[low].val);
  346:         if (++low == size) break;
  347:         putchar(',');
  348:     }
  349:     puts("\n    };");
  350:     size = 1U << 5;
  351:     printf("\n    static const code distfix[%u] = {", size);
  352:     low = 0;
  353:     for (;;) {
  354:         if ((low % 6) == 0) printf("\n        ");
  355:         printf("{%u,%u,%d}", state.distcode[low].op, state.distcode[low].bits,
  356:                state.distcode[low].val);
  357:         if (++low == size) break;
  358:         putchar(',');
  359:     }
  360:     puts("\n    };");
  361: }
  362: #endif /* MAKEFIXED */
  363: 
  364: /*
  365:    Update the window with the last wsize (normally 32K) bytes written before
  366:    returning.  If window does not exist yet, create it.  This is only called
  367:    when a window is already in use, or when output has been written during this
  368:    inflate call, but the end of the deflate stream has not been reached yet.
  369:    It is also called to create a window for dictionary data when a dictionary
  370:    is loaded.
  371: 
  372:    Providing output buffers larger than 32K to inflate() should provide a speed
  373:    advantage, since only the last 32K of output is copied to the sliding window
  374:    upon return from inflate(), and since all distances after the first 32K of
  375:    output will fall in the output data, making match copies simpler and faster.
  376:    The advantage may be dependent on the size of the processor's data caches.
  377:  */
  378: local int updatewindow(strm, out)
  379: z_streamp strm;
  380: unsigned out;
  381: {
  382:     struct inflate_state FAR *state;
  383:     unsigned copy, dist;
  384: 
  385:     state = (struct inflate_state FAR *)strm->state;
  386: 
  387:     /* if it hasn't been done already, allocate space for the window */
  388:     if (state->window == Z_NULL) {
  389:         state->window = (unsigned char FAR *)
  390:                         ZALLOC(strm, 1U << state->wbits,
  391:                                sizeof(unsigned char));
  392:         if (state->window == Z_NULL) return 1;
  393:     }
  394: 
  395:     /* if window not in use yet, initialize */
  396:     if (state->wsize == 0) {
  397:         state->wsize = 1U << state->wbits;
  398:         state->wnext = 0;
  399:         state->whave = 0;
  400:     }
  401: 
  402:     /* copy state->wsize or less output bytes into the circular window */
  403:     copy = out - strm->avail_out;
  404:     if (copy >= state->wsize) {
  405:         zmemcpy(state->window, strm->next_out - state->wsize, state->wsize);
  406:         state->wnext = 0;
  407:         state->whave = state->wsize;
  408:     }
  409:     else {
  410:         dist = state->wsize - state->wnext;
  411:         if (dist > copy) dist = copy;
  412:         zmemcpy(state->window + state->wnext, strm->next_out - copy, dist);
  413:         copy -= dist;
  414:         if (copy) {
  415:             zmemcpy(state->window, strm->next_out - copy, copy);
  416:             state->wnext = copy;
  417:             state->whave = state->wsize;
  418:         }
  419:         else {
  420:             state->wnext += dist;
  421:             if (state->wnext == state->wsize) state->wnext = 0;
  422:             if (state->whave < state->wsize) state->whave += dist;
  423:         }
  424:     }
  425:     return 0;
  426: }
  427: 
  428: /* Macros for inflate(): */
  429: 
  430: /* check function to use adler32() for zlib or crc32() for gzip */
  431: #ifdef GUNZIP
  432: #  define UPDATE(check, buf, len) \
  433:     (state->flags ? crc32(check, buf, len) : adler32(check, buf, len))
  434: #else
  435: #  define UPDATE(check, buf, len) adler32(check, buf, len)
  436: #endif
  437: 
  438: /* check macros for header crc */
  439: #ifdef GUNZIP
  440: #  define CRC2(check, word) \
  441:     do { \
  442:         hbuf[0] = (unsigned char)(word); \
  443:         hbuf[1] = (unsigned char)((word) >> 8); \
  444:         check = crc32(check, hbuf, 2); \
  445:     } while (0)
  446: 
  447: #  define CRC4(check, word) \
  448:     do { \
  449:         hbuf[0] = (unsigned char)(word); \
  450:         hbuf[1] = (unsigned char)((word) >> 8); \
  451:         hbuf[2] = (unsigned char)((word) >> 16); \
  452:         hbuf[3] = (unsigned char)((word) >> 24); \
  453:         check = crc32(check, hbuf, 4); \
  454:     } while (0)
  455: #endif
  456: 
  457: /* Load registers with state in inflate() for speed */
  458: #define LOAD() \
  459:     do { \
  460:         put = strm->next_out; \
  461:         left = strm->avail_out; \
  462:         next = strm->next_in; \
  463:         have = strm->avail_in; \
  464:         hold = state->hold; \
  465:         bits = state->bits; \
  466:     } while (0)
  467: 
  468: /* Restore state from registers in inflate() */
  469: #define RESTORE() \
  470:     do { \
  471:         strm->next_out = put; \
  472:         strm->avail_out = left; \
  473:         strm->next_in = next; \
  474:         strm->avail_in = have; \
  475:         state->hold = hold; \
  476:         state->bits = bits; \
  477:     } while (0)
  478: 
  479: /* Clear the input bit accumulator */
  480: #define INITBITS() \
  481:     do { \
  482:         hold = 0; \
  483:         bits = 0; \
  484:     } while (0)
  485: 
  486: /* Get a byte of input into the bit accumulator, or return from inflate()
  487:    if there is no input available. */
  488: #define PULLBYTE() \
  489:     do { \
  490:         if (have == 0) goto inf_leave; \
  491:         have--; \
  492:         hold += (unsigned long)(*next++) << bits; \
  493:         bits += 8; \
  494:     } while (0)
  495: 
  496: /* Assure that there are at least n bits in the bit accumulator.  If there is
  497:    not enough available input to do that, then return from inflate(). */
  498: #define NEEDBITS(n) \
  499:     do { \
  500:         while (bits < (unsigned)(n)) \
  501:             PULLBYTE(); \
  502:     } while (0)
  503: 
  504: /* Return the low n bits of the bit accumulator (n < 16) */
  505: #define BITS(n) \
  506:     ((unsigned)hold & ((1U << (n)) - 1))
  507: 
  508: /* Remove n bits from the bit accumulator */
  509: #define DROPBITS(n) \
  510:     do { \
  511:         hold >>= (n); \
  512:         bits -= (unsigned)(n); \
  513:     } while (0)
  514: 
  515: /* Remove zero to seven bits as needed to go to a byte boundary */
  516: #define BYTEBITS() \
  517:     do { \
  518:         hold >>= bits & 7; \
  519:         bits -= bits & 7; \
  520:     } while (0)
  521: 
  522: /* Reverse the bytes in a 32-bit value */
  523: #define REVERSE(q) \
  524:     ((((q) >> 24) & 0xff) + (((q) >> 8) & 0xff00) + \
  525:      (((q) & 0xff00) << 8) + (((q) & 0xff) << 24))
  526: 
  527: /*
  528:    inflate() uses a state machine to process as much input data and generate as
  529:    much output data as possible before returning.  The state machine is
  530:    structured roughly as follows:
  531: 
  532:     for (;;) switch (state) {
  533:     ...
  534:     case STATEn:
  535:         if (not enough input data or output space to make progress)
  536:             return;
  537:         ... make progress ...
  538:         state = STATEm;
  539:         break;
  540:     ...
  541:     }
  542: 
  543:    so when inflate() is called again, the same case is attempted again, and
  544:    if the appropriate resources are provided, the machine proceeds to the
  545:    next state.  The NEEDBITS() macro is usually the way the state evaluates
  546:    whether it can proceed or should return.  NEEDBITS() does the return if
  547:    the requested bits are not available.  The typical use of the BITS macros
  548:    is:
  549: 
  550:         NEEDBITS(n);
  551:         ... do something with BITS(n) ...
  552:         DROPBITS(n);
  553: 
  554:    where NEEDBITS(n) either returns from inflate() if there isn't enough
  555:    input left to load n bits into the accumulator, or it continues.  BITS(n)
  556:    gives the low n bits in the accumulator.  When done, DROPBITS(n) drops
  557:    the low n bits off the accumulator.  INITBITS() clears the accumulator
  558:    and sets the number of available bits to zero.  BYTEBITS() discards just
  559:    enough bits to put the accumulator on a byte boundary.  After BYTEBITS()
  560:    and a NEEDBITS(8), then BITS(8) would return the next byte in the stream.
  561: 
  562:    NEEDBITS(n) uses PULLBYTE() to get an available byte of input, or to return
  563:    if there is no input available.  The decoding of variable length codes uses
  564:    PULLBYTE() directly in order to pull just enough bytes to decode the next
  565:    code, and no more.
  566: 
  567:    Some states loop until they get enough input, making sure that enough
  568:    state information is maintained to continue the loop where it left off
  569:    if NEEDBITS() returns in the loop.  For example, want, need, and keep
  570:    would all have to actually be part of the saved state in case NEEDBITS()
  571:    returns:
  572: 
  573:     case STATEw:
  574:         while (want < need) {
  575:             NEEDBITS(n);
  576:             keep[want++] = BITS(n);
  577:             DROPBITS(n);
  578:         }
  579:         state = STATEx;
  580:     case STATEx:
  581: 
  582:    As shown above, if the next state is also the next case, then the break
  583:    is omitted.
  584: 
  585:    A state may also return if there is not enough output space available to
  586:    complete that state.  Those states are copying stored data, writing a
  587:    literal byte, and copying a matching string.
  588: 
  589:    When returning, a "goto inf_leave" is used to update the total counters,
  590:    update the check value, and determine whether any progress has been made
  591:    during that inflate() call in order to return the proper return code.
  592:    Progress is defined as a change in either strm->avail_in or strm->avail_out.
  593:    When there is a window, goto inf_leave will update the window with the last
  594:    output written.  If a goto inf_leave occurs in the middle of decompression
  595:    and there is no window currently, goto inf_leave will create one and copy
  596:    output to the window for the next call of inflate().
  597: 
  598:    In this implementation, the flush parameter of inflate() only affects the
  599:    return code (per zlib.h).  inflate() always writes as much as possible to
  600:    strm->next_out, given the space available and the provided input--the effect
  601:    documented in zlib.h of Z_SYNC_FLUSH.  Furthermore, inflate() always defers
  602:    the allocation of and copying into a sliding window until necessary, which
  603:    provides the effect documented in zlib.h for Z_FINISH when the entire input
  604:    stream available.  So the only thing the flush parameter actually does is:
  605:    when flush is set to Z_FINISH, inflate() cannot return Z_OK.  Instead it
  606:    will return Z_BUF_ERROR if it has not reached the end of the stream.
  607:  */
  608: 
  609: int ZEXPORT inflate(strm, flush)
  610: z_streamp strm;
  611: int flush;
  612: {
  613:     struct inflate_state FAR *state;
  614:     unsigned char FAR *next;    /* next input */
  615:     unsigned char FAR *put;     /* next output */
  616:     unsigned have, left;        /* available input and output */
  617:     unsigned long hold;         /* bit buffer */
  618:     unsigned bits;              /* bits in bit buffer */
  619:     unsigned in, out;           /* save starting available input and output */
  620:     unsigned copy;              /* number of stored or match bytes to copy */
  621:     unsigned char FAR *from;    /* where to copy match bytes from */
  622:     code here;                  /* current decoding table entry */
  623:     code last;                  /* parent table entry */
  624:     unsigned len;               /* length to copy for repeats, bits to drop */
  625:     int ret;                    /* return code */
  626: #ifdef GUNZIP
  627:     unsigned char hbuf[4];      /* buffer for gzip header crc calculation */
  628: #endif
  629:     static const unsigned short order[19] = /* permutation of code lengths */
  630:         {16, 17, 18, 0, 8, 7, 9, 6, 10, 5, 11, 4, 12, 3, 13, 2, 14, 1, 15};
  631: 
  632:     if (strm == Z_NULL || strm->state == Z_NULL || strm->next_out == Z_NULL ||
  633:         (strm->next_in == Z_NULL && strm->avail_in != 0))
  634:         return Z_STREAM_ERROR;
  635: 
  636:     state = (struct inflate_state FAR *)strm->state;
  637:     if (state->mode == TYPE) state->mode = TYPEDO;      /* skip check */
  638:     LOAD();
  639:     in = have;
  640:     out = left;
  641:     ret = Z_OK;
  642:     for (;;)
  643:         switch (state->mode) {
  644:         case HEAD:
  645:             if (state->wrap == 0) {
  646:                 state->mode = TYPEDO;
  647:                 break;
  648:             }
  649:             NEEDBITS(16);
  650: #ifdef GUNZIP
  651:             if ((state->wrap & 2) && hold == 0x8b1f) {  /* gzip header */
  652:                 state->check = crc32(0L, Z_NULL, 0);
  653:                 CRC2(state->check, hold);
  654:                 INITBITS();
  655:                 state->mode = FLAGS;
  656:                 break;
  657:             }
  658:             state->flags = 0;           /* expect zlib header */
  659:             if (state->head != Z_NULL)
  660:                 state->head->done = -1;
  661:             if (!(state->wrap & 1) ||   /* check if zlib header allowed */
  662: #else
  663:             if (
  664: #endif
  665:                 ((BITS(8) << 8) + (hold >> 8)) % 31) {
  666:                 strm->msg = (char *)"incorrect header check";
  667:                 state->mode = BAD;
  668:                 break;
  669:             }
  670:             if (BITS(4) != Z_DEFLATED) {
  671:                 strm->msg = (char *)"unknown compression method";
  672:                 state->mode = BAD;
  673:                 break;
  674:             }
  675:             DROPBITS(4);
  676:             len = BITS(4) + 8;
  677:             if (state->wbits == 0)
  678:                 state->wbits = len;
  679:             else if (len > state->wbits) {
  680:                 strm->msg = (char *)"invalid window size";
  681:                 state->mode = BAD;
  682:                 break;
  683:             }
  684:             state->dmax = 1U << len;
  685:             Tracev((stderr, "inflate:   zlib header ok\n"));
  686:             strm->adler = state->check = adler32(0L, Z_NULL, 0);
  687:             state->mode = hold & 0x200 ? DICTID : TYPE;
  688:             INITBITS();
  689:             break;
  690: #ifdef GUNZIP
  691:         case FLAGS:
  692:             NEEDBITS(16);
  693:             state->flags = (int)(hold);
  694:             if ((state->flags & 0xff) != Z_DEFLATED) {
  695:                 strm->msg = (char *)"unknown compression method";
  696:                 state->mode = BAD;
  697:                 break;
  698:             }
  699:             if (state->flags & 0xe000) {
  700:                 strm->msg = (char *)"unknown header flags set";
  701:                 state->mode = BAD;
  702:                 break;
  703:             }
  704:             if (state->head != Z_NULL)
  705:                 state->head->text = (int)((hold >> 8) & 1);
  706:             if (state->flags & 0x0200) CRC2(state->check, hold);
  707:             INITBITS();
  708:             state->mode = TIME;
  709:         case TIME:
  710:             NEEDBITS(32);
  711:             if (state->head != Z_NULL)
  712:                 state->head->time = hold;
  713:             if (state->flags & 0x0200) CRC4(state->check, hold);
  714:             INITBITS();
  715:             state->mode = OS;
  716:         case OS:
  717:             NEEDBITS(16);
  718:             if (state->head != Z_NULL) {
  719:                 state->head->xflags = (int)(hold & 0xff);
  720:                 state->head->os = (int)(hold >> 8);
  721:             }
  722:             if (state->flags & 0x0200) CRC2(state->check, hold);
  723:             INITBITS();
  724:             state->mode = EXLEN;
  725:         case EXLEN:
  726:             if (state->flags & 0x0400) {
  727:                 NEEDBITS(16);
  728:                 state->length = (unsigned)(hold);
  729:                 if (state->head != Z_NULL)
  730:                     state->head->extra_len = (unsigned)hold;
  731:                 if (state->flags & 0x0200) CRC2(state->check, hold);
  732:                 INITBITS();
  733:             }
  734:             else if (state->head != Z_NULL)
  735:                 state->head->extra = Z_NULL;
  736:             state->mode = EXTRA;
  737:         case EXTRA:
  738:             if (state->flags & 0x0400) {
  739:                 copy = state->length;
  740:                 if (copy > have) copy = have;
  741:                 if (copy) {
  742:                     if (state->head != Z_NULL &&
  743:                         state->head->extra != Z_NULL) {
  744:                         len = state->head->extra_len - state->length;
  745:                         zmemcpy(state->head->extra + len, next,
  746:                                 len + copy > state->head->extra_max ?
  747:                                 state->head->extra_max - len : copy);
  748:                     }
  749:                     if (state->flags & 0x0200)
  750:                         state->check = crc32(state->check, next, copy);
  751:                     have -= copy;
  752:                     next += copy;
  753:                     state->length -= copy;
  754:                 }
  755:                 if (state->length) goto inf_leave;
  756:             }
  757:             state->length = 0;
  758:             state->mode = NAME;
  759:         case NAME:
  760:             if (state->flags & 0x0800) {
  761:                 if (have == 0) goto inf_leave;
  762:                 copy = 0;
  763:                 do {
  764:                     len = (unsigned)(next[copy++]);
  765:                     if (state->head != Z_NULL &&
  766:                             state->head->name != Z_NULL &&
  767:                             state->length < state->head->name_max)
  768:                         state->head->name[state->length++] = len;
  769:                 } while (len && copy < have);
  770:                 if (state->flags & 0x0200)
  771:                     state->check = crc32(state->check, next, copy);
  772:                 have -= copy;
  773:                 next += copy;
  774:                 if (len) goto inf_leave;
  775:             }
  776:             else if (state->head != Z_NULL)
  777:                 state->head->name = Z_NULL;
  778:             state->length = 0;
  779:             state->mode = COMMENT;
  780:         case COMMENT:
  781:             if (state->flags & 0x1000) {
  782:                 if (have == 0) goto inf_leave;
  783:                 copy = 0;
  784:                 do {
  785:                     len = (unsigned)(next[copy++]);
  786:                     if (state->head != Z_NULL &&
  787:                             state->head->comment != Z_NULL &&
  788:                             state->length < state->head->comm_max)
  789:                         state->head->comment[state->length++] = len;
  790:                 } while (len && copy < have);
  791:                 if (state->flags & 0x0200)
  792:                     state->check = crc32(state->check, next, copy);
  793:                 have -= copy;
  794:                 next += copy;
  795:                 if (len) goto inf_leave;
  796:             }
  797:             else if (state->head != Z_NULL)
  798:                 state->head->comment = Z_NULL;
  799:             state->mode = HCRC;
  800:         case HCRC:
  801:             if (state->flags & 0x0200) {
  802:                 NEEDBITS(16);
  803:                 if (hold != (state->check & 0xffff)) {
  804:                     strm->msg = (char *)"header crc mismatch";
  805:                     state->mode = BAD;
  806:                     break;
  807:                 }
  808:                 INITBITS();
  809:             }
  810:             if (state->head != Z_NULL) {
  811:                 state->head->hcrc = (int)((state->flags >> 9) & 1);
  812:                 state->head->done = 1;
  813:             }
  814:             strm->adler = state->check = crc32(0L, Z_NULL, 0);
  815:             state->mode = TYPE;
  816:             break;
  817: #endif
  818:         case DICTID:
  819:             NEEDBITS(32);
  820:             strm->adler = state->check = REVERSE(hold);
  821:             INITBITS();
  822:             state->mode = DICT;
  823:         case DICT:
  824:             if (state->havedict == 0) {
  825:                 RESTORE();
  826:                 return Z_NEED_DICT;
  827:             }
  828:             strm->adler = state->check = adler32(0L, Z_NULL, 0);
  829:             state->mode = TYPE;
  830:         case TYPE:
  831:             if (flush == Z_BLOCK || flush == Z_TREES) goto inf_leave;
  832:         case TYPEDO:
  833:             if (state->last) {
  834:                 BYTEBITS();
  835:                 state->mode = CHECK;
  836:                 break;
  837:             }
  838:             NEEDBITS(3);
  839:             state->last = BITS(1);
  840:             DROPBITS(1);
  841:             switch (BITS(2)) {
  842:             case 0:                             /* stored block */
  843:                 Tracev((stderr, "inflate:     stored block%s\n",
  844:                         state->last ? " (last)" : ""));
  845:                 state->mode = STORED;
  846:                 break;
  847:             case 1:                             /* fixed block */
  848:                 fixedtables(state);
  849:                 Tracev((stderr, "inflate:     fixed codes block%s\n",
  850:                         state->last ? " (last)" : ""));
  851:                 state->mode = LEN_;             /* decode codes */
  852:                 if (flush == Z_TREES) {
  853:                     DROPBITS(2);
  854:                     goto inf_leave;
  855:                 }
  856:                 break;
  857:             case 2:                             /* dynamic block */
  858:                 Tracev((stderr, "inflate:     dynamic codes block%s\n",
  859:                         state->last ? " (last)" : ""));
  860:                 state->mode = TABLE;
  861:                 break;
  862:             case 3:
  863:                 strm->msg = (char *)"invalid block type";
  864:                 state->mode = BAD;
  865:             }
  866:             DROPBITS(2);
  867:             break;
  868:         case STORED:
  869:             BYTEBITS();                         /* go to byte boundary */
  870:             NEEDBITS(32);
  871:             if ((hold & 0xffff) != ((hold >> 16) ^ 0xffff)) {
  872:                 strm->msg = (char *)"invalid stored block lengths";
  873:                 state->mode = BAD;
  874:                 break;
  875:             }
  876:             state->length = (unsigned)hold & 0xffff;
  877:             Tracev((stderr, "inflate:       stored length %u\n",
  878:                     state->length));
  879:             INITBITS();
  880:             state->mode = COPY_;
  881:             if (flush == Z_TREES) goto inf_leave;
  882:         case COPY_:
  883:             state->mode = COPY;
  884:         case COPY:
  885:             copy = state->length;
  886:             if (copy) {
  887:                 if (copy > have) copy = have;
  888:                 if (copy > left) copy = left;
  889:                 if (copy == 0) goto inf_leave;
  890:                 zmemcpy(put, next, copy);
  891:                 have -= copy;
  892:                 next += copy;
  893:                 left -= copy;
  894:                 put += copy;
  895:                 state->length -= copy;
  896:                 break;
  897:             }
  898:             Tracev((stderr, "inflate:       stored end\n"));
  899:             state->mode = TYPE;
  900:             break;
  901:         case TABLE:
  902:             NEEDBITS(14);
  903:             state->nlen = BITS(5) + 257;
  904:             DROPBITS(5);
  905:             state->ndist = BITS(5) + 1;
  906:             DROPBITS(5);
  907:             state->ncode = BITS(4) + 4;
  908:             DROPBITS(4);
  909: #ifndef PKZIP_BUG_WORKAROUND
  910:             if (state->nlen > 286 || state->ndist > 30) {
  911:                 strm->msg = (char *)"too many length or distance symbols";
  912:                 state->mode = BAD;
  913:                 break;
  914:             }
  915: #endif
  916:             Tracev((stderr, "inflate:       table sizes ok\n"));
  917:             state->have = 0;
  918:             state->mode = LENLENS;
  919:         case LENLENS:
  920:             while (state->have < state->ncode) {
  921:                 NEEDBITS(3);
  922:                 state->lens[order[state->have++]] = (unsigned short)BITS(3);
  923:                 DROPBITS(3);
  924:             }
  925:             while (state->have < 19)
  926:                 state->lens[order[state->have++]] = 0;
  927:             state->next = state->codes;
  928:             state->lencode = (code const FAR *)(state->next);
  929:             state->lenbits = 7;
  930:             ret = inflate_table(CODES, state->lens, 19, &(state->next),
  931:                                 &(state->lenbits), state->work);
  932:             if (ret) {
  933:                 strm->msg = (char *)"invalid code lengths set";
  934:                 state->mode = BAD;
  935:                 break;
  936:             }
  937:             Tracev((stderr, "inflate:       code lengths ok\n"));
  938:             state->have = 0;
  939:             state->mode = CODELENS;
  940:         case CODELENS:
  941:             while (state->have < state->nlen + state->ndist) {
  942:                 for (;;) {
  943:                     here = state->lencode[BITS(state->lenbits)];
  944:                     if ((unsigned)(here.bits) <= bits) break;
  945:                     PULLBYTE();
  946:                 }
  947:                 if (here.val < 16) {
  948:                     DROPBITS(here.bits);
  949:                     state->lens[state->have++] = here.val;
  950:                 }
  951:                 else {
  952:                     if (here.val == 16) {
  953:                         NEEDBITS(here.bits + 2);
  954:                         DROPBITS(here.bits);
  955:                         if (state->have == 0) {
  956:                             strm->msg = (char *)"invalid bit length repeat";
  957:                             state->mode = BAD;
  958:                             break;
  959:                         }
  960:                         len = state->lens[state->have - 1];
  961:                         copy = 3 + BITS(2);
  962:                         DROPBITS(2);
  963:                     }
  964:                     else if (here.val == 17) {
  965:                         NEEDBITS(here.bits + 3);
  966:                         DROPBITS(here.bits);
  967:                         len = 0;
  968:                         copy = 3 + BITS(3);
  969:                         DROPBITS(3);
  970:                     }
  971:                     else {
  972:                         NEEDBITS(here.bits + 7);
  973:                         DROPBITS(here.bits);
  974:                         len = 0;
  975:                         copy = 11 + BITS(7);
  976:                         DROPBITS(7);
  977:                     }
  978:                     if (state->have + copy > state->nlen + state->ndist) {
  979:                         strm->msg = (char *)"invalid bit length repeat";
  980:                         state->mode = BAD;
  981:                         break;
  982:                     }
  983:                     while (copy--)
  984:                         state->lens[state->have++] = (unsigned short)len;
  985:                 }
  986:             }
  987: 
  988:             /* handle error breaks in while */
  989:             if (state->mode == BAD) break;
  990: 
  991:             /* check for end-of-block code (better have one) */
  992:             if (state->lens[256] == 0) {
  993:                 strm->msg = (char *)"invalid code -- missing end-of-block";
  994:                 state->mode = BAD;
  995:                 break;
  996:             }
  997: 
  998:             /* build code tables -- note: do not change the lenbits or distbits
  999:                values here (9 and 6) without reading the comments in inftrees.h
 1000:                concerning the ENOUGH constants, which depend on those values */
 1001:             state->next = state->codes;
 1002:             state->lencode = (code const FAR *)(state->next);
 1003:             state->lenbits = 9;
 1004:             ret = inflate_table(LENS, state->lens, state->nlen, &(state->next),
 1005:                                 &(state->lenbits), state->work);
 1006:             if (ret) {
 1007:                 strm->msg = (char *)"invalid literal/lengths set";
 1008:                 state->mode = BAD;
 1009:                 break;
 1010:             }
 1011:             state->distcode = (code const FAR *)(state->next);
 1012:             state->distbits = 6;
 1013:             ret = inflate_table(DISTS, state->lens + state->nlen, state->ndist,
 1014:                             &(state->next), &(state->distbits), state->work);
 1015:             if (ret) {
 1016:                 strm->msg = (char *)"invalid distances set";
 1017:                 state->mode = BAD;
 1018:                 break;
 1019:             }
 1020:             Tracev((stderr, "inflate:       codes ok\n"));
 1021:             state->mode = LEN_;
 1022:             if (flush == Z_TREES) goto inf_leave;
 1023:         case LEN_:
 1024:             state->mode = LEN;
 1025:         case LEN:
 1026:             if (have >= 6 && left >= 258) {
 1027:                 RESTORE();
 1028:                 inflate_fast(strm, out);
 1029:                 LOAD();
 1030:                 if (state->mode == TYPE)
 1031:                     state->back = -1;
 1032:                 break;
 1033:             }
 1034:             state->back = 0;
 1035:             for (;;) {
 1036:                 here = state->lencode[BITS(state->lenbits)];
 1037:                 if ((unsigned)(here.bits) <= bits) break;
 1038:                 PULLBYTE();
 1039:             }
 1040:             if (here.op && (here.op & 0xf0) == 0) {
 1041:                 last = here;
 1042:                 for (;;) {
 1043:                     here = state->lencode[last.val +
 1044:                             (BITS(last.bits + last.op) >> last.bits)];
 1045:                     if ((unsigned)(last.bits + here.bits) <= bits) break;
 1046:                     PULLBYTE();
 1047:                 }
 1048:                 DROPBITS(last.bits);
 1049:                 state->back += last.bits;
 1050:             }
 1051:             DROPBITS(here.bits);
 1052:             state->back += here.bits;
 1053:             state->length = (unsigned)here.val;
 1054:             if ((int)(here.op) == 0) {
 1055:                 Tracevv((stderr, here.val >= 0x20 && here.val < 0x7f ?
 1056:                         "inflate:         literal '%c'\n" :
 1057:                         "inflate:         literal 0x%02x\n", here.val));
 1058:                 state->mode = LIT;
 1059:                 break;
 1060:             }
 1061:             if (here.op & 32) {
 1062:                 Tracevv((stderr, "inflate:         end of block\n"));
 1063:                 state->back = -1;
 1064:                 state->mode = TYPE;
 1065:                 break;
 1066:             }
 1067:             if (here.op & 64) {
 1068:                 strm->msg = (char *)"invalid literal/length code";
 1069:                 state->mode = BAD;
 1070:                 break;
 1071:             }
 1072:             state->extra = (unsigned)(here.op) & 15;
 1073:             state->mode = LENEXT;
 1074:         case LENEXT:
 1075:             if (state->extra) {
 1076:                 NEEDBITS(state->extra);
 1077:                 state->length += BITS(state->extra);
 1078:                 DROPBITS(state->extra);
 1079:                 state->back += state->extra;
 1080:             }
 1081:             Tracevv((stderr, "inflate:         length %u\n", state->length));
 1082:             state->was = state->length;
 1083:             state->mode = DIST;
 1084:         case DIST:
 1085:             for (;;) {
 1086:                 here = state->distcode[BITS(state->distbits)];
 1087:                 if ((unsigned)(here.bits) <= bits) break;
 1088:                 PULLBYTE();
 1089:             }
 1090:             if ((here.op & 0xf0) == 0) {
 1091:                 last = here;
 1092:                 for (;;) {
 1093:                     here = state->distcode[last.val +
 1094:                             (BITS(last.bits + last.op) >> last.bits)];
 1095:                     if ((unsigned)(last.bits + here.bits) <= bits) break;
 1096:                     PULLBYTE();
 1097:                 }
 1098:                 DROPBITS(last.bits);
 1099:                 state->back += last.bits;
 1100:             }
 1101:             DROPBITS(here.bits);
 1102:             state->back += here.bits;
 1103:             if (here.op & 64) {
 1104:                 strm->msg = (char *)"invalid distance code";
 1105:                 state->mode = BAD;
 1106:                 break;
 1107:             }
 1108:             state->offset = (unsigned)here.val;
 1109:             state->extra = (unsigned)(here.op) & 15;
 1110:             state->mode = DISTEXT;
 1111:         case DISTEXT:
 1112:             if (state->extra) {
 1113:                 NEEDBITS(state->extra);
 1114:                 state->offset += BITS(state->extra);
 1115:                 DROPBITS(state->extra);
 1116:                 state->back += state->extra;
 1117:             }
 1118: #ifdef INFLATE_STRICT
 1119:             if (state->offset > state->dmax) {
 1120:                 strm->msg = (char *)"invalid distance too far back";
 1121:                 state->mode = BAD;
 1122:                 break;
 1123:             }
 1124: #endif
 1125:             Tracevv((stderr, "inflate:         distance %u\n", state->offset));
 1126:             state->mode = MATCH;
 1127:         case MATCH:
 1128:             if (left == 0) goto inf_leave;
 1129:             copy = out - left;
 1130:             if (state->offset > copy) {         /* copy from window */
 1131:                 copy = state->offset - copy;
 1132:                 if (copy > state->whave) {
 1133:                     if (state->sane) {
 1134:                         strm->msg = (char *)"invalid distance too far back";
 1135:                         state->mode = BAD;
 1136:                         break;
 1137:                     }
 1138: #ifdef INFLATE_ALLOW_INVALID_DISTANCE_TOOFAR_ARRR
 1139:                     Trace((stderr, "inflate.c too far\n"));
 1140:                     copy -= state->whave;
 1141:                     if (copy > state->length) copy = state->length;
 1142:                     if (copy > left) copy = left;
 1143:                     left -= copy;
 1144:                     state->length -= copy;
 1145:                     do {
 1146:                         *put++ = 0;
 1147:                     } while (--copy);
 1148:                     if (state->length == 0) state->mode = LEN;
 1149:                     break;
 1150: #endif
 1151:                 }
 1152:                 if (copy > state->wnext) {
 1153:                     copy -= state->wnext;
 1154:                     from = state->window + (state->wsize - copy);
 1155:                 }
 1156:                 else
 1157:                     from = state->window + (state->wnext - copy);
 1158:                 if (copy > state->length) copy = state->length;
 1159:             }
 1160:             else {                              /* copy from output */
 1161:                 from = put - state->offset;
 1162:                 copy = state->length;
 1163:             }
 1164:             if (copy > left) copy = left;
 1165:             left -= copy;
 1166:             state->length -= copy;
 1167:             do {
 1168:                 *put++ = *from++;
 1169:             } while (--copy);
 1170:             if (state->length == 0) state->mode = LEN;
 1171:             break;
 1172:         case LIT:
 1173:             if (left == 0) goto inf_leave;
 1174:             *put++ = (unsigned char)(state->length);
 1175:             left--;
 1176:             state->mode = LEN;
 1177:             break;
 1178:         case CHECK:
 1179:             if (state->wrap) {
 1180:                 NEEDBITS(32);
 1181:                 out -= left;
 1182:                 strm->total_out += out;
 1183:                 state->total += out;
 1184:                 if (out)
 1185:                     strm->adler = state->check =
 1186:                         UPDATE(state->check, put - out, out);
 1187:                 out = left;
 1188:                 if ((
 1189: #ifdef GUNZIP
 1190:                      state->flags ? hold :
 1191: #endif
 1192:                      REVERSE(hold)) != state->check) {
 1193:                     strm->msg = (char *)"incorrect data check";
 1194:                     state->mode = BAD;
 1195:                     break;
 1196:                 }
 1197:                 INITBITS();
 1198:                 Tracev((stderr, "inflate:   check matches trailer\n"));
 1199:             }
 1200: #ifdef GUNZIP
 1201:             state->mode = LENGTH;
 1202:         case LENGTH:
 1203:             if (state->wrap && state->flags) {
 1204:                 NEEDBITS(32);
 1205:                 if (hold != (state->total & 0xffffffffUL)) {
 1206:                     strm->msg = (char *)"incorrect length check";
 1207:                     state->mode = BAD;
 1208:                     break;
 1209:                 }
 1210:                 INITBITS();
 1211:                 Tracev((stderr, "inflate:   length matches trailer\n"));
 1212:             }
 1213: #endif
 1214:             state->mode = DONE;
 1215:         case DONE:
 1216:             ret = Z_STREAM_END;
 1217:             goto inf_leave;
 1218:         case BAD:
 1219:             ret = Z_DATA_ERROR;
 1220:             goto inf_leave;
 1221:         case MEM:
 1222:             return Z_MEM_ERROR;
 1223:         case SYNC:
 1224:         default:
 1225:             return Z_STREAM_ERROR;
 1226:         }
 1227: 
 1228:     /*
 1229:        Return from inflate(), updating the total counts and the check value.
 1230:        If there was no progress during the inflate() call, return a buffer
 1231:        error.  Call updatewindow() to create and/or update the window state.
 1232:        Note: a memory error from inflate() is non-recoverable.
 1233:      */
 1234:   inf_leave:
 1235:     RESTORE();
 1236:     if (state->wsize || (out != strm->avail_out && state->mode < BAD &&
 1237:             (state->mode < CHECK || flush != Z_FINISH)))
 1238:         if (updatewindow(strm, out)) {
 1239:             state->mode = MEM;
 1240:             return Z_MEM_ERROR;
 1241:         }
 1242:     in -= strm->avail_in;
 1243:     out -= strm->avail_out;
 1244:     strm->total_in += in;
 1245:     strm->total_out += out;
 1246:     state->total += out;
 1247:     if (state->wrap && out)
 1248:         strm->adler = state->check =
 1249:             UPDATE(state->check, strm->next_out - out, out);
 1250:     strm->data_type = state->bits + (state->last ? 64 : 0) +
 1251:                       (state->mode == TYPE ? 128 : 0) +
 1252:                       (state->mode == LEN_ || state->mode == COPY_ ? 256 : 0);
 1253:     if (((in == 0 && out == 0) || flush == Z_FINISH) && ret == Z_OK)
 1254:         ret = Z_BUF_ERROR;
 1255:     return ret;
 1256: }
 1257: 
 1258: int ZEXPORT inflateEnd(strm)
 1259: z_streamp strm;
 1260: {
 1261:     struct inflate_state FAR *state;
 1262:     if (strm == Z_NULL || strm->state == Z_NULL || strm->zfree == (free_func)0)
 1263:         return Z_STREAM_ERROR;
 1264:     state = (struct inflate_state FAR *)strm->state;
 1265:     if (state->window != Z_NULL) ZFREE(strm, state->window);
 1266:     ZFREE(strm, strm->state);
 1267:     strm->state = Z_NULL;
 1268:     Tracev((stderr, "inflate: end\n"));
 1269:     return Z_OK;
 1270: }
 1271: 
 1272: int ZEXPORT inflateSetDictionary(strm, dictionary, dictLength)
 1273: z_streamp strm;
 1274: const Bytef *dictionary;
 1275: uInt dictLength;
 1276: {
 1277:     struct inflate_state FAR *state;
 1278:     unsigned long id;
 1279:     unsigned char *next;
 1280:     unsigned avail;
 1281:     int ret;
 1282: 
 1283:     /* check state */
 1284:     if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
 1285:     state = (struct inflate_state FAR *)strm->state;
 1286:     if (state->wrap != 0 && state->mode != DICT)
 1287:         return Z_STREAM_ERROR;
 1288: 
 1289:     /* check for correct dictionary id */
 1290:     if (state->mode == DICT) {
 1291:         id = adler32(0L, Z_NULL, 0);
 1292:         id = adler32(id, dictionary, dictLength);
 1293:         if (id != state->check)
 1294:             return Z_DATA_ERROR;
 1295:     }
 1296: 
 1297:     /* copy dictionary to window using updatewindow(), which will amend the
 1298:        existing dictionary if appropriate */
 1299:     next = strm->next_out;
 1300:     avail = strm->avail_out;
 1301:     strm->next_out = (Bytef *)dictionary + dictLength;
 1302:     strm->avail_out = 0;
 1303:     ret = updatewindow(strm, dictLength);
 1304:     strm->avail_out = avail;
 1305:     strm->next_out = next;
 1306:     if (ret) {
 1307:         state->mode = MEM;
 1308:         return Z_MEM_ERROR;
 1309:     }
 1310:     state->havedict = 1;
 1311:     Tracev((stderr, "inflate:   dictionary set\n"));
 1312:     return Z_OK;
 1313: }
 1314: 
 1315: int ZEXPORT inflateGetHeader(strm, head)
 1316: z_streamp strm;
 1317: gz_headerp head;
 1318: {
 1319:     struct inflate_state FAR *state;
 1320: 
 1321:     /* check state */
 1322:     if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
 1323:     state = (struct inflate_state FAR *)strm->state;
 1324:     if ((state->wrap & 2) == 0) return Z_STREAM_ERROR;
 1325: 
 1326:     /* save header structure */
 1327:     state->head = head;
 1328:     head->done = 0;
 1329:     return Z_OK;
 1330: }
 1331: 
 1332: /*
 1333:    Search buf[0..len-1] for the pattern: 0, 0, 0xff, 0xff.  Return when found
 1334:    or when out of input.  When called, *have is the number of pattern bytes
 1335:    found in order so far, in 0..3.  On return *have is updated to the new
 1336:    state.  If on return *have equals four, then the pattern was found and the
 1337:    return value is how many bytes were read including the last byte of the
 1338:    pattern.  If *have is less than four, then the pattern has not been found
 1339:    yet and the return value is len.  In the latter case, syncsearch() can be
 1340:    called again with more data and the *have state.  *have is initialized to
 1341:    zero for the first call.
 1342:  */
 1343: local unsigned syncsearch(have, buf, len)
 1344: unsigned FAR *have;
 1345: unsigned char FAR *buf;
 1346: unsigned len;
 1347: {
 1348:     unsigned got;
 1349:     unsigned next;
 1350: 
 1351:     got = *have;
 1352:     next = 0;
 1353:     while (next < len && got < 4) {
 1354:         if ((int)(buf[next]) == (got < 2 ? 0 : 0xff))
 1355:             got++;
 1356:         else if (buf[next])
 1357:             got = 0;
 1358:         else
 1359:             got = 4 - got;
 1360:         next++;
 1361:     }
 1362:     *have = got;
 1363:     return next;
 1364: }
 1365: 
 1366: int ZEXPORT inflateSync(strm)
 1367: z_streamp strm;
 1368: {
 1369:     unsigned len;               /* number of bytes to look at or looked at */
 1370:     unsigned long in, out;      /* temporary to save total_in and total_out */
 1371:     unsigned char buf[4];       /* to restore bit buffer to byte string */
 1372:     struct inflate_state FAR *state;
 1373: 
 1374:     /* check parameters */
 1375:     if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
 1376:     state = (struct inflate_state FAR *)strm->state;
 1377:     if (strm->avail_in == 0 && state->bits < 8) return Z_BUF_ERROR;
 1378: 
 1379:     /* if first time, start search in bit buffer */
 1380:     if (state->mode != SYNC) {
 1381:         state->mode = SYNC;
 1382:         state->hold <<= state->bits & 7;
 1383:         state->bits -= state->bits & 7;
 1384:         len = 0;
 1385:         while (state->bits >= 8) {
 1386:             buf[len++] = (unsigned char)(state->hold);
 1387:             state->hold >>= 8;
 1388:             state->bits -= 8;
 1389:         }
 1390:         state->have = 0;
 1391:         syncsearch(&(state->have), buf, len);
 1392:     }
 1393: 
 1394:     /* search available input */
 1395:     len = syncsearch(&(state->have), strm->next_in, strm->avail_in);
 1396:     strm->avail_in -= len;
 1397:     strm->next_in += len;
 1398:     strm->total_in += len;
 1399: 
 1400:     /* return no joy or set up to restart inflate() on a new block */
 1401:     if (state->have != 4) return Z_DATA_ERROR;
 1402:     in = strm->total_in;  out = strm->total_out;
 1403:     inflateReset(strm);
 1404:     strm->total_in = in;  strm->total_out = out;
 1405:     state->mode = TYPE;
 1406:     return Z_OK;
 1407: }
 1408: 
 1409: /*
 1410:    Returns true if inflate is currently at the end of a block generated by
 1411:    Z_SYNC_FLUSH or Z_FULL_FLUSH. This function is used by one PPP
 1412:    implementation to provide an additional safety check. PPP uses
 1413:    Z_SYNC_FLUSH but removes the length bytes of the resulting empty stored
 1414:    block. When decompressing, PPP checks that at the end of input packet,
 1415:    inflate is waiting for these length bytes.
 1416:  */
 1417: int ZEXPORT inflateSyncPoint(strm)
 1418: z_streamp strm;
 1419: {
 1420:     struct inflate_state FAR *state;
 1421: 
 1422:     if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
 1423:     state = (struct inflate_state FAR *)strm->state;
 1424:     return state->mode == STORED && state->bits == 0;
 1425: }
 1426: 
 1427: int ZEXPORT inflateCopy(dest, source)
 1428: z_streamp dest;
 1429: z_streamp source;
 1430: {
 1431:     struct inflate_state FAR *state;
 1432:     struct inflate_state FAR *copy;
 1433:     unsigned char FAR *window;
 1434:     unsigned wsize;
 1435: 
 1436:     /* check input */
 1437:     if (dest == Z_NULL || source == Z_NULL || source->state == Z_NULL ||
 1438:         source->zalloc == (alloc_func)0 || source->zfree == (free_func)0)
 1439:         return Z_STREAM_ERROR;
 1440:     state = (struct inflate_state FAR *)source->state;
 1441: 
 1442:     /* allocate space */
 1443:     copy = (struct inflate_state FAR *)
 1444:            ZALLOC(source, 1, sizeof(struct inflate_state));
 1445:     if (copy == Z_NULL) return Z_MEM_ERROR;
 1446:     window = Z_NULL;
 1447:     if (state->window != Z_NULL) {
 1448:         window = (unsigned char FAR *)
 1449:                  ZALLOC(source, 1U << state->wbits, sizeof(unsigned char));
 1450:         if (window == Z_NULL) {
 1451:             ZFREE(source, copy);
 1452:             return Z_MEM_ERROR;
 1453:         }
 1454:     }
 1455: 
 1456:     /* copy state */
 1457:     zmemcpy((voidpf)dest, (voidpf)source, sizeof(z_stream));
 1458:     zmemcpy((voidpf)copy, (voidpf)state, sizeof(struct inflate_state));
 1459:     if (state->lencode >= state->codes &&
 1460:         state->lencode <= state->codes + ENOUGH - 1) {
 1461:         copy->lencode = copy->codes + (state->lencode - state->codes);
 1462:         copy->distcode = copy->codes + (state->distcode - state->codes);
 1463:     }
 1464:     copy->next = copy->codes + (state->next - state->codes);
 1465:     if (window != Z_NULL) {
 1466:         wsize = 1U << state->wbits;
 1467:         zmemcpy(window, state->window, wsize);
 1468:     }
 1469:     copy->window = window;
 1470:     dest->state = (struct internal_state FAR *)copy;
 1471:     return Z_OK;
 1472: }
 1473: 
 1474: int ZEXPORT inflateUndermine(strm, subvert)
 1475: z_streamp strm;
 1476: int subvert;
 1477: {
 1478:     struct inflate_state FAR *state;
 1479: 
 1480:     if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
 1481:     state = (struct inflate_state FAR *)strm->state;
 1482:     state->sane = !subvert;
 1483: #ifdef INFLATE_ALLOW_INVALID_DISTANCE_TOOFAR_ARRR
 1484:     return Z_OK;
 1485: #else
 1486:     state->sane = 1;
 1487:     return Z_DATA_ERROR;
 1488: #endif
 1489: }
 1490: 
 1491: long ZEXPORT inflateMark(strm)
 1492: z_streamp strm;
 1493: {
 1494:     struct inflate_state FAR *state;
 1495: 
 1496:     if (strm == Z_NULL || strm->state == Z_NULL) return -1L << 16;
 1497:     state = (struct inflate_state FAR *)strm->state;
 1498:     return ((long)(state->back) << 16) +
 1499:         (state->mode == COPY ? state->length :
 1500:             (state->mode == MATCH ? state->was - state->length : 0));
 1501: }

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>