Casting madness

gistfile1.cpp

// g++ test.cpp -o test -m32

#include <stdint.h>
#include <stdio.h>

int main(int argc, char *argv[])
{
        void *foo = (void *)0xF0000000;
        int bar = 0;
        int64_t x = reinterpret_cast<int32_t>(foo) | (static_cast<int64_t>(bar) << 32);
        printf("x = %ld\n", x);
        return 0;
}