The following reply was made to PR general/736; it has been noted by GNATS.
From: Dean Gaudet <[EMAIL PROTECTED]> To: Ondrej Pribyl <[EMAIL PROTECTED]> Subject: Re: general/736: pointers cast as ints of different size - potential memory problems Date: Fri, 13 Jun 1997 09:26:09 -0700 (PDT) There's a patch in the dist/contrib directory that fixes this. We should add it to the known bugs page too. Hey wait, the patch isn't there any more. Ugh I wonder where it went. At any rate yeah there's a few 64-bit patches floating around. Thanks Dean
