* valops.c (value_cast): When casting a pointer to an integer,
authorJim Blandy <jimb@codesourcery.com>
Tue, 10 Jul 2001 21:15:28 +0000 (21:15 +0000)
committerJim Blandy <jimb@codesourcery.com>
Tue, 10 Jul 2001 21:15:28 +0000 (21:15 +0000)
commit2bf1f4a12e3577f7483aaa185c6917d8ba94a9bc
treea4631ff80eea9522dbd495b60e7282e428f41a7a
parentba3a85231b0063f457e88e57edd12f244b6ceabc
* valops.c (value_cast): When casting a pointer to an integer,
don't convert it to an address.
gdb/ChangeLog
gdb/valops.c