]> granicus.if.org Git - gc/commit
projects / gc / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff84a50) | patch
Workaround 'null pointer dereference' false positive in push_next_marked
authorIvan Maidanski <ivmai@mail.ru>
Sat, 17 Dec 2016 06:47:10 +0000 (09:47 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Mon, 6 Feb 2017 17:29:24 +0000 (20:29 +0300)
commitfb234c02611c7751ce30075348ef5073dcb0ee67
tree28f28a896b1933235b4e854200f06dcb42375d4atree | snapshot
parentff84a50bd5d964852ad0f2e9902b57152939ebe4commit | diff
Workaround 'null pointer dereference' false positive in push_next_marked

* mark.c [LINT2] (GC_push_next_marked,
GC_push_next_marked_uncollectable): Call ABORT if h is null (to ensure
that null is not passed to GC_push_marked).
* mark.c [!GC_DISABLE_INCREMENTAL && LINT2] (GC_push_next_marked_dirty):
Likewise.
* mark.c [!GC_DISABLE_INCREMENTAL && STUBBORN_ALLOC]
(GC_push_next_marked_dirty): Remove code duplication.
mark.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.