<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 - then-branch and else-branch of the same if-statement should not be the same.(llvm-project/clang/lib/Basic/Targets/ARM.cpp:line 981<-->988)"
   href="https://bugs.llvm.org/show_bug.cgi?id=47076">47076</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>then-branch and else-branch of the same if-statement should not be the same.(llvm-project/clang/lib/Basic/Targets/ARM.cpp:line 981<-->988)
          </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>clang
          </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>normal
          </td>
        </tr>

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

        <tr>
          <th>Component</th>
          <td>libclang
          </td>
        </tr>

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

        <tr>
          <th>Reporter</th>
          <td>info@ustchcs.com
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>klimek@google.com, llvm-bugs@lists.llvm.org, richard-llvm@metafoo.co.uk
          </td>
        </tr></table>
      <p>
        <div>
        <pre>then-branch and else-branch of the same if-statement should not be the same.

commit e3546c78cabfbf670391a57766872f0a8e28a423

llvm-project/clang/lib/Basic/Targets/ARM.cpp:line 981<-->988

   979    case 'K':
   980      if (isThumb()) {
   981        if (!supportsThumb2())
   982          // FIXME: should check if immediate value can be obtained from
shifting
   983          // a value between 0 and 255 left by any amount
   984          Info.setRequiresImmediate();
   985        else
   986          // FIXME: should check if immediate value would be valid for a
Thumb2
   987          // data-processing instruction when inverted
   988          Info.setRequiresImmediate();
   989      } else
   990        // FIXME: should check if immediate value would be valid for an
ARM
   991        // data-processing instruction when inverted
   992        Info.setRequiresImmediate();
   993      return true;

Reported by: Ustchcs Toolsets Bugfinder
(bugfinder-2.1: then-branch and else-branch of the same if-statement should not
be the same.)</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>