<html>
    <head>
      <base href="http://llvm.org/bugs/" />
    </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 --- - Wrong codegen if constexpr member function used in later member function signature"
   href="http://llvm.org/bugs/show_bug.cgi?id=19077">19077</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>Wrong codegen if constexpr member function used in later member function signature
          </td>
        </tr>

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

        <tr>
          <th>Version</th>
          <td>3.4
          </td>
        </tr>

        <tr>
          <th>Hardware</th>
          <td>Other
          </td>
        </tr>

        <tr>
          <th>OS</th>
          <td>Linux
          </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>C++11
          </td>
        </tr>

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

        <tr>
          <th>Reporter</th>
          <td>hstong@ca.ibm.com
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>dgregor@apple.com, llvmbugs@cs.uiuc.edu
          </td>
        </tr>

        <tr>
          <th>Classification</th>
          <td>Unclassified
          </td>
        </tr></table>
      <p>
        <div>
        <pre>I have not yet found wording which says the code is invalid (or results in UB),
so considering that Clang compiles it, it is a problem that the resulting
executable does not work as expected.

### SOURCE:
<span class="quote">> cat ceVirtualMatch.cc</span >
extern "C" int printf(const char *, ...);

struct C {
   virtual void bar(int (*)[42]) { printf("%s\n", __PRETTY_FUNCTION__); }
};

struct A : C {
   struct B {
      static constexpr int foo() { return 0; }
   };
   virtual void bar(int [][B::foo() + 42])
   { printf("%s\n", __PRETTY_FUNCTION__); }
};

int main() {
   A a;
   C &c = a;
   c.bar(0);
}
Return:  0x00:0


### ACTUAL:
<span class="quote">> clang++ ceVirtualMatch.cc -std=c++11 && ./a.out</span >
virtual void C::bar(int (*)[42])
Return:  0x00:0


### EXPECTED:
virtual void A::bar(int (*)[42])


### clang++ -v:
<span class="quote">> clang++ -v</span >
clang version 3.4 (tags/RELEASE_34/final)
Target: powerpc64-unknown-linux-gnu
Thread model: posix
Found candidate GCC installation: /usr/lib/gcc/ppc64-redhat-linux/3.4.6
Found candidate GCC installation: /usr/lib/gcc/ppc64-redhat-linux/4.4.4
Found candidate GCC installation: /usr/lib/gcc/ppc64-redhat-linux/4.4.6
Selected GCC installation: /usr/lib/gcc/ppc64-redhat-linux/4.4.6
Return:  0x00:0</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>