<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 - 878a24ee244a causes assertions with vector floats"
   href="https://bugs.llvm.org/show_bug.cgi?id=45299">45299</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>878a24ee244a causes assertions with vector floats
          </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>clang
          </td>
        </tr>

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

        <tr>
          <th>Hardware</th>
          <td>PC
          </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>LLVM Codegen
          </td>
        </tr>

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

        <tr>
          <th>Reporter</th>
          <td>smeenai@fb.com
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>elizabeth.andrews@intel.com, erich.keane@intel.com, gribozavr@gmail.com, llvm-bugs@lists.llvm.org, melanie.blower@intel.com, neeilans@live.com, richard-llvm@metafoo.co.uk, rnk@google.com
          </td>
        </tr></table>
      <p>
        <div>
        <pre>$ cat reduced.cpp
typedef float float4 __attribute__((vector_size(16)));

template <typename T>
class C {
  float4 f(float4 x) {
    return k * x;
  }

  float k;
};

$ clang -cc1 -emit-llvm -o /dev/null reduced.cpp
clang: /home/smeenai/llvm-project/clang/lib/AST/ExprConstant.cpp:13547: bool
clang::Expr::EvaluateAsFloat(llvm::APFloat &, const clang::ASTContext &,
clang::Expr::SideEffectsKind, bool) const: Assertion `!isValueDependent() &&
"Expression evaluator can't be called on a dependent expression."' failed.

This was broken by 878a24ee244a and is still broken on master. Note that clang
would previously choke on a slightly more complex version of the same code
anyway though: <a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - r361050 causes assertions with vector floats"
   href="show_bug.cgi?id=45298">https://bugs.llvm.org/show_bug.cgi?id=45298</a></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>