Examples of errors detected by the V712 diagnostic.

V712. Be advised that compiler may delete this cycle or make it infinity. Use volatile variable(s) or synchronization primitives to avoid this.


G3D Content Pak

V712 Be advised that compiler may delete this cycle or make it endless. Use volatile variable(s) or synchronization primitives to avoid this. - ADDITIONAL IN CURRENT table.h 622


bool containsKey(const Key& key) const {
  unsigned int code = ::hashCode(key);
  unsigned int b = code % numBuckets;

  Node* node = bucket[b];

  while (node != NULL) {
    if ((node->hashCode == code) &&
        (node->entry.key == key)) {
      return true;
    }
    node = node->next;
  } while (node != NULL);

  return false;
}

The diagnostic have indirectly detected an error of another kind. Actually, the loop is empty. The closing parenthesis corresponds to another 'while' operator.


IPP Samples

V712 Be advised that compiler may delete this cycle or make it endless. Use volatile variable(s) or synchronization primitives to avoid this. - ADDITIONAL IN CURRENT vm_file_win.c 857


Ipp32s vm_file_fscanf(vm_file *fd, vm_char *format, ...) {
  BOOL     eol = FALSE;
  ....
  if ( (ws != NULL) &&
       ((bpt = fpt =
           (vm_char *)malloc(STRBYTES(format)+16)) != NULL)) {
    vm_string_strcpy(fpt,format);
    va_start( args, format );
    ....
    va_end( args );
    eol = TRUE;
    free(bpt);
  } while (!eol);
  ....
}

The diagnostic have indirectly detected an error of another kind. Actually, the loop is empty. The closing parenthesis corresponds to 'if' operator.


GINV

V712 Be advised that compiler may delete this cycle or make it infinity. Use volatile variable(s) or synchronization primitives to avoid this. idivision.cpp 371


int IDivision::nfAbsRem(ICoeff &multiplier, IPoly &poly) const {
  ....
  IWrap* wrap = NULL;
  IPoly::Iterator &i(*poly.begin());
  while (i) {
    wrap = find(i.monom());
    if (wrap) {
      if (coeffInterface()->type() == ICoeffInterface::GmpZZ) {
        quot->quotAbsRem(i.coeff(), wrap->poly().lc(), *rem);
        if (!quot->isZero()) break;
      }
      wrap = NULL;
    }
    ++i;
  }
  while(wrap == NULL);   // <=
  ....
}

The diagnostic have indirectly detected an error of another kind. Actually, the loop is empty. The closing parenthesis corresponds to previous while operator.


eMule Plus

V712 Be advised that compiler may delete this cycle or make it infinity. Use volatile variable(s) or synchronization primitives to avoid this. - ADDITIONAL IN CURRENT securedvars.h 26


class CRWLockLite
{
  ....
  LONG m_nReaders;
public:
  ....
  void WriteLock() { m_csLock.Enter();
                     while (m_nReaders) Sleep(0); }
};

FreeSWITCH

V712 Be advised that compiler may delete this cycle or make it infinity. Use volatile variable(s) or synchronization primitives to avoid this. - ADDITIONAL IN CURRENT play_win32.c 356


char *busy;
DWORD dwFlags;

int32
ad_stop_play(ad_play_t * p)
{
  ....
  while (p->busy[i] && (!(whdr->dwFlags & WHDR_DONE)))
    Sleep(100);
  ....
}

FreeSWITCH

V712 Be advised that compiler may delete this cycle or make it infinity. Use volatile variable(s) or synchronization primitives to avoid this. - ADDITIONAL IN CURRENT speed.c 330


static unsigned int lapse, schlock;

static double Time_F(int s)
{
  ....
  while (!schlock) Sleep(0);  /* scheduler spinlock  */
  }
  ....
}

Shareaza

V712 Be advised that compiler may delete this cycle or make it infinity. Use volatile variable(s) or synchronization primitives to avoid this. - ADDITIONAL IN CURRENT sqlite3.c 17794


