6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-01-16 14:31:59 +00:00
Code Issues Projects Releases Wiki Activity

Eli pointed out that va_arg instruction result values don't

Browse Source 
reference the stack.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@104951 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2010-05-28 16:34:49 +00:00
parent ff26d4e9ce
commit 078f8595b5
2 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
lib/Analysis/Lint.cpp
View File

@ -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<AllocaInst>(Obj) && !isa<VAArgInst>(Obj),
Assert1(!isa<AllocaInst>(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<AllocaInst>(Obj) && !isa<VAArgInst>(Obj),
"Unusual: Returning alloca or va_arg value", &I);
Assert1(!isa<AllocaInst>(Obj),
"Unusual: Returning alloca value", &I);
}
}

8
test/Other/lint.ll
View File

@ -87,8 +87,8 @@ block:
unreachable
}
; CHECK: Undefined behavior: Call with "tail" keyword references alloca or va_arg
; CHECK: Undefined behavior: Call with "tail" keyword references alloca or va_arg
; CHECK: Undefined behavior: Call with "tail" keyword references alloca
; CHECK: Undefined behavior: Call with "tail" keyword references alloca
declare void @tailcallee(i8*)
define void @use_tail(i8* %valist) {
%t = alloca i8
@ -98,14 +98,14 @@ define void @use_tail(i8* %valist) {
ret void
}
; CHECK: Unusual: Returning alloca or va_arg value
; CHECK: Unusual: Returning alloca value
define i8* @return_local(i32 %n, i32 %m) {
%t = alloca i8, i32 %n
%s = getelementptr i8* %t, i32 %m
ret i8* %s
}
; CHECK: Unusual: Returning alloca or va_arg value
; CHECK: Unusual: Returning alloca value
define i32* @return_obscured_local() {
entry:
%retval = alloca i32*