Eliminate CSA false warning about null dereference in array_mark_proc
authorIvan Maidanski <ivmai@mail.ru>
Fri, 26 Aug 2016 07:04:39 +0000 (10:04 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Fri, 26 Aug 2016 07:04:39 +0000 (10:04 +0300)
commitfc339c65ad0fffc2e5bc8332bab9c1c70329c04e
tree9ede9ea914a9b1ae95848226d478dd3513751b72
parent3e515067981fc584b8da04bb40c8a1eba2c3f251
Eliminate CSA false warning about null dereference in array_mark_proc

The exact warning message is: Access to field 'mse_start' results in a
dereference of a null pointer (loaded from variable 'new_mark_stack_ptr').

* typd_mlc.c (GC_array_mark_proc): Add assertion that mark_stack_ptr is
non-NULL (thus orig_mark_stack_ptr is non-NULL too).
typd_mlc.c