static int winMutex_isInit = 0;

static int winMutexInit(void){
  ....
  while( !winMutex_isInit ){
    Sleep(1);
  }
  ....
}

FCEUX

V712 Be advised that compiler may delete this cycle or make it infinity. Use volatile variable(s) or synchronization primitives to avoid this. - ADDITIONAL IN CURRENT outputds.cpp 162


class ThreadData {
public:
  ThreadData() { kill = dead = false; }
  OAKRA_Module_OutputDS *ds;
  bool kill,dead;
};

OAKRA_Module_OutputDS::~OAKRA_Module_OutputDS() {
  //ask the driver to shutdown, and wait for it to do so
  ((ThreadData *)threadData)->kill = true;
  while(!((ThreadData *)threadData)->dead) Sleep(1);
  ....
}

MPC-HC

V712 Be advised that compiler may delete this cycle or make it infinity. Use volatile variable(s) or synchronization primitives to avoid this. - ADDITIONAL IN CURRENT shoutcastsource.cpp 507


bool fExitThread;

HRESULT CShoutcastStream::OnThreadCreate()
{
  EmptyBuffer();

  fExitThread = true;
  m_hSocketThread =
    AfxBeginThread(::SocketThreadProc, this)->m_hThread;
  while (fExitThread) {
    Sleep(10);
  }

  return NOERROR;
}

Identical errors can be found in some other places:

  • V712 Be advised that compiler may delete this cycle or make it infinity. Use volatile variable(s) or synchronization primitives to avoid this. - ADDITIONAL IN CURRENT mainfrm.cpp 11792

ReactOS

V712 Be advised that compiler may delete this cycle or make it infinity. Use volatile variable(s) or synchronization primitives to avoid this. ff_ioman.c 539

V715 The 'while' operator has empty body. Suspicious pattern detected: 'if (expr) {...} while (expr);'. ff_ioman.c 539

V547 Expression '(slRetVal & 0x0000FFFF) == - 10' is always false. ff_ioman.c 539


FF_T_SINT32 FF_BlockRead(....) {
  FF_T_SINT32 slRetVal = 0;
  ....
  if(pIoman->pBlkDevice->fnpReadBlocks)
  {
    ....
    slRetVal = pIoman->pBlkDevice->fnpReadBlocks(pBuffer,
    ulSectorLBA, ulNumSectors, pIoman->pBlkDevice->pParam);
    ....
     if(FF_GETERROR(slRetVal) == FF_ERR_DRIVER_BUSY) {
           FF_Sleep(FF_DRIVER_BUSY_SLEEP);
     }
  } while(FF_GETERROR(slRetVal) == FF_ERR_DRIVER_BUSY); // <=

  return slRetVal;
}

Open X-Ray Engine

V712 Be advised that compiler may delete this cycle or make it infinity. Use volatile variable(s) or synchronization primitives to avoid this. xrcdb.cpp 100


class XRCDB_API MODEL
{
  ....
  u32 status; // 0=ready, 1=init, 2=building
  ....
}

void MODEL::build (Fvector* V, int Vcnt, TRI* T, int Tcnt,
                   build_callback* bc, void* bcp)
{
  ....
  BTHREAD_params P = { this, V, Vcnt, T, Tcnt, bc, bcp };
  thread_spawn(build_thread,"CDB-construction",0,&P;);
  while (S_INIT == status) Sleep(5);
  ....
}

Identical errors can be found in some other places:

  • V712 Be advised that compiler may delete this cycle or make it infinity. Use volatile variable(s) or synchronization primitives to avoid this. levelcompilerloggerwindow.cpp 23
  • V712 Be advised that compiler may delete this cycle or make it infinity. Use volatile variable(s) or synchronization primitives to avoid this. levelcompilerloggerwindow.cpp 232


Do you make errors in the code?

Check your code
with PVS-Studio

Static code analysis
for C, C++ and C#

goto PVS-Studio;