linux - pthread_exit からの終了値が正しくありません

Question

以下のコードは単純に 2 つのスレッドを作成し、それらの戻り値を取得しようとします。

コンパイルして 32 ビット glibc-2.15 システムで実行したところ、すべてうまくいきました (出力: r1: 1、r2: 2)。しかし、64 ビットの glibc-2.17 システムで同じことを行ったところ、出力が間違っていました (出力: r1: 0、r2: 2)。同じコードが異なるシステムで異なる動作をするのはなぜですか?

注: r1 と r2 のタイプが に変更された場合、void*以下int*のコメントのように、コードは両方のシステムで機能します。

#include <stdio.h>
#include <pthread.h>
#include <unistd.h>
#include <string.h>

void* worker(void* arg) {
    int i = (int) arg;
    pthread_exit((void*)i);
}

int main(int argc, char** argv) {

    pthread_t tid[2];
    int err = 0;
    err = pthread_create(&tid[0], NULL, worker, (void*) 1);
    if(err != 0) printf("error: %s\n", strerror(err));
    err = pthread_create(&tid[1], NULL, worker, (void*) 2);
    if(err != 0) printf("error: %s\n", strerror(err));

    ///*
    int r1 = 0, r2 = 0; // <-- WRONG: r1: 0, r2: 2
    //void *r1, *r2; // <-- OK: r1: 1, r2: 2
    pthread_join(tid[0], (void**) &r1);
    pthread_join(tid[1], (void**) &r2);
    printf("r1: %d, r2: %d\n", (int) r1, (int) r2);
    //*/

    // make comment above snippet and uncomment below snippet: // <-- OK: r1: 1, r2: 2 
    /*
    int *r1 = (int*) malloc(sizeof(int));
    int *r2 = (int*) malloc(sizeof(int));
    pthread_join(tid[0], (void**) r1);
    pthread_join(tid[1], (void**) r2);
    printf("r1: %d, r2: %d\n", (int)(*r1), (int)(*r2));
    */
    return 0;
}