Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2008-04-02 17:55:16 -0700 (Wed, 02 Apr 2008)
Revision: 12822
Log message:

      Fixed a bug in the functions that convert pointers to ints where we would incorrectly classify a pointer created using malloc as not actually being a pointer.