[llvm-commits] [llvm] r72248 - in /llvm/trunk: lib/VMCore/Verifier.cpp test/Assembler/2009-05-22-CC.ll test/Verifier/2009-05-22-CC.ll

[Eli Friedman]

On Thu, May 21, 2009 at 11:41 PM, Torok Edwin<edwintorok at gmail.com> wrote:
> Author: edwin
> Date: Fri May 22 01:41:43 2009
> New Revision: 72248
>
> URL: http://llvm.org/viewvc/llvm-project?rev=72248&view=rev
> Log:
> Verify that calling conventions match function prototype.
> This only rejects mismatches between target specific calling convention
> and C/LLVM specific calling convention.

It might be undefined behavior, but I don't think it's safe to make
the validator reject it: suppose you store the pointer into a stack
variable first.  mem2reg would then generate invalid code.

-Eli