Menu

#1259 Plugin: Unreachable code

Undefined
fixed
nobody
None
Bug_Report
2022-05-06
2022-04-19
No

/src/plugins/contrib/help_plugin/man2html.cpp line 3407
Code:
case REQ_ec: // groff(7) "reset Escape Character"
{
c=c+j;
if (c!='\n')
escapesym=
c;
else
escapesym='\';
break;
c=skip_till_newline(c); // <-- unreachable
}
case REQ_eo: // groff(7) "turn Escape character Off"
{
escapesym='\0';
c=skip_till_newline(c);
break;
}
case REQ_ex: // groff(7) "EXit"
{
return 0;
break; // <-- unreachable
}

Discussion

  • Miguel Gimenez

    Miguel Gimenez - 2022-05-06
    • status: open --> fixed
     
  • Miguel Gimenez

    Miguel Gimenez - 2022-05-06

    Fixed in [r12804].

     

    Related

    Commit: [r12804]


Log in to post a comment.

MongoDB Logo MongoDB