CID 1461176: Null pointer dereferences (FORWARD_NULL)

/home/covbuilder/pike/Pike-v8.1-snapshot/src/docode.c: 3033 in do_code_block()
________________________________________________________________________________________________________
*** CID 1461176:  Null pointer dereferences  (FORWARD_NULL)
/home/covbuilder/pike/Pike-v8.1-snapshot/src/docode.c: 3033 in do_code_block()
3027     
3028       init_bytecode();
3029       label_no=1;
3030       PUSH_STATEMENT_LABEL;
3031       save_label = current_label->prev;
3032       current_label->prev = NULL;
>>>     CID 1461176:  Null pointer dereferences  (FORWARD_NULL)
>>>     Dereferencing null pointer "current_label->prev".
3033       PUSH_CLEANUP_FRAME(NULL, NULL);
3034       current_stack_depth = 0;
3035     
3036       /* NOTE: This is no ordinary label... */
3037       low_insert_label(0);
3038       emit0(F_ENTRY);