maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

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

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

llvm-svn: 282038
This commit is contained in:
Michael Kuperstein 2016-09-20 23:10:31 +00:00
parent 620c140a9b
commit 79dcc274b4
2 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
llvm/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
llvm/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*)