[PATCH] Declare that musttail calls in variadic functions forward the ellipsis

[Nick Lewycky]

I'm concerned that there's no Verifier change. It looks like you don't need one, which means that we failed at code review previously since there was code that was valid but we couldn't print or parse? Or is there a verifier change missing?

================
Comment at: docs/LangRef.rst:6539-6541
@@ -6538,2 +6538,5 @@
      returned, and inalloca, must match.
+   - If the caller is varargs, the callee must be varargs. Bitcasting a
+     non-varargs function to the appropriate varargs type is legal so
+     long as the non-varargs prefixes obey the other rules.
 
----------------
"The callee must be varargs iff the caller is varargs"?

http://reviews.llvm.org/D4892