Replicated IF in C:
continue; break;

c: 01 static BOOL F_IsEqualTo_1479(tSF_P_M_GL100_m_gl100 *PP, ??..
   02 {
   03   BOOL _Result;
   04   tSF_F_IsEqualTo_1479 SF;
   05   tSF_F_IsEqualTo_1479 *FP = &SF;
   06   FP->Chain = PP;
   07   {
   08     BOOL isEqualTo_1476;
   09     {
   09x      //lint -esym(644,isEqualTo_1479) (o:05x)
   10       {
   11         INT i_1477;
   12         INT i_1477_End;
   13         i_1477 = 0;i_1477_End = i_1477 + (A_1474_Dim0);
   14         for (; i_1477 != i_1477_End; i_1477++)
   15         {
   16           if ((*((INT*)(((BYTE*)A_1474)+(RNGCHK(??)??..
   17           {
   18             isEqualTo_1476 = false; 
   19           }
   20           else
   21           {
   22             continue;
   23           }
   24           break;
   25         }
   26         if (i_1477 == i_1477_End) 
   27         if (true)
   28         {
   29           isEqualTo_1476 = true; 
   30         }
   31         else
   32         {
   33           SETERR(MSG_IF);
   34         } 
   34x        else {/*lint -unreachable */} // Our  
   35       }
   36     }
   37     _Result = isEqualTo_1476;
   38   }
   39   return _Result;
   40 }

• Error in PC-lint?
• "When the checking for unutilised variables is first applied in a large mature project, there will be a small number of false hits" ([7] p.150).
• Warning 644 contains a "may" that is somewhat vague in this context and difficult to relate to.
• Warning 529:  "FP not subsequently referenced"

Changing semantics of SETERR

c: #define SETERR(M)\
     /*lint -save -function(exit,seterr_)*/ \
     seterr_ (M) \
     /*lint -restore*/