Rename void_diff() -> addr_diff()
commitecfb2b35bd15cfee916b15f94c3ce5ee7a68893d
authorDouglas Katzman <dougk@google.com>
Fri, 28 Apr 2017 17:40:37 +0000 (28 13:40 -0400)
committerDouglas Katzman <dougk@google.com>
Fri, 28 Apr 2017 17:42:34 +0000 (28 13:42 -0400)
tree4d535ebe2e614bbf5870cce558b11414c5998e25
parented21a8ea775ef8ff3e6bf739326fa3125de838c5
Rename void_diff() -> addr_diff()

Taking a difference of void* pointers is semantically poor
even though the practice is to compute as if char* pointers.
src/runtime/gencgc.c