Avoid casts from pointers to integers
commita67d59d6e422af30a4faf541294087a7c546f81e
authorSven Verdoolaege <skimo@kittens.msc.uky.edu>
Wed, 28 Nov 2007 08:51:33 +0000 (28 03:51 -0500)
committerSven Verdoolaege <skimo@kittens.msc.uky.edu>
Wed, 28 Nov 2007 10:12:29 +0000 (28 05:12 -0500)
tree2c11b5ba5c0d70d1a5cacad8936f1b5e75dea491
parent267fbf5b578e3dc0bfde6ff010707c2a5ebaf584
Avoid casts from pointers to integers

On some platforms, an int is not big enough to hold a pointer.
12 files changed:
src/baseparsuif/dependence/access_vector.cc
src/baseparsuif/dependence/access_vector.h
src/baseparsuif/dependence/dvector.cc
src/baseparsuif/dependence/normalize.cc
src/baseparsuif/moo/variables.h
src/baseparsuif/nsharlit/parse.y
src/basesuif/snoot/sym.cc
src/basesuif/snoot/tree.cc
src/basesuif/suif1/alist.cc
src/basesuif/suif1/alist.h
src/basesuif/suif1/suifstreams.cc
src/basesuif/useful/labinfo.cc