zlib: adler32 Prüfsummer rechnet falsch

[Rangi J. (rangi)]

Hallo Forum,
ich habe PNG (libpng) auf meinem STM32 zum laufen gebracht. Darin 
enthalten ist ja die zlib und diese bringt die adler32() Prüfsumme mit. 
Funktioniert soweit prima, bis auf das die Prüfsumme nicht mit der Summe 
des png-Bildes übereinstimmt.
Wenn ich die Überprüfung abschalte (ganz am Ende) wird der Bildinhalt 
korrekt ausgegeben, keine Fehler.
Hat jemand sowas schonmal gemacht? Gibts da irgendwas zu beachten?

#define BASE 65521      /* largest prime smaller than 65536 */
#define NMAX 5552
#define MOD(a) a %= BASE
#define MOD28(a) a %= BASE

#define DO1(buf,i)  {adler += (buf)[i]; sum2 += adler;}
#define DO2(buf,i)  DO1(buf,i); DO1(buf,i+1);
#define DO4(buf,i)  DO2(buf,i); DO2(buf,i+2);
#define DO8(buf,i)  DO4(buf,i); DO4(buf,i+4);
#define DO16(buf)   DO8(buf,0); DO8(buf,8);

u32 adler32(u32 adler, const u8 *buf, u32 len)
{
    u32 sum2;
    u32 n;

    /* split Adler-32 into component sums */
    sum2 = (adler >> 16) & 0xffff;
    adler &= 0xffff;

    /* in case user likes doing a byte at a time, keep it fast */
    if (len == 1) {
        adler += buf[0];
        if (adler >= BASE)
            adler -= BASE;
        sum2 += adler;
        if (sum2 >= BASE)
            sum2 -= BASE;
        return adler | (sum2 << 16);
    }

    /* initial Adler-32 value (deferred check for len == 1 speed) */
    if (buf == NULL)
        return 1L;

    /* in case short lengths are provided, keep it somewhat fast */
    if (len < 16) {
        while (len--) {
            adler += *buf++;
            sum2 += adler;
        }
        if (adler >= BASE)
            adler -= BASE;
        MOD28(sum2);            /* only added so many BASE's */
        return adler | (sum2 << 16);
    }

    /* do length NMAX blocks -- requires just one modulo operation */
    while (len >= NMAX) {
        len -= NMAX;
        n = NMAX / 16;          /* NMAX is divisible by 16 */
        do {
            DO16(buf);          /* 16 sums unrolled */
            buf += 16;
        } while (--n);
        MOD(adler);
        MOD(sum2);
    }

    /* do remaining bytes (less than NMAX, still just one modulo) */
    if (len) {                  /* avoid modulos if none remaining */
        while (len >= 16) {
            len -= 16;
            DO16(buf);
            buf += 16;
        }
        while (len--) {
            adler += *buf++;
            sum2 += adler;
        }
        MOD(adler);
        MOD(sum2);
    }

    /* return recombined sums */
    return adler | (sum2 << 16);
}

Initialisieren muss man den ja scheinbar nicht, denn im case "HEAD" 
steht:

            Tracev((stderr, "inflate:   zlib header ok\n"));
            strm->adler = state->check = adler32(0L, NULL, 0);

[Dr. Sommer (Gast)]

Auf PC und Controller mit den gleichen Eingabedaten aufrufen, bei jedem 
Schritt die Zwischenergebnisse ausgeben und vergleichen? Möglicherweise 
ein Problem mit unportablem Integer Verhalten. Mal mit "-Wall -Wextra 
-pedantic" kompilieren, vielleicht findet der Compiler das ja sogar...

[Rangi J. (rangi)]

Habs gefunden!
ich hab die CRC des Chunks mit übergeben, also das zu bearbeitetende 
Array war 4 Bytes zu lange. Damit hat scheinbar der Adler ein Problem.
Jetzt gehts