Viva64-EM full 8 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/callsite.c error V526 The 'memcmp' function returns 0 if corresponding buffers are equal. Consider examining the condition for mistakes. false 3 if (num_flags && memcmp(cs1->arg_flags, cs2->arg_flags, num_flags)) return 0; ------------ Viva64-EM full 176 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/args.c error V591 Non-void function should return a value. false 1 } } #define autounbox(tc, type_flag, expected, result) do { \ ------------ Viva64-EM full 422 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/args.c error V591 Non-void function should return a value. false 1 } } void MVM_args_set_result_obj(MVMThreadContext *tc, MVMObject *result, MVMint32 frameless) { ------------ Viva64-EM full 397 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/exceptions.c error V576 Incorrect format. Consider checking the fourth actual argument of the 'snprintf' function. The SIGNED integer type argument is expected. false 3 char *line_number = MVM_malloc(16); snprintf(line_number, 16, "%d", annot ? annot->line_number : 1); ------------ Viva64-EM full 448 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/exceptions.c error V614 Potentially uninitialized pointer 'ex' used. false 1 arr = MVM_repr_alloc_init(tc, tc->instance->boot_types.BOOTArray); cur_frame = ex->body.origin; ------------ Viva64-EM full 587 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/exceptions.c error V614 Potentially uninitialized pointer 'ex' used. false 1 if (!ex->body.category) ex->body.category = MVM_EX_CAT_CATCH; ------------ Viva64-EM full 639 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/exceptions.c error V614 Potentially uninitialized pointer 'ex' used. false 1 /* Check that everything is in place to do the resumption. */ if (!ex->body.resume_addr) MVM_exception_throw_adhoc(tc, "This exception is not resumable"); ------------ Viva64-EM full 850 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/exceptions.c error V595 The 'tc->interp_cur_op' pointer was utilized before it was verified against nullptr. Check lines: 850, 875. false 1 ex = (MVMException *)MVM_repr_alloc_init(tc, tc->instance->boot_types.BOOTException); MVMROOT(tc, ex, { char *c_message = MVM_malloc(1024); 850,875 ------------ Viva64-EM full 1 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/interp.c error V006 File cannot be processed. Analysis aborted by timeout. false 0 ------------ Viva64-EM full 242 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/compunit.c error V591 Non-void function should return a value. false 2 } } ------------ Viva64-EM full 374 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/bytecode.c error V525 The code containing the collection of similar blocks. Check items '1', '2', '4', '8', '4', '8', '2', '2' in lines 374, 378, 382, 386, 390, 394, 398, 402. false 3 case MVM_operand_int8: operand_bytes += 1; continue; 374,378,382,386,390,394,398,402 ------------ Viva64-EM full 588 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/bytecode.c error V649 There are two 'if' statements with identical conditional expressions. The first 'if' statement contains function return. This means that the second 'if' statement is senseless. Check lines: 581, 588. false 2 /* Ensure no other thread has done this for us in the mean time. */ if (sf->body.fully_deserialized) { MVM_reentrantmutex_unlock(tc, (MVMReentrantMutex *)cu->body.update_mutex); 581,588 ------------ Viva64-EM full 357 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V691 Empirical analysis. It is possible that a typo is present inside the string literal: "". The 'frame' word is suspicious. false 3 else { outer_name = ""; } ------------ Viva64-EM full 1226 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 1386 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the fourth actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "I %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1386 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the fifth actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "I %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1386 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the sixth actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "I %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1386 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the seventh actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "I %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1423 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the fourth actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "I %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1423 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the fifth actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "I %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1423 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the sixth actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "I %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1423 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the seventh actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "I %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1445 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the fourth actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "C %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1445 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the fifth actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "C %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1445 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the sixth actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "C %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1445 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the seventh actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "C %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1476 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the fourth actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "F %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1476 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the fifth actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "F %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1476 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the sixth actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "F %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1476 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the seventh actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "F %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1491 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the fourth actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "N %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1491 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the fifth actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "N %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1491 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the sixth actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "N %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1491 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V576 Incorrect format. Consider checking the seventh actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 if (dlog) { fprintf(dlog, "N %s %d %d %d %d %llu %llu %llu\n", c_name, fcost, icost, ecost, xcost, last_time, start_time, uv_hrtime()); fflush(dlog); ------------ Viva64-EM full 1602 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V591 Non-void function should return a value. false 2 } } ------------ Viva64-EM full 1655 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/frame.c error V591 Non-void function should return a value. false 2 } } ------------ Viva64-EM full 515 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V525 The code containing the collection of similar blocks. Check items 'MVM_CALLSITE_ARG_OBJ', 'MVM_CALLSITE_ARG_STR', 'MVM_CALLSITE_ARG_STR', 'MVM_CALLSITE_ARG_INT', 'MVM_CALLSITE_ARG_NUM' in lines 515, 520, 525, 530, 535. false 3 case MVM_OP_arg_o: if(!(flags & MVM_CALLSITE_ARG_OBJ)) goto fail_arg; 515,520,525,530,535 ------------ Viva64-EM full 615 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->tc = tc; val->cu = fb->cu; ------------ Viva64-EM full 616 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->tc = tc; val->cu = fb->cu; val->frame = static_frame; ------------ Viva64-EM full 617 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->cu = fb->cu; val->frame = static_frame; val->loc_count = fb->num_locals; ------------ Viva64-EM full 618 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->frame = static_frame; val->loc_count = fb->num_locals; val->loc_types = fb->local_types; ------------ Viva64-EM full 619 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->loc_count = fb->num_locals; val->loc_types = fb->local_types; val->bc_size = fb->bytecode_size; ------------ Viva64-EM full 620 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->loc_types = fb->local_types; val->bc_size = fb->bytecode_size; val->src_cur_op = fb->bytecode; ------------ Viva64-EM full 621 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->bc_size = fb->bytecode_size; val->src_cur_op = fb->bytecode; val->src_bc_end = fb->bytecode + fb->bytecode_size; ------------ Viva64-EM full 622 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->src_cur_op = fb->bytecode; val->src_bc_end = fb->bytecode + fb->bytecode_size; val->labels = MVM_calloc(fb->bytecode_size, 1); ------------ Viva64-EM full 623 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->src_bc_end = fb->bytecode + fb->bytecode_size; val->labels = MVM_calloc(fb->bytecode_size, 1); val->cur_info = NULL; ------------ Viva64-EM full 624 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->labels = MVM_calloc(fb->bytecode_size, 1); val->cur_info = NULL; val->cur_mark = NULL; ------------ Viva64-EM full 625 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->cur_info = NULL; val->cur_mark = NULL; val->cur_instr = 0; ------------ Viva64-EM full 626 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->cur_mark = NULL; val->cur_instr = 0; val->cur_call = NULL; ------------ Viva64-EM full 627 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->cur_instr = 0; val->cur_call = NULL; val->cur_arg = 0; ------------ Viva64-EM full 628 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->cur_call = NULL; val->cur_arg = 0; ------------ Viva64-EM full 630 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->expected_named_arg = 0; val->remaining_positionals = 0; ------------ Viva64-EM full 631 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->expected_named_arg = 0; val->remaining_positionals = 0; val->remaining_jumplabels = 0; ------------ Viva64-EM full 632 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->remaining_positionals = 0; val->remaining_jumplabels = 0; val->reg_type_var = 0; ------------ Viva64-EM full 633 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->remaining_jumplabels = 0; val->reg_type_var = 0; ------------ Viva64-EM full 641 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 #else val->bc_start = fb->bytecode; #endif ------------ Viva64-EM full 643 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 #endif val->bc_end = val->bc_start + fb->bytecode_size; val->cur_op = val->bc_start; ------------ Viva64-EM full 643 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 #endif val->bc_end = val->bc_start + fb->bytecode_size; val->cur_op = val->bc_start; ------------ Viva64-EM full 644 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->bc_end = val->bc_start + fb->bytecode_size; val->cur_op = val->bc_start; ------------ Viva64-EM full 644 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 val->bc_end = val->bc_start + fb->bytecode_size; val->cur_op = val->bc_start; ------------ Viva64-EM full 646 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 while (val->cur_op < val->bc_end) { read_op(val); ------------ Viva64-EM full 646 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 while (val->cur_op < val->bc_end) { read_op(val); ------------ Viva64-EM full 648 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 read_op(val); if (val->cur_mark && val->cur_mark[0] == 's') fail(val, MSG(val, "Illegal appearance of spesh op")); ------------ Viva64-EM full 648 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 read_op(val); if (val->cur_mark && val->cur_mark[0] == 's') fail(val, MSG(val, "Illegal appearance of spesh op")); ------------ Viva64-EM full 649 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 if (val->cur_mark && val->cur_mark[0] == 's') fail(val, MSG(val, "Illegal appearance of spesh op")); ------------ Viva64-EM full 649 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 if (val->cur_mark && val->cur_mark[0] == 's') fail(val, MSG(val, "Illegal appearance of spesh op")); ------------ Viva64-EM full 649 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 if (val->cur_mark && val->cur_mark[0] == 's') fail(val, MSG(val, "Illegal appearance of spesh op")); ------------ Viva64-EM full 651 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 switch (val->cur_mark[0]) { case MARK_regular: ------------ Viva64-EM full 674 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/validation.c error V619 The array 'val' is being utilized as a pointer to single object. false 3 /* Validation successful. Clear up instruction offsets. */ MVM_free(val->labels); } ------------ Viva64-EM full 94 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/threads.c error V575 The null pointer is passed into 'pthread_exit' function. Inspect the first argument. false 1 /* Exit the thread, now it's completed. */ MVM_platform_thread_exit(NULL); } ------------ Viva64-EM full 182 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/threads.c error V591 Non-void function should return a value. false 1 "Thread handle passed to threadid must have representation MVMThread"); } ------------ Viva64-EM full 192 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/threads.c error V591 Non-void function should return a value. false 1 "Thread handle passed to threadnativeid must have representation MVMThread"); } ------------ Viva64-EM full 13 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/hll.c error V614 Potentially uninitialized pointer 'kdata' used. false 1 if (tc->instance->hll_compilee_depth) HASH_FIND(hash_handle, tc->instance->compilee_hll_configs, kdata, klen, entry); else ------------ Viva64-EM full 13 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/hll.c error V614 Potentially uninitialized variable 'klen' used. false 2 if (tc->instance->hll_compilee_depth) HASH_FIND(hash_handle, tc->instance->compilee_hll_configs, kdata, klen, entry); else ------------ Viva64-EM full 32 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/math/num.c error V550 An odd precise comparison: n == MVM_NUM_POSINF. It's probably better to use a comparison with defined precision: fabs(A - B) < Epsilon. false 3 MVMint64 MVM_num_isnanorinf(MVMThreadContext *tc, MVMnum64 n) { return n == MVM_NUM_POSINF || n == MVM_NUM_NEGINF || n != n; } ------------ Viva64-EM full 32 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/math/num.c error V550 An odd precise comparison: n == MVM_NUM_NEGINF. It's probably better to use a comparison with defined precision: fabs(A - B) < Epsilon. false 3 MVMint64 MVM_num_isnanorinf(MVMThreadContext *tc, MVMnum64 n) { return n == MVM_NUM_POSINF || n == MVM_NUM_NEGINF || n != n; } ------------ Viva64-EM full 68 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/coerce.c error V550 An odd precise comparison. It's probably better to use a comparison with defined precision: fabs(A - B) < Epsilon. false 3 case MVM_BOOL_MODE_UNBOX_NUM: result = !IS_CONCRETE(obj) || REPR(obj)->box_funcs.get_num(tc, STABLE(obj), obj, OBJECT_BODY(obj)) == 0.0 ? 0 : 1; break; ------------ Viva64-EM full 174 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/coerce.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 177 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/coerce.c error V550 An odd precise comparison: n == MVM_num_posinf(tc). It's probably better to use a comparison with defined precision: fabs(A - B) < Epsilon. false 3 MVMString * MVM_coerce_n_s(MVMThreadContext *tc, MVMnum64 n) { if (n == MVM_num_posinf(tc)) { return MVM_string_ascii_decode_nt(tc, tc->instance->VMString, "Inf"); ------------ Viva64-EM full 180 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/coerce.c error V550 An odd precise comparison: n == MVM_num_neginf(tc). It's probably better to use a comparison with defined precision: fabs(A - B) < Epsilon. false 3 } else if (n == MVM_num_neginf(tc)) { return MVM_string_ascii_decode_nt(tc, tc->instance->VMString, "-Inf"); ------------ Viva64-EM full 341 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/coerce.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 305 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/nativecall.c error V591 Non-void function should return a value. false 1 "Native call expected return type with CStruct representation, but got a %s (%s)", REPR(value)->name, STABLE(value)->debug_name); } ------------ Viva64-EM full 315 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/nativecall.c error V591 Non-void function should return a value. false 1 "Native call expected return type with CPPStruct representation, but got a %s (%s)", REPR(value)->name, STABLE(value)->debug_name); } ------------ Viva64-EM full 325 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/nativecall.c error V591 Non-void function should return a value. false 1 "Native call expected return type with CPointer representation, but got a %s (%s)", REPR(value)->name, STABLE(value)->debug_name); } ------------ Viva64-EM full 335 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/nativecall.c error V591 Non-void function should return a value. false 1 "Native call expected return type with CArray representation, but got a %s (%s)", REPR(value)->name, STABLE(value)->debug_name); } ------------ Viva64-EM full 349 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/nativecall.c error V591 Non-void function should return a value. false 1 "Native call expected object with Array representation, but got a %s (%s)", REPR(value)->name, STABLE(value)->debug_name); } ------------ Viva64-EM full 359 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/nativecall.c error V591 Non-void function should return a value. false 1 "Native call expected return type with CUnion representation, but got a %s (%s)", REPR(value)->name, STABLE(value)->debug_name); } ------------ Viva64-EM full 670 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/nativecall.c error V591 Non-void function should return a value. false 1 REPR(obj)->name, STABLE(obj)->debug_name); } ------------ Viva64-EM full 13 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/nativecall_dyncall.c error V517 The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 13, 19. false 1 result = DC_CALL_C_X86_CDECL; else if (strcmp(cname, "stdcall") == 0) result = DC_CALL_C_X86_WIN32_STD; 13,19 ------------ Viva64-EM full 318 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/nativecall_dyncall.c error V506 Pointer to local variable 'res' is stored outside the scope of this variable. Such a pointer will become invalid. false 3 MVMFrame *backup_thread_entry_frame = tc->thread_entry_frame; MVMROOT(tc, backup_cur_frame, { MVMROOT(tc, backup_thread_entry_frame, { ------------ Viva64-EM full 705 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/core/nativecall_dyncall.c error V595 The 'free_rws' pointer was utilized before it was verified against nullptr. Check lines: 705, 723. false 1 REPR(value)->box_funcs.set_int(tc, STABLE(value), value, OBJECT_BODY(value), (MVMint64)*(DCpointer *)free_rws[num_rws]); break; 705,723 ------------ Viva64-EM full 9 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/gc/orchestrate.c error V595 The 'tc->gc_work' pointer was utilized before it was verified against nullptr. Check lines: 9, 11. false 1 for (i = 0; i < tc->gc_work_count; i++) if (tc->gc_work[i].tc == stolen) return; 9,11 ------------ Viva64-EM full 43 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/gc/allocation.c error V614 Potentially uninitialized pointer 'allocated' used. false 1 return allocated; } ------------ Viva64-EM full 167 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/gc/collect.c error V522 There might be dereferencing of a potential null pointer 'item_ptr'. false 3 /* Dereference the object we're considering. */ MVMCollectable *item = *item_ptr; MVMuint8 item_gen2; ------------ Viva64-EM full 199 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/gc/collect.c error V522 There might be dereferencing of a potential null pointer 'item_ptr'. false 3 } *item_ptr = item->sc_forward_u.forwarder; continue; ------------ Viva64-EM full 229 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/gc/collect.c error V571 Recurring check. The 'if ((0) & (MVM_GC_DEBUG_COLLECT))' condition was already verified in line 228. false 1 if (MVM_GC_DEBUG_ENABLED(MVM_GC_DEBUG_COLLECT)) { GCDEBUG_LOG(tc, MVM_GC_DEBUG_COLLECT, "Thread %d run %d : handle %p was already %p\n", item_ptr, new_addr); } 228,229 ------------ Viva64-EM full 235 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/gc/collect.c error V560 A part of conditional expression is always false: ((0) & (MVM_GC_DEBUG_COLLECT)). false 2 /* Catch NULL stable (always sign of trouble) in debug mode. */ if (MVM_GC_DEBUG_ENABLED(MVM_GC_DEBUG_COLLECT) && !STABLE(item)) { GCDEBUG_LOG(tc, MVM_GC_DEBUG_COLLECT, "Thread %d run %d : found a zeroed handle %p to object %p\n", item_ptr, item); ------------ Viva64-EM full 236 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/gc/collect.c error V571 Recurring check. The '(0) & (MVM_GC_DEBUG_COLLECT)' condition was already verified in line 235. false 2 if (MVM_GC_DEBUG_ENABLED(MVM_GC_DEBUG_COLLECT) && !STABLE(item)) { GCDEBUG_LOG(tc, MVM_GC_DEBUG_COLLECT, "Thread %d run %d : found a zeroed handle %p to object %p\n", item_ptr, item); printf("%d", ((MVMCollectable *)1)->owner); 235,236 ------------ Viva64-EM full 298 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/gc/collect.c error V560 A part of conditional expression is always false: ((0) & (MVM_GC_DEBUG_COLLECT)). false 2 * reference. */ if (MVM_GC_DEBUG_ENABLED(MVM_GC_DEBUG_COLLECT) && new_addr != item) { GCDEBUG_LOG(tc, MVM_GC_DEBUG_COLLECT, "Thread %d run %d : updating handle %p from referent %p (reprid %d) to %p\n", item_ptr, item, REPR(item)->ID, new_addr); ------------ Viva64-EM full 299 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/gc/collect.c error V571 Recurring check. The '(0) & (MVM_GC_DEBUG_COLLECT)' condition was already verified in line 298. false 2 if (MVM_GC_DEBUG_ENABLED(MVM_GC_DEBUG_COLLECT) && new_addr != item) { GCDEBUG_LOG(tc, MVM_GC_DEBUG_COLLECT, "Thread %d run %d : updating handle %p from referent %p (reprid %d) to %p\n", item_ptr, item, REPR(item)->ID, new_addr); } 298,299 ------------ Viva64-EM full 301 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/gc/collect.c error V522 There might be dereferencing of a potential null pointer 'item_ptr'. false 3 } *item_ptr = new_addr; item->sc_forward_u.forwarder = new_addr; ------------ Viva64-EM full 396 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/gc/collect.c error V560 A part of conditional expression is always false: ((0) & (MVM_GC_DEBUG_COLLECT)). false 2 * we care about updating; the old chunk of memory is now dead! */ if (MVM_GC_DEBUG_ENABLED(MVM_GC_DEBUG_COLLECT) && !STABLE(new_addr_obj)) MVM_panic(MVM_exitcode_gcnursery, "Found an outdated reference to address %p", new_addr); ------------ Viva64-EM full 34 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot close this kind of handle"); } ------------ Viva64-EM full 97 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot tell this kind of handle"); } ------------ Viva64-EM full 152 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot read lines from this kind of handle"); } ------------ Viva64-EM full 164 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot read characters from this kind of handle"); } ------------ Viva64-EM full 190 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V614 Potentially uninitialized pointer 'buf' used. false 1 /* Stash the data in the VMArray. */ ((MVMArray *)result)->body.slots.i8 = (MVMint8 *)buf; ((MVMArray *)result)->body.start = 0; ------------ Viva64-EM full 192 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V614 Potentially uninitialized variable 'bytes_read' used. false 2 ((MVMArray *)result)->body.start = 0; ((MVMArray *)result)->body.ssize = bytes_read; ((MVMArray *)result)->body.elems = bytes_read; ------------ Viva64-EM full 206 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot slurp this kind of handle"); } ------------ Viva64-EM full 220 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot write a string to this kind of handle"); } ------------ Viva64-EM full 258 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot read chars asynchronously from this kind of handle"); } ------------ Viva64-EM full 272 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot read bytes asynchronously from this kind of handle"); } ------------ Viva64-EM full 288 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot write a string asynchronously to this kind of handle"); } ------------ Viva64-EM full 304 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot write bytes asynchronously to this kind of handle"); } ------------ Viva64-EM full 321 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot write a string to a destination asynchronously to this kind of handle"); } ------------ Viva64-EM full 338 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot write bytes to a destination asynchronously to this kind of handle"); } ------------ Viva64-EM full 350 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot eof this kind of handle"); } ------------ Viva64-EM full 362 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot lock this kind of handle"); } ------------ Viva64-EM full 429 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/io.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot accept this kind of handle"); } ------------ Viva64-EM full 56 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/syncfile.c error V519 The 'data->fd' variable is assigned values twice successively. Perhaps this is a mistake. Check lines: 53, 56. false 2 } data->fd = -1; return 0; 53,56 ------------ Viva64-EM full 59 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/syncsocket.c error V512 A call of the 'memcpy' function will lead to overflow of the buffer 'dest'. false 1 dest = MVM_malloc(sizeof(struct sockaddr_in6)); memcpy(dest, result->ai_addr, sizeof(struct sockaddr_in6)); } else { ------------ Viva64-EM full 59 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/syncsocket.c error V512 A call of the 'memcpy' function will lead to the 'result->ai_addr' buffer becoming out of range. false 1 dest = MVM_malloc(sizeof(struct sockaddr_in6)); memcpy(dest, result->ai_addr, sizeof(struct sockaddr_in6)); } else { ------------ Viva64-EM full 70 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/syncsocket.c error V614 Potentially uninitialized pointer 'dest' used. false 1 return dest; } ------------ Viva64-EM full 224 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/syncsocket.c error V591 Non-void function should return a value. false 2 } } ------------ Viva64-EM full 360 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/dirops.c error V591 Non-void function should return a value. false 1 #endif } ------------ Viva64-EM full 229 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/procops.c error V506 Pointer to local variable 'result' is stored outside the scope of this variable. Such a pointer will become invalid. false 3 process_still_running = 0; process->data = &result; uv_ref((uv_handle_t *)process); ------------ Viva64-EM full 304 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/procops.c error V506 Pointer to local variable 'result' is stored outside the scope of this variable. Such a pointer will become invalid. false 3 else { process->data = &result; uv_ref((uv_handle_t *)process); ------------ Viva64-EM full 443 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/io/procops.c error V522 There might be dereferencing of a potential null pointer 'si'. false 3 si = spawn_task ? (SpawnInfo *)spawn_task->body.data : NULL; if (!si || !si->stdin_handle || (r = uv_write(wi->req, si->stdin_handle, &(wi->buf), 1, on_write)) < 0) { /* Error; need to notify. */ ------------ Viva64-EM full 10 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs.c error V591 Non-void function should return a value. false 1 st->REPR->name, st->debug_name); } GCC_DIAG_ON(return-type) ------------ Viva64-EM full 26 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs.c error V591 Non-void function should return a value. false 1 die_no_attrs(tc, st->REPR->name, st->debug_name); } GCC_DIAG_ON(return-type) ------------ Viva64-EM full 38 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs.c error V591 Non-void function should return a value. false 1 "This representation (%s) cannot unbox to a native int (for type %s)", st->REPR->name, st->debug_name); } void MVM_REPR_DEFAULT_SET_NUM(MVMThreadContext *tc, MVMSTable *st, MVMObject *root, void *data, MVMnum64 value) { ------------ Viva64-EM full 46 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs.c error V591 Non-void function should return a value. false 1 "This representation (%s) cannot unbox to a native num (for type %s)", st->REPR->name, st->debug_name); } void MVM_REPR_DEFAULT_SET_STR(MVMThreadContext *tc, MVMSTable *st, MVMObject *root, void *data, MVMString *value) { ------------ Viva64-EM full 54 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs.c error V591 Non-void function should return a value. false 1 "This representation (%s) cannot unbox to a native string (for type %s)", st->REPR->name, st->debug_name); } void MVM_REPR_DEFAULT_SET_UINT(MVMThreadContext *tc, MVMSTable *st, MVMObject *root, void *data, MVMuint64 value) { ------------ Viva64-EM full 62 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs.c error V591 Non-void function should return a value. false 1 "This representation (%s) cannot unbox to an unsigned native int (for type %s)", st->REPR->name, st->debug_name); } void * MVM_REPR_DEFAULT_GET_BOXED_REF(MVMThreadContext *tc, MVMSTable *st, MVMObject *root, void *data, MVMuint32 repr_id) { ------------ Viva64-EM full 66 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs.c error V591 Non-void function should return a value. false 1 "This representation (%s) cannot unbox to other types (for type %s)", st->REPR->name, st->debug_name); } MVM_NO_RETURN static void die_no_pos(MVMThreadContext *tc, const char *repr_name, const char *debug_name) MVM_NO_RETURN_GCC; ------------ Viva64-EM full 108 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs.c error V591 Non-void function should return a value. false 1 die_no_pos(tc, st->REPR->name, st->debug_name); } GCC_DIAG_ON(return-type) ------------ Viva64-EM full 127 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs.c error V591 Non-void function should return a value. false 1 die_no_ass(tc, st->REPR->name, st->debug_name); } GCC_DIAG_ON(return-type) ------------ Viva64-EM full 135 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs.c error V591 Non-void function should return a value. false 1 die_no_ass(tc, st->REPR->name, st->debug_name); } GCC_DIAG_ON(return-type) ------------ Viva64-EM full 87 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs.c error V524 It is odd that the body of 'MVM_REPR_DEFAULT_UNSHIFT' function is fully equivalent to the body of 'MVM_REPR_DEFAULT_PUSH' function. false 3 } void MVM_REPR_DEFAULT_UNSHIFT(MVMThreadContext *tc, MVMSTable *st, MVMObject *root, void *data, MVMRegister value, MVMuint16 kind) { die_no_pos(tc, st->REPR->name, st->debug_name); 81,87 ------------ Viva64-EM full 90 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs.c error V524 It is odd that the body of 'MVM_REPR_DEFAULT_SHIFT' function is fully equivalent to the body of 'MVM_REPR_DEFAULT_POP' function. false 3 } void MVM_REPR_DEFAULT_SHIFT(MVMThreadContext *tc, MVMSTable *st, MVMObject *root, void *data, MVMRegister *value, MVMuint16 kind) { die_no_pos(tc, st->REPR->name, st->debug_name); 84,90 ------------ Viva64-EM full 513 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprconv.c error V591 Non-void function should return a value. false 2 } } ------------ Viva64-EM full 526 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprconv.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 401 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/containers.c error V614 Potentially uninitialized pointer 'kdata' used. false 1 HASH_FIND(hash_handle, tc->instance->container_registry, kdata, klen, entry); ------------ Viva64-EM full 401 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/containers.c error V614 Potentially uninitialized variable 'klen' used. false 2 HASH_FIND(hash_handle, tc->instance->container_registry, kdata, klen, entry); ------------ Viva64-EM full 424 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/containers.c error V614 Potentially uninitialized pointer 'kdata' used. false 1 HASH_FIND(hash_handle, tc->instance->container_registry, kdata, klen, entry); return entry != NULL ? entry->configurer : NULL; ------------ Viva64-EM full 424 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/containers.c error V614 Potentially uninitialized variable 'klen' used. false 2 HASH_FIND(hash_handle, tc->instance->container_registry, kdata, klen, entry); return entry != NULL ? entry->configurer : NULL; ------------ Viva64-EM full 63 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/P6opaque.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "P6opaque: must compose before allocating"); } ------------ Viva64-EM full 452 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/P6opaque.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 482 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/P6opaque.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 512 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/P6opaque.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 542 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/P6opaque.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 555 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/P6opaque.c error V591 Non-void function should return a value. false 1 "P6opaque: get_boxed_ref could not unbox for the representation '%d' of type %s", repr_id, st->debug_name); } ------------ Viva64-EM full 1100 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/P6opaque.c error V595 The 'repr_data' pointer was utilized before it was verified against nullptr. Check lines: 1100, 1103. false 1 MVMP6opaqueREPRData *repr_data = (MVMP6opaqueREPRData *)st->REPR_data; MVMuint16 num_attributes = repr_data->num_attributes; MVMuint16 i; 1100,1103 ------------ Viva64-EM full 1326 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/P6opaque.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 365 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/MVMStaticFrame.c error V522 There might be dereferencing of a potential null pointer 'c_ptr'. false 3 while (c_ptr = MVM_gc_worklist_get(tc, ss->gcwl)) { MVMCollectable *c = *c_ptr; MVM_profile_heap_add_collectable_rel_const_cstr(tc, ss, c, ------------ Viva64-EM full 364 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/MVMStaticFrame.c error V559 Suspicious assignment inside the condition expression of 'while' operator. false 2 MVM_spesh_graph_mark(tc, body->spesh_candidates[i].sg, ss->gcwl); while (c_ptr = MVM_gc_worklist_get(tc, ss->gcwl)) { MVMCollectable *c = *c_ptr; ------------ Viva64-EM full 24 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/Uninstantiable.c error V591 Non-void function should return a value. false 1 "You cannot create an instance of this type (%s)", st->debug_name); } ------------ Viva64-EM full 178 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/MVMCallCapture.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 135 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/P6bigint.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 143 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/P6bigint.c error V591 Non-void function should return a value. false 1 "P6bigint representation cannot unbox to other types"); } ------------ Viva64-EM full 301 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NFA.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 182 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/MVMMultiCache.c error V614 Potentially uninitialized pointer 'cs' used. false 1 num_obj_args = 0; for (i = 0, flag = 0; flag < cs->flag_count; i++, flag++) { if (cs->arg_flags[flag] & MVM_CALLSITE_ARG_NAMED) ------------ Viva64-EM full 383 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/MVMMultiCache.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 403 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/CArray.c error V591 Non-void function should return a value. false 1 "Don't know how many elements a C array returned from a library"); } ------------ Viva64-EM full 412 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/CArray.c error V525 The code containing the collection of similar blocks. Check items 'MVM_serialization_write_int', 'MVM_serialization_write_ref', 'MVM_serialization_write_int' in lines 412, 413, 414. false 3 MVMCArrayREPRData *repr_data = (MVMCArrayREPRData *)st->REPR_data; MVM_serialization_write_int(tc, writer, repr_data->elem_size); MVM_serialization_write_ref(tc, writer, repr_data->elem_type); 412,413,414 ------------ Viva64-EM full 599 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/CStruct.c error V591 Non-void function should return a value. false 1 die_no_attrs(tc); } ------------ Viva64-EM full 586 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/CUnion.c error V591 Non-void function should return a value. false 1 die_no_attrs(tc); } ------------ Viva64-EM full 23 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/MVMNull.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot create an instance of null type"); } ------------ Viva64-EM full 599 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/CPPStruct.c error V591 Non-void function should return a value. false 1 die_no_attrs(tc); } ------------ Viva64-EM full 246 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "No int lexical reference type registered for current HLL"); } MVMObject * MVM_nativeref_reg_n(MVMThreadContext *tc, MVMRegister *r) { ------------ Viva64-EM full 253 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "No num lexical reference type registered for current HLL"); } MVMObject * MVM_nativeref_reg_s(MVMThreadContext *tc, MVMRegister *r) { ------------ Viva64-EM full 260 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "No str lexical reference type registered for current HLL"); } ------------ Viva64-EM full 291 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "No int lexical reference type registered for current HLL"); } MVMObject * MVM_nativeref_lex_n(MVMThreadContext *tc, MVMuint16 outers, MVMuint16 idx) { ------------ Viva64-EM full 307 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "No num lexical reference type registered for current HLL"); } MVMObject * MVM_nativeref_lex_s(MVMThreadContext *tc, MVMuint16 outers, MVMuint16 idx) { ------------ Viva64-EM full 322 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "No str lexical reference type registered for current HLL"); } static MVMObject * lexref_by_name(MVMThreadContext *tc, MVMObject *type, MVMString *name, MVMuint16 kind) { ------------ Viva64-EM full 352 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 2 } } MVMObject * MVM_nativeref_lex_name_i(MVMThreadContext *tc, MVMString *name) { ------------ Viva64-EM full 362 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 2 MVM_exception_throw_adhoc(tc, "No int lexical reference type registered for current HLL"); } MVMObject * MVM_nativeref_lex_name_n(MVMThreadContext *tc, MVMString *name) { ------------ Viva64-EM full 372 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 2 MVM_exception_throw_adhoc(tc, "No num lexical reference type registered for current HLL"); } MVMObject * MVM_nativeref_lex_name_s(MVMThreadContext *tc, MVMString *name) { ------------ Viva64-EM full 382 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 2 MVM_exception_throw_adhoc(tc, "No str lexical reference type registered for current HLL"); } ------------ Viva64-EM full 404 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "No int attribute reference type registered for current HLL"); } MVMObject * MVM_nativeref_attr_n(MVMThreadContext *tc, MVMObject *obj, MVMObject *class_handle, MVMString *name) { ------------ Viva64-EM full 410 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "No num attribute reference type registered for current HLL"); } MVMObject * MVM_nativeref_attr_s(MVMThreadContext *tc, MVMObject *obj, MVMObject *class_handle, MVMString *name) { ------------ Viva64-EM full 416 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "No str attribute reference type registered for current HLL"); } ------------ Viva64-EM full 433 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "No int positional reference type registered for current HLL"); } MVMObject * MVM_nativeref_pos_n(MVMThreadContext *tc, MVMObject *obj, MVMint64 idx) { ------------ Viva64-EM full 439 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "No num positional reference type registered for current HLL"); } MVMObject * MVM_nativeref_pos_s(MVMThreadContext *tc, MVMObject *obj, MVMint64 idx) { ------------ Viva64-EM full 445 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "No str positional reference type registered for current HLL"); } ------------ Viva64-EM full 464 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "No int positional reference type registered for current HLL"); } MVMObject * MVM_nativeref_multidim_n(MVMThreadContext *tc, MVMObject *obj, MVMObject *indices) { ------------ Viva64-EM full 470 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "No num positional reference type registered for current HLL"); } MVMObject * MVM_nativeref_multidim_s(MVMThreadContext *tc, MVMObject *obj, MVMObject *indices) { ------------ Viva64-EM full 476 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/NativeRef.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "No str positional reference type registered for current HLL"); } ------------ Viva64-EM full 70 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/reprs/MultiDimArray.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 45 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/bootstrap.c error V580 An odd explicit type casting: (MVMCollectable * *) & name_arg. Consider verifying it. false 2 MVM_gc_root_temp_push(tc, (MVMCollectable **)&name_arg); ------------ Viva64-EM full 353 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/bootstrap.c error V580 An odd explicit type casting: (MVMCollectable * *) & name_arg. Consider verifying it. false 2 /* Anchor all the things. */ MVM_gc_root_temp_push(tc, (MVMCollectable **)&name_arg); MVM_gc_root_temp_push(tc, (MVMCollectable **)&type_arg); ------------ Viva64-EM full 354 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/bootstrap.c error V580 An odd explicit type casting: (MVMCollectable * *) & type_arg. Consider verifying it. false 2 MVM_gc_root_temp_push(tc, (MVMCollectable **)&name_arg); MVM_gc_root_temp_push(tc, (MVMCollectable **)&type_arg); ------------ Viva64-EM full 105 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/sc.c error V591 Non-void function should return a value. false 2 "Object does not exist in serialization context"); } ------------ Viva64-EM full 126 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/sc.c error V591 Non-void function should return a value. false 2 "STable does not exist in serialization context"); } ------------ Viva64-EM full 151 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/sc.c error V591 Non-void function should return a value. false 2 } } ------------ Viva64-EM full 191 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/sc.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 204 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/sc.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 255 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/sc.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 321 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/sc.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 409 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/sc.c error V522 There might be dereferencing of a potential null pointer 'MVM_sc_get_obj_sc(tc, obj)'. false 3 obj->st->WHAT == tc->instance->boot_types.BOOTHash) { MVMObject *owned_objects = MVM_sc_get_obj_sc(tc, obj)->body->owned_objects; MVMint64 n = MVM_repr_elems(tc, owned_objects); ------------ Viva64-EM full 382 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/serialization.c error V634 The priority of the '*' operation is higher than that of the '>>' operation. It's possible that parentheses should be used in the expression. false 3 MVMuint8 rest = storage_needed - 1; MVMint64 nybble = value >> 8 * rest; /* All the other high bits should be the same as the top bit of the ------------ Viva64-EM full 575 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/serialization.c error V591 Non-void function should return a value. false 2 } } ------------ Viva64-EM full 1483 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/serialization.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 1572 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/serialization.c error V634 The priority of the '*' operation is higher than that of the '<<' operation. It's possible that parentheses should be used in the expression. false 3 gets flushed away with the sign extension shifting later. */ result = (MVMint64)first << 8 * need; ------------ Viva64-EM full 1637 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/6model/serialization.c error V547 Expression 'len < 0' is always false. Unsigned type value is never < 0. false 1 *(reader->cur_read_offset) += len; } else if (len < 0) { fail_deserialize(tc, reader, "Cannot read a c string with negative length %d.", len); ------------ Viva64-EM full 321 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/mast/compiler.c error V591 Non-void function should return a value. false 2 } } ------------ Viva64-EM full 501 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/mast/compiler.c error V591 Non-void function should return a value. false 2 DIE(vm, "%s", error); } ------------ Viva64-EM full 1462 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/mast/compiler.c error V595 The 'string_heap' pointer was utilized before it was verified against nullptr. Check lines: 1462, 1464. false 1 write_int32(output, STRING_HEADER_OFFSET + 4, ELEMS(vm, ws->strings)); memcpy(output + pos, string_heap, string_heap_size); pos += MVM_ALIGN_SECTION(string_heap_size); 1462,1464 ------------ Viva64-EM full 522 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/spesh/graph.c error V522 There might be dereferencing of a potential null pointer. false 3 MVMSpeshIns *deopt_ins = post_ins->prev ? post_ins->prev : MVM_spesh_graph_linear_prev(tc, g, ins_to_bb[byte_to_ins_flags[existing_deopts[2 * i + 1]] >> 2])->last_ins; ------------ Viva64-EM full 992 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/spesh/graph.c error V591 Non-void function should return a value. false 2 MVM_oops(tc, "Spesh: which_pred failed to find x"); } static void rename_locals(MVMThreadContext *tc, MVMSpeshGraph *g, SSAVarInfo *var_info, MVMSpeshBB *x) { ------------ Viva64-EM full 268 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/spesh/manipulate.c error V591 Non-void function should return a value. false 2 ins->prev = NULL; } ------------ Viva64-EM full 384 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/spesh/optimize.c error V550 An odd precise comparison: flag_facts->value.n != 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) > Epsilon. false 3 case MVM_OP_unless_n: truthvalue = flag_facts->value.n != 0.0; break; ------------ Viva64-EM full 154 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/spesh/deopt.c error V591 Non-void function should return a value. false 2 MVM_string_utf8_encode_C_string(tc, tc->cur_frame->static_info->body.cuuid)); } ------------ Viva64-EM full 146 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/spesh/inline.c error V591 Non-void function should return a value. false 2 MVM_oops(tc, "Spesh inline: return_deopt_idx failed"); } ------------ Viva64-EM full 16 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/spesh/osr.c error V591 Non-void function should return a value. false 2 MVM_oops(tc, "Spesh: get_osr_deopt_index failed"); } ------------ Viva64-EM full 31 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/spesh/osr.c error V591 Non-void function should return a value. false 2 MVM_oops(tc, "Spesh: get_osr_deopt_finalize_index failed"); } ------------ Viva64-EM full 1328 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/jit/graph.c error V583 The '?:' operator, regardless of its conditional expression, always returns one and the same value: MVM_JIT_RV_PTR. false 1 op == MVM_OP_getattr_n ? MVM_JIT_RV_NUM : op == MVM_OP_getattr_s ? MVM_JIT_RV_PTR : /* MVM_OP_getattr_o ? */ MVM_JIT_RV_PTR; ------------ Viva64-EM full 1349 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/jit/graph.c error V583 The '?:' operator, regardless of its conditional expression, always returns one and the same value: MVM_JIT_RV_PTR. false 1 op == MVM_OP_getattrs_n ? MVM_JIT_RV_NUM : op == MVM_OP_getattrs_s ? MVM_JIT_RV_PTR : /* MVM_OP_getattrs_o ? */ MVM_JIT_RV_PTR; ------------ Viva64-EM full 1179 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/jit/graph.c error V729 Function body contains the 'skipdevirt' label that is not used by any 'goto' statements. false 3 skipdevirt: ------------ Viva64-EM full 482 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/strings/utf8_c8.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "UTF-8 C-8 encoding encountered corrupt synthetic"); } char * MVM_string_utf8_c8_encode_substr(MVMThreadContext *tc, ------------ Viva64-EM full 515 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/strings/utf8_c8.c error V614 Potentially uninitialized variable 'repl_length' used. Consider checking the seventh actual argument of the 'emit_cp' function. false 2 if (g >= 0) { emit_cp(tc, g, &result, &result_pos, &result_limit, repl_bytes, repl_length); } ------------ Viva64-EM full 53 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/strings/nfg.c error V595 The 'current' pointer was utilized before it was verified against nullptr. Check lines: 53, 79. false 1 MVMNFGTrieNode *new_child = twiddle_trie_node(tc, idx >= 0 ? current->next_codes[idx].node : NULL, cur_code + 1, codes_remaining - 1, synthetic); 53,79 ------------ Viva64-EM full 1292 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/strings/ops.c error V525 The code containing the collection of similar blocks. Check items ''\\'', ''r'', ''\\'', ''n'' in lines 1292, 1293, 1294, 1295. false 3 } buffer[bpos++] = '\\'; buffer[bpos++] = 'r'; 1292,1293,1294,1295 ------------ Viva64-EM full 1760 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/strings/ops.c error V591 Non-void function should return a value. false 1 } } ------------ Viva64-EM full 118 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/math/bigintops.c error V591 Non-void function should return a value. false 1 "Can only perform big integer operations on concrete objects"); } ------------ Viva64-EM full 1051 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/math/bigintops.c error V602 Consider inspecting the '= b->used > 1' expression. '>' possibly should be replaced with '>>'. false 3 mp_int *b = ba->u.bigint; MVMint64 is_big = b->used > 1; /* XXX somebody please check that on a 32 bit platform */ ------------ Viva64-EM full 516 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/instrument.c error V595 The 'tc->prof_data' pointer was utilized before it was verified against nullptr. Check lines: 516, 525. false 1 /* If we have any call frames still on the profile stack, exit them. */ while (tc->prof_data->current_call) MVM_profile_log_exit(tc); 516,525 ------------ Viva64-EM full 33 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/profile.c error V591 Non-void function should return a value. false 1 MVM_exception_throw_adhoc(tc, "Cannot end profiling if not profiling"); } ------------ Viva64-EM full 281 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V522 There might be dereferencing of a potential null pointer 'c_ptr'. false 3 while (c_ptr = MVM_gc_worklist_get(tc, ss->gcwl)) { MVMCollectable *c = *c_ptr; if (c) ------------ Viva64-EM full 280 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V559 Suspicious assignment inside the condition expression of 'while' operator. false 2 : 0; while (c_ptr = MVM_gc_worklist_get(tc, ss->gcwl)) { MVMCollectable *c = *c_ptr; ------------ Viva64-EM full 662 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V576 Incorrect format. Consider checking the fourth actual argument of the 'snprintf' function. The memsize type argument is expected. false 1 char tmp[256]; size_t item_chars = snprintf(tmp, 256, "%"PRIu64",%"PRIu64";", ------------ Viva64-EM full 662 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V576 Incorrect format. Consider checking the fifth actual argument of the 'snprintf' function. The memsize type argument is expected. false 1 char tmp[256]; size_t item_chars = snprintf(tmp, 256, "%"PRIu64",%"PRIu64";", ------------ Viva64-EM full 666 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V547 Expression 'item_chars < 0' is always false. Unsigned type value is never < 0. false 1 col->types[i].type_name); if (item_chars < 0) MVM_panic(1, "Failed to save type in heap snapshot"); ------------ Viva64-EM full 696 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V576 Incorrect format. Consider checking the fourth actual argument of the 'snprintf' function. The memsize type argument is expected. false 1 char tmp[256]; size_t item_chars = snprintf(tmp, 256, "%"PRId64",%"PRId64",%"PRId64",%"PRId64";", ------------ Viva64-EM full 696 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V576 Incorrect format. Consider checking the fifth actual argument of the 'snprintf' function. The memsize type argument is expected. false 1 char tmp[256]; size_t item_chars = snprintf(tmp, 256, "%"PRId64",%"PRId64",%"PRId64",%"PRId64";", ------------ Viva64-EM full 696 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V576 Incorrect format. Consider checking the sixth actual argument of the 'snprintf' function. The memsize type argument is expected. false 1 char tmp[256]; size_t item_chars = snprintf(tmp, 256, "%"PRId64",%"PRId64",%"PRId64",%"PRId64";", ------------ Viva64-EM full 696 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V576 Incorrect format. Consider checking the seventh actual argument of the 'snprintf' function. The memsize type argument is expected. false 1 char tmp[256]; size_t item_chars = snprintf(tmp, 256, "%"PRId64",%"PRId64",%"PRId64",%"PRId64";", ------------ Viva64-EM full 702 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V547 Expression 'item_chars < 0' is always false. Unsigned type value is never < 0. false 1 col->static_frames[i].file); if (item_chars < 0) MVM_panic(1, "Failed to save static frame in heap snapshot"); ------------ Viva64-EM full 732 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V576 Incorrect format. Consider checking the fifth actual argument of the 'snprintf' function. The SIGNED integer type argument is expected. false 3 char tmp[256]; size_t item_chars = snprintf(tmp, 256, "%"PRIu16",%"PRId32",%"PRIu16",%"PRIu64",%"PRIu64",%"PRIu32";", ------------ Viva64-EM full 732 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V576 Incorrect format. Consider checking the seventh actual argument of the 'snprintf' function. The memsize type argument is expected. false 1 char tmp[256]; size_t item_chars = snprintf(tmp, 256, "%"PRIu16",%"PRId32",%"PRIu16",%"PRIu64",%"PRIu64",%"PRIu32";", ------------ Viva64-EM full 732 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V576 Incorrect format. Consider checking the eighth actual argument of the 'snprintf' function. The memsize type argument is expected. false 1 char tmp[256]; size_t item_chars = snprintf(tmp, 256, "%"PRIu16",%"PRId32",%"PRIu16",%"PRIu64",%"PRIu64",%"PRIu32";", ------------ Viva64-EM full 740 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V547 Expression 'item_chars < 0' is always false. Unsigned type value is never < 0. false 1 s->collectables[i].num_refs); if (item_chars < 0) MVM_panic(1, "Failed to save collectable in heap snapshot"); ------------ Viva64-EM full 770 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V576 Incorrect format. Consider checking the fourth actual argument of the 'snprintf' function. The memsize type argument is expected. false 1 char tmp[128]; size_t item_chars = snprintf(tmp, 128, "%lu,%lu,%lu;", s->references[i].description & ((1 << MVM_SNAPSHOT_REF_KIND_BITS) - 1), ------------ Viva64-EM full 770 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V576 Incorrect format. Consider checking the fifth actual argument of the 'snprintf' function. The memsize type argument is expected. false 1 char tmp[128]; size_t item_chars = snprintf(tmp, 128, "%lu,%lu,%lu;", s->references[i].description & ((1 << MVM_SNAPSHOT_REF_KIND_BITS) - 1), ------------ Viva64-EM full 770 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V576 Incorrect format. Consider checking the sixth actual argument of the 'snprintf' function. The memsize type argument is expected. false 1 char tmp[128]; size_t item_chars = snprintf(tmp, 128, "%lu,%lu,%lu;", s->references[i].description & ((1 << MVM_SNAPSHOT_REF_KIND_BITS) - 1), ------------ Viva64-EM full 774 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/profiler/heapsnapshot.c error V547 Expression 'item_chars < 0' is always false. Unsigned type value is never < 0. false 1 s->references[i].collectable_index); if (item_chars < 0) MVM_panic(1, "Failed to save reference in heap snapshot"); ------------ Viva64-EM full 36 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/instrument/crossthreadwrite.c error V525 The code containing the collection of similar blocks. Check items '0', '0', '1', '1', '0' in lines 36, 42, 48, 54, 60. false 3 case MVM_OP_bindpos_o: prepend_ctw_check(tc, g, bb, ins, ins->operands[0], MVM_CTW_BIND_POS); break; 36,42,48,54,60 ------------ Viva64-EM full 193 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/instrument/crossthreadwrite.c error V576 Incorrect format. Consider checking the third actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 uv_mutex_lock(&(tc->instance->mutex_cross_thread_write_logging)); fprintf(stderr, "Thread %d %s an object allocated by thread %d\n", tc->thread_id, guilty_desc, written->header.owner); ------------ Viva64-EM full 193 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/instrument/crossthreadwrite.c error V576 Incorrect format. Consider checking the fifth actual argument of the 'fprintf' function. The SIGNED integer type argument is expected. false 3 uv_mutex_lock(&(tc->instance->mutex_cross_thread_write_logging)); fprintf(stderr, "Thread %d %s an object allocated by thread %d\n", tc->thread_id, guilty_desc, written->header.owner); ------------ Viva64-EM full 32 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/platform/posix/time.c error V549 The first argument of 'nanosleep' function is equal to the second argument. false 1 timeout.tv_nsec = (long)((second - timeout.tv_sec) * E9F); while (nanosleep(&timeout, &timeout) && errno == EINTR); } ------------ Viva64-EM full 40 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/platform/posix/time.c error V549 The first argument of 'nanosleep' function is equal to the second argument. false 1 timeout.tv_nsec = nanos % E9; while (nanosleep(&timeout, &timeout) && errno == EINTR); } ------------ Viva64-EM full 90 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/dynasm/dasm_x86.h error V701 realloc() possible leak: when realloc() fails in allocating memory, original pointer '* Dst' is lost. Consider assigning realloc() to a temporary pointer. false 2 Dst_REF = NULL; DASM_M_GROW(Dst, struct dasm_State, Dst_REF, psz, DASM_PSZ(maxsection)); D = Dst_REF; ------------ Viva64-EM full 125 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/dynasm/dasm_x86.h error V701 realloc() possible leak: when realloc() fails in allocating memory, original pointer 'D->lglabels' is lost. Consider assigning realloc() to a temporary pointer. false 2 D->globals = gl - 10; /* Negative bias to compensate for locals. */ DASM_M_GROW(Dst, int, D->lglabels, D->lgsize, (10+maxgl)*sizeof(int)); } ------------ Viva64-EM full 133 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/dynasm/dasm_x86.h error V701 realloc() possible leak: when realloc() fails in allocating memory, original pointer 'D->pclabels' is lost. Consider assigning realloc() to a temporary pointer. false 2 size_t osz = D->pcsize; DASM_M_GROW(Dst, int, D->pclabels, D->pcsize, maxpc*sizeof(int)); memset((void *)(((unsigned char *)D->pclabels)+osz), 0, D->pcsize-osz); ------------ Viva64-EM full 177 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/dynasm/dasm_x86.h error V701 realloc() possible leak: when realloc() fails in allocating memory, original pointer 'sec->buf' is lost. Consider assigning realloc() to a temporary pointer. false 2 if (pos >= sec->epos) { DASM_M_GROW(Dst, int, sec->buf, sec->bsize, sec->bsize + 2*DASM_MAXSECPOS*sizeof(int)); ------------ Viva64-EM full 542 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/jit/emit_x64.dasc error V573 Uninitialized variable 'body' was used. The variable was used to initialize itself. false 1 MVMint16 offset = ins->operands[2].lit_i16; MVMint16 body = offsetof(MVMP6opaque, body); /* load address and object */ ------------ Viva64-EM full 1103 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/jit/emit_x64.dasc error V525 The code containing the collection of similar blocks. Check items '1235', '1247', '1235', '1255' in lines 1103, 1106, 1109, 1112. false 3 | sete al; break; case MVM_OP_ge_s: 1103,1106,1109,1112 ------------ Viva64-EM full 1774 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/jit/emit_x64.dasc error V525 The code containing the collection of similar blocks. Check items '2789', '2789', '2794' in lines 1774, 1777, 1780. false 3 | mov TMP6, qword WORK[arg.v.reg]; break; case MVM_JIT_REG_VAL_F: 1774,1777,1780 ------------ Viva64-EM full 1925 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/jit/emit_x64.dasc error V595 The 'on_stack' pointer was utilized before it was verified against nullptr. Check lines: 1925, 1944. false 1 } else { on_stack[num_stack++] = args[i]; } 1925,1944 ------------ Viva64-EM full 1 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/src/jit/emit_posix_x64.c error V002 Some diagnostic messages may contain incorrect line number in this file. false 0 ------------ Viva64-EM full 220 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/sha1/sha1.c error V597 The compiler could delete the 'memset' function call, which is used to flush 'finalcount' buffer. The memset_s() function should be used to erase the private data. false 1 memset(context->count, 0, 8); memset(finalcount, 0, 8); /* SWR */ } ------------ Viva64-EM full 132 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/libtommath/bn_mp_prime_next_prime.c error V658 A value is being subtracted from the unsigned variable. This can result in an overflow. In such a case, the '<' comparison operation can potentially behave unexpectedly. Consider inspecting the 'step < ((((mp_digit) 1) << 60) - kstep)' expression. false 3 } } while (y == 1 && step < ((((mp_digit)1)<=' comparison operation can potentially behave unexpectedly. Consider inspecting the 'step >= ((((mp_digit) 1) << 60) - kstep)' expression. false 3 /* if didn't pass sieve and step == MAX then skip test */ if (y == 1 && step >= ((((mp_digit)1)<timer_handle.flags |= UV__HANDLE_INTERNAL; uv__handle_unref(&ctx->timer_handle); ------------ Viva64-EM full 401 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/libuv/src/uv-common.c error V616 The 'UV__HANDLE_CLOSING' named constant with the value of 0 is used in the bitwise operation. false 1 void uv_ref(uv_handle_t* handle) { uv__handle_ref(handle); } ------------ Viva64-EM full 406 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/libuv/src/uv-common.c error V616 The 'UV__HANDLE_CLOSING' named constant with the value of 0 is used in the bitwise operation. false 1 void uv_unref(uv_handle_t* handle) { uv__handle_unref(handle); } ------------ Viva64-EM full 137 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/libuv/src/unix/async.c error V512 A call of the 'memcpy' function will lead to underflow of the buffer 'buf'. false 3 assert(n == sizeof(val)); memcpy(&val, buf, sizeof(val)); /* Avoid alignment issues. */ wa->cb(loop, wa, val); ------------ Viva64-EM full 265 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/libuv/src/unix/core.c error V616 The 'UV__HANDLE_CLOSING' named constant with the value of 0 is used in the bitwise operation. false 1 uv__handle_unref(handle); QUEUE_REMOVE(&handle->handle_queue); ------------ Viva64-EM full 70 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/libuv/src/unix/loop.c error V616 The 'UV__HANDLE_CLOSING' named constant with the value of 0 is used in the bitwise operation. false 1 uv__handle_unref(&loop->child_watcher); loop->child_watcher.flags |= UV__HANDLE_INTERNAL; ------------ Viva64-EM full 86 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/libuv/src/unix/loop.c error V616 The 'UV__HANDLE_CLOSING' named constant with the value of 0 is used in the bitwise operation. false 1 uv__handle_unref(&loop->wq_async); loop->wq_async.flags |= UV__HANDLE_INTERNAL; ------------ Viva64-EM full 287 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/libuv/src/unix/process.c error V530 The return value of function 'setsid' is required to be utilized. false 1 if (options->flags & UV_PROCESS_DETACHED) setsid(); ------------ Viva64-EM full 362 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/libuv/src/unix/process.c error V575 The 'setgroups' function processes '0' elements. Inspect the first argument. false 1 */ SAVE_ERRNO(setgroups(0, NULL)); } ------------ Viva64-EM full 362 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/libuv/src/unix/process.c error V575 The null pointer is passed into 'setgroups' function. Inspect the second argument. false 1 */ SAVE_ERRNO(setgroups(0, NULL)); } ------------ Viva64-EM full 798 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/libuv/src/unix/stream.c error V522 There might be dereferencing of a potential null pointer 'cmsg'. false 3 cmsg = CMSG_FIRSTHDR(&msg); cmsg->cmsg_level = SOL_SOCKET; cmsg->cmsg_type = SCM_RIGHTS; ------------ Viva64-EM full 799 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/libuv/src/unix/stream.c error V522 There might be dereferencing of a potential null pointer 'cmsg'. false 3 cmsg->cmsg_level = SOL_SOCKET; cmsg->cmsg_type = SCM_RIGHTS; cmsg->cmsg_len = CMSG_LEN(sizeof(fd_to_send)); ------------ Viva64-EM full 800 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/libuv/src/unix/stream.c error V522 There might be dereferencing of a potential null pointer 'cmsg'. false 3 cmsg->cmsg_type = SCM_RIGHTS; cmsg->cmsg_len = CMSG_LEN(sizeof(fd_to_send)); ------------ Viva64-EM full 804 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/libuv/src/unix/stream.c error V522 There might be dereferencing of a potential null pointer 'cmsg'. false 3 { void* pv = CMSG_DATA(cmsg); int* pi = pv; ------------ Viva64-EM full 201 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/libuv/src/unix/thread.c error V524 It is odd that the body of 'uv_rwlock_wrunlock' function is fully equivalent to the body of 'uv_rwlock_rdunlock' function. false 3 void uv_rwlock_wrunlock(uv_rwlock_t* rwlock) { if (pthread_rwlock_unlock(rwlock)) 175,201 ------------ Viva64-EM full 41 /nfs/home/dmka/src/rakudo-star-2016.07/MoarVM/3rdparty/libuv/src/unix/spinlock.h error V524 It is odd that the body of 'uv_spinlock_unlock' function is fully equivalent to the body of 'uv_spinlock_init' function. false 3 UV_UNUSED(static void uv_spinlock_unlock(uv_spinlock_t* spinlock)) { ACCESS_ONCE(int, spinlock->lock) = 0; 33,41 ------------