<html>
    <head>
      <base href="https://bugs.llvm.org/">
    </head>
    <body><span class="vcard"><a class="email" href="mailto:daniel.krupp@gmail.com" title="daniel.krupp@gmail.com">daniel.krupp@gmail.com</a>
</span> changed
          <a class="bz_bug_link 
          bz_status_RESOLVED  bz_closed"
   title="RESOLVED INVALID - false positive report: clang SA falsely assumes that the loop is executed 0 times"
   href="https://bugs.llvm.org/show_bug.cgi?id=32911">bug 32911</a>
          <br>
             <table border="1" cellspacing="0" cellpadding="8">
          <tr>
            <th>What</th>
            <th>Removed</th>
            <th>Added</th>
          </tr>

         <tr>
           <td style="text-align:right;">Status</td>
           <td>ASSIGNED
           </td>
           <td>RESOLVED
           </td>
         </tr>

         <tr>
           <td style="text-align:right;">Resolution</td>
           <td>---
           </td>
           <td>INVALID
           </td>
         </tr></table>
      <p>
        <div>
            <b><a class="bz_bug_link 
          bz_status_RESOLVED  bz_closed"
   title="RESOLVED INVALID - false positive report: clang SA falsely assumes that the loop is executed 0 times"
   href="https://bugs.llvm.org/show_bug.cgi?id=32911#c4">Comment # 4</a>
              on <a class="bz_bug_link 
          bz_status_RESOLVED  bz_closed"
   title="RESOLVED INVALID - false positive report: clang SA falsely assumes that the loop is executed 0 times"
   href="https://bugs.llvm.org/show_bug.cgi?id=32911">bug 32911</a>
              from <span class="vcard"><a class="email" href="mailto:daniel.krupp@gmail.com" title="daniel.krupp@gmail.com">daniel.krupp@gmail.com</a>
</span></b>
        <pre>Daniel, Artem you are right.
The 0<size+1 can be false in the corner case when size==UINT_MAX.

Clang says this:

garbage.c:11:6: note: Loop condition is false. Execution continues on line 13
     for (unsigned j = 0; j<size+1; j++)

We could probably improve the output message by extending it by the assumptions
made on the variables in the conditions. So would be easier to understand what
assumptions are made by the analyzer.

Anyway the issue can be closed. Thanks.</pre>
        </div>
      </p>


      <hr>
      <span>You are receiving this mail because:</span>

      <ul>
          <li>You are on the CC list for the bug.</li>
      </ul>
    </body>
</html>