Hi,
Please find the latest report on new defect(s) introduced to Pike-master found with Coverity Scan.
1 new defect(s) introduced to Pike-master found with Coverity Scan.
New defect(s) Reported-by: Coverity Scan
Showing 1 of 1 defect(s)
** CID 1441424: Control flow issues (UNEXPECTED_CONTROL_FLOW)
/home/covbuilder/pike/Pike-v8.1-snapshot/src/program.c: 5187 in lower_inherit()
________________________________________________________________________________________________________
*** CID 1441424: Control flow issues (UNEXPECTED_CONTROL_FLOW)
/home/covbuilder/pike/Pike-v8.1-snapshot/src/program.c: 5187 in lower_inherit()
5181
5182 /* Restore annotations (if any) to and from the inherited program. */
5183 do {
5184 struct inherit *src_inh = p->inherits;
5185 struct inherit *dst_inh =
5186 Pike_compiler->new_program->inherits + inherit_offset;
>>> CID 1441424: Control flow issues (UNEXPECTED_CONTROL_FLOW)
>>> A continue statement within a do-while loop only continues execution of the loop body if the loop continuation condition is still true. Since the condition will never be true in a "do ... while (false);" loop the continue statement has the same effect as a break statement. Did you intend execution to continue at the top of the loop?
5187 if (!src_inh->annotations) continue;
5188
5189 dst_inh->annotations = copy_array(src_inh->annotations);
5190 } while(0);
5191
5192 if (Pike_compiler->compiler_pass == COMPILER_PASS_EXTRA) {
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…
Hi,
Please find the latest report on new defect(s) introduced to Pike-master found with Coverity Scan.
2 new defect(s) introduced to Pike-master found with Coverity Scan.
New defect(s) Reported-by: Coverity Scan
Showing 2 of 2 defect(s)
** CID 1426990: Uninitialized variables (MISSING_RETURN)
/home/covbuilder/pike/Pike-v8.1-snapshot/src/post_modules/GL/GLSL.cmod: 812 in init_pike_GLSL()
________________________________________________________________________________________________________
*** CID 1426990: Uninitialized variables (MISSING_RETURN)
/home/covbuilder/pike/Pike-v8.1-snapshot/src/post_modules/GL/GLSL.cmod: 812 in init_pike_GLSL()
806 init_pike_GLSL(void)
807 {
808 INIT;
809 #ifndef HAVE_GLSL
810 HIDE_MODULE();
811 #endif /* HAVE_GLSL */
>>> CID 1426990: Uninitialized variables (MISSING_RETURN)
>>> Arriving at the end of a function without returning a value.
812 }
813
814 exit_pike_GLSL(void)
815 {
816 EXIT;
** CID 1426989: Uninitialized variables (MISSING_RETURN)
/home/covbuilder/pike/Pike-v8.1-snapshot/src/post_modules/GL/GLSL.cmod: 817 in exit_pike_GLSL()
________________________________________________________________________________________________________
*** CID 1426989: Uninitialized variables (MISSING_RETURN)
/home/covbuilder/pike/Pike-v8.1-snapshot/src/post_modules/GL/GLSL.cmod: 817 in exit_pike_GLSL()
811 #endif /* HAVE_GLSL */
812 }
813
814 exit_pike_GLSL(void)
815 {
816 EXIT;
>>> CID 1426989: Uninitialized variables (MISSING_RETURN)
>>> Arriving at the end of a function without returning a value.
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…
To manage Coverity Scan email notifications for "pike-automation(a)lists.lysator.liu.se", click https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…
Hi,
Please find the latest report on new defect(s) introduced to Pike-master found with Coverity Scan.
1 new defect(s) introduced to Pike-master found with Coverity Scan.
New defect(s) Reported-by: Coverity Scan
Showing 1 of 1 defect(s)
** CID 1423308: Control flow issues (DEADCODE)
/home/covbuilder/pike/Pike-v8.1-snapshot/src/las.c: 1632 in resolv_type()
________________________________________________________________________________________________________
*** CID 1423308: Control flow issues (DEADCODE)
/home/covbuilder/pike/Pike-v8.1-snapshot/src/las.c: 1632 in resolv_type()
1626 }
1627 }
1628
1629 switch(TYPEOF(Pike_sp[-1])) {
1630 case T_FUNCTION:
1631 if((p = program_from_function(Pike_sp-1))) {
>>> CID 1423308: Control flow issues (DEADCODE)
>>> Execution cannot reach the expression "0" inside this statement: "debug_push_object_type(0, (...".
1632 push_object_type(0, p?(p->id):0);
1633 break;
1634 } else {
1635 /* Attempt to get the return type for the function. */
1636 struct pike_type *a, *b;
1637 a = get_type_of_svalue(Pike_sp-1);
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…
To manage Coverity Scan email notifications for "pike-automation(a)lists.lysator.liu.se", click https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…
Hi,
Please find the latest report on new defect(s) introduced to Pike-master found with Coverity Scan.
1 new defect(s) introduced to Pike-master found with Coverity Scan.
New defect(s) Reported-by: Coverity Scan
Showing 1 of 1 defect(s)
** CID 1419034: Uninitialized variables (UNINIT)
/home/covbuilder/pike/Pike-v8.1-snapshot/src/code/amd64.c: 2809 in ins_f_byte()
________________________________________________________________________________________________________
*** CID 1419034: Uninitialized variables (UNINIT)
/home/covbuilder/pike/Pike-v8.1-snapshot/src/code/amd64.c: 2809 in ins_f_byte()
2803 #endif /* MACHINE_CODE_STACK_FRAMES */
2804 }
2805
2806 amd64_call_c_opcode(addr,flags);
2807
2808 if (instrs[b].flags & I_RETURN) {
>>> CID 1419034: Uninitialized variables (UNINIT)
>>> Declaring variable "label_C" without initializer.
2809 LABELS();
2810
2811 if ((b + F_OFFSET) == F_RETURN_IF_TRUE) {
2812 /* Kludge. We must check if the ret addr is
2813 * PC + JUMP_EPILOGUE_SIZE. */
2814 mov_rip_imm_reg(JUMP_EPILOGUE_SIZE, P_REG_RCX);
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…
To manage Coverity Scan email notifications for "pike-automation(a)lists.lysator.liu.se", click https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…
Hi,
Please find the latest report on new defect(s) introduced to Pike-stable found with Coverity Scan.
1 new defect(s) introduced to Pike-stable found with Coverity Scan.
New defect(s) Reported-by: Coverity Scan
Showing 1 of 1 defect(s)
** CID 1414703: Memory - corruptions (ARRAY_VS_SINGLETON)
/home/covbuilder/pike/Pike-v8.0-snapshot/src/post_modules/SQLite/sqlite.cmod: 135 in bind_arguments()
________________________________________________________________________________________________________
*** CID 1414703: Memory - corruptions (ARRAY_VS_SINGLETON)
/home/covbuilder/pike/Pike-v8.0-snapshot/src/post_modules/SQLite/sqlite.cmod: 135 in bind_arguments()
129
130 case T_MULTISET:
131 if(multiset_sizeof(k->val.u.multiset) == 1) {
132 struct pike_string *s;
133 {
134 struct svalue tmp;
>>> CID 1414703: Memory - corruptions (ARRAY_VS_SINGLETON)
>>> Using "&k->val.u.multiset->msd->nodes->i" as an array. This might corrupt or misinterpret adjacent memory locations.
135 if (TYPEOF(*use_multiset_index (k->val.u.multiset,
136 multiset_first (k->val.u.multiset),
137 tmp)) == T_STRING)
138 s = tmp.u.string;
139 else
140 s = NULL;
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…
To manage Coverity Scan email notifications for "pike-automation(a)lists.lysator.liu.se", click https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…
Hi,
Please find the latest report on new defect(s) introduced to Pike-master found with Coverity Scan.
1 new defect(s) introduced to Pike-master found with Coverity Scan.
New defect(s) Reported-by: Coverity Scan
Showing 1 of 1 defect(s)
** CID 1414685: Memory - illegal accesses (NEGATIVE_RETURNS)
/home/covbuilder/pike/Pike-v8.1-snapshot/src/post_modules/SQLite/sqlite.cmod: 131 in bind_arguments()
________________________________________________________________________________________________________
*** CID 1414685: Memory - illegal accesses (NEGATIVE_RETURNS)
/home/covbuilder/pike/Pike-v8.1-snapshot/src/post_modules/SQLite/sqlite.cmod: 131 in bind_arguments()
125 break;
126 case T_MULTISET:
127 if(multiset_sizeof(k->val.u.multiset) == 1) {
128 struct pike_string *s;
129 {
130 struct svalue tmp;
>>> CID 1414685: Memory - illegal accesses (NEGATIVE_RETURNS)
>>> Using variable "multiset_first(k->val.u.multiset)" as an index to array "k->val.u.multiset->msd->nodes".
131 if (TYPEOF(*use_multiset_index (k->val.u.multiset,
132 multiset_first (k->val.u.multiset),
133 tmp)) == T_STRING)
134 s = tmp.u.string;
135 else
136 s = NULL;
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…
To manage Coverity Scan email notifications for "pike-automation(a)lists.lysator.liu.se", click https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…