[Ecls-list] ecl_make_stream_from_fd

[Gabriel Dos Reis]

Hi Juanjo,

I am looking at this snippet from ecl_make_stream_from_fd in src/c/file.d:

    #if defined(ECL_WSOCK)
            if (smm == smm_input_wsock || smm == smm_output_wsock || smm == smm_io_wsock)
                    fp = (FILE*)fd;
            else
                    fp = fdopen(fd, mode);
    #else
            fp = fdopen(fd, mode);
    #endif


the parameter `fd' is of type `int'.  I cannot see how the cast 
to `FILE*' can possibly yield a valid pointer value on a 64-bit
architecture.    

-- Gaby