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