title: What does "potential divide by zero" mean in Visual C++ C4723 warning description?
body: <p>When I compile the following code in Visual C++ 10</p>
  
  <pre><code>int _tmain(int /*argc*/, _TCHAR* /*argv*/[])
  {
      int len = strlen( "" );
      if( len / 0 ) {
          rand();
      }
  }
  </code></pre>
  
  <p>the compiler emits <a href="http://msdn.microsoft.com/en-us/library/8kd039eh.aspx" rel="nofollow">C4723 warning</a> <strong><em>potential divide by zero</em></strong>.</p>
  
  <p>What does <em>potential</em> mean here? My C++ code clearly says "divide <code>len</code> by zero", how is the divide <em>potential</em>?</p>
  
  <p><a href="http://msdn.microsoft.com/en-us/library/8kd039eh.aspx" rel="nofollow">http://msdn.microsoft.com/en-us/library/8kd039eh.aspx</a></p>