Prevent code analysis tool warning about GC_base unchecked result
authorIvan Maidanski <ivmai@mail.ru>
Wed, 17 Feb 2016 09:09:12 +0000 (12:09 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Wed, 17 Feb 2016 09:09:12 +0000 (12:09 +0300)
commit70fbfadd3842c828ae9dd10ef3212a2d0957ca86
tree99d91c181ebe1067a9ce20590d38dc62d23be372
parent23027db35101a00780ea9f264ad6f354c33b56f6
Prevent code analysis tool warning about GC_base unchecked result

* mark.c (GC_mark_and_push_stack): Add assertion on GC_base result is
non-null (before use in HDR).
mark.c