RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2024-11-24 12:19:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[InferAttributes] Don't access parameters that don't exist.

Browse Source 
Check for the correct number of parameters before querying their type.
This fixes PR30455.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@282038 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Michael Kuperstein 2016-09-20 23:10:31 +00:00
parent 7e15c9e40f
commit 86978b73fc
2 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/Analysis/TargetLibraryInfo.cpp
View File

@ -847,10 +847,10 @@ bool TargetLibraryInfoImpl::isValidProtoForLibFunc(const FunctionType &FTy,
case LibFunc::stat64:
case LibFunc::lstat64:
case LibFunc::statvfs64:
return (NumParams >= 1 && FTy.getParamType(0)->isPointerTy() &&
return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
FTy.getParamType(1)->isPointerTy());
case LibFunc::dunder_isoc99_sscanf:
return (NumParams >= 1 && FTy.getParamType(0)->isPointerTy() &&
return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
FTy.getParamType(1)->isPointerTy());
case LibFunc::fopen64:
return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&

13
test/Transforms/InferFunctionAttrs/pr30455.ll Normal file
View File

@ -0,0 +1,13 @@
; RUN: opt < %s -mtriple=x86_64-unknown-linux-gnu -inferattrs -S | FileCheck %s
%struct.statvfs64 = type { i32 }
; Function Attrs: norecurse uwtable
define i32 @foo() {
entry:
%st = alloca %struct.statvfs64, align 4
%0 = bitcast %struct.statvfs64* %st to i8*
ret i32 0
}
; CHECK: declare i32 @statvfs64(%struct.statvfs64*){{$}}
declare i32 @statvfs64(%struct.statvfs64*)