CID 1461177: Null pointer dereferences (FORWARD_NULL)

/home/covbuilder/pike/Pike-v8.1-snapshot/src/docode.c: 3274 in docode()
________________________________________________________________________________________________________
*** CID 1461177:  Null pointer dereferences  (FORWARD_NULL)
/home/covbuilder/pike/Pike-v8.1-snapshot/src/docode.c: 3274 in docode()
3268       struct byte_buffer instrbuf_save = instrbuf;
3269       struct statement_label *label_save;
3270     
3271       PUSH_STATEMENT_LABEL;
3272       label_save = current_label->prev;
3273       current_label->prev = NULL;
>>>     CID 1461177:  Null pointer dereferences  (FORWARD_NULL)
>>>     Dereferencing null pointer "current_label->prev".
3274       PUSH_CLEANUP_FRAME(NULL, NULL);
3275       label_no=1;
3276       current_stack_depth = 0;
3277       Pike_compiler->compiler_frame->generator_local = -1;
3278       init_bytecode();
3279