]> granicus.if.org Git - gc/commit
projects / gc / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eeb118d) | 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>
Sat, 17 Dec 2016 06:47:10 +0000 (09:47 +0300)
commit2b2b691b6676eb64db177dcd38b94b31ee45d0e0
tree922828416e684152da68d0a9c2cccf5dd612c6c5tree | snapshot
parenteeb118d8438919e7f1eb8f80851e6dadaaaab14fcommit | 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.