From 078f8595b5ddc6cf55cc32ceeb82c67d39b3f200 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Fri, 28 May 2010 16:34:49 +0000 Subject: Eli pointed out that va_arg instruction result values don't reference the stack. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@104951 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/Lint.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'lib/Analysis/Lint.cpp') diff --git a/lib/Analysis/Lint.cpp b/lib/Analysis/Lint.cpp index 691b934295..4b9f284c9d 100644 --- a/lib/Analysis/Lint.cpp +++ b/lib/Analysis/Lint.cpp @@ -232,9 +232,9 @@ void Lint::visitCallSite(CallSite CS) { for (CallSite::arg_iterator AI = CS.arg_begin(), AE = CS.arg_end(); AI != AE; ++AI) { Value *Obj = findValue(*AI, /*OffsetOk=*/true); - Assert1(!isa(Obj) && !isa(Obj), + Assert1(!isa(Obj), "Undefined behavior: Call with \"tail\" keyword references " - "alloca or va_arg", &I); + "alloca", &I); } @@ -323,8 +323,8 @@ void Lint::visitReturnInst(ReturnInst &I) { if (Value *V = I.getReturnValue()) { Value *Obj = findValue(V, /*OffsetOk=*/true); - Assert1(!isa(Obj) && !isa(Obj), - "Unusual: Returning alloca or va_arg value", &I); + Assert1(!isa(Obj), + "Unusual: Returning alloca value", &I); } } -- cgit v1.2.3-18-g5258