Do not allow SHORT_DBG_HDRS if KEEP_BACK_PTRS or MAKE_BACK_GRAPH
authorIvan Maidanski <ivmai@mail.ru>
Tue, 2 Aug 2016 09:01:48 +0000 (12:01 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Tue, 2 Aug 2016 09:01:48 +0000 (12:01 +0300)
commit9c26cc680832709ede8340b055146e1654660608
tree86228092866fa18db8253ced09678e75df0e62ab
parent33fc2f8f30df3e94c2fc6df7e36958e5f3f832f5
Do not allow SHORT_DBG_HDRS if KEEP_BACK_PTRS or MAKE_BACK_GRAPH

Otherwise GC_HAS_DEBUG_INFO (defined as (p&1)) might return true
if a non-pointer is stored at the beginning of the tested object
leading further to its corruption by GC_store_back_pointer.
See issue #125 for details.

* include/private/dbg_mlc.h [KEEP_BACK_PTRS || MAKE_BACK_GRAPH]
(GC_HAS_DEBUG_INFO): Add #error (with the appropriate message) in
case of SHORT_DBG_HDRS defined.
include/private/dbg_mlc.h