<html>
    <head>
      <base href="https://bugs.llvm.org/">
    </head>
    <body><table border="1" cellspacing="0" cellpadding="8">
        <tr>
          <th>Bug ID</th>
          <td><a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - [APFloat] DoubleAPFloat::isInteger would always trigger an assert."
   href="https://bugs.llvm.org/show_bug.cgi?id=34098">34098</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>[APFloat] DoubleAPFloat::isInteger would always trigger an assert.
          </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>libraries
          </td>
        </tr>

        <tr>
          <th>Version</th>
          <td>trunk
          </td>
        </tr>

        <tr>
          <th>Hardware</th>
          <td>All
          </td>
        </tr>

        <tr>
          <th>OS</th>
          <td>All
          </td>
        </tr>

        <tr>
          <th>Status</th>
          <td>NEW
          </td>
        </tr>

        <tr>
          <th>Severity</th>
          <td>enhancement
          </td>
        </tr>

        <tr>
          <th>Priority</th>
          <td>P
          </td>
        </tr>

        <tr>
          <th>Component</th>
          <td>Support Libraries
          </td>
        </tr>

        <tr>
          <th>Assignee</th>
          <td>unassignedbugs@nondot.org
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>edy.burt@gmail.com
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>llvm-bugs@lists.llvm.org
          </td>
        </tr></table>
      <p>
        <div>
        <pre>`DoubleAPFloat::isInteger` creates a zero `semPPCDoubleDoubleLegacy` APFloat
and then tries to add `Floats[0]` and `Floats[1]` to it, both of which are
always `semIEEEdouble`.

Addition (like the other binary operations) has an assert that the semantics
are identical so calling this method would always assert (if they're enabled),
but it's not even tested.

Also, I'd expect the correct implementation to be `Floats[0].isInteger() &&
Floats[1].isInteger()`.</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>