From ea1df7fe9fc363e7583f691431b54fdb658fe0a8 Mon Sep 17 00:00:00 2001 From: Sanjoy Das Date: Sat, 7 Nov 2015 01:56:07 +0000 Subject: [FunctionAttrs] Add comment and clarify assertion message; NFC llvm-svn: 252389 --- llvm/lib/Transforms/IPO/FunctionAttrs.cpp | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'llvm/lib') diff --git a/llvm/lib/Transforms/IPO/FunctionAttrs.cpp b/llvm/lib/Transforms/IPO/FunctionAttrs.cpp index b63ffb4a72c..907cede8e5c 100644 --- a/llvm/lib/Transforms/IPO/FunctionAttrs.cpp +++ b/llvm/lib/Transforms/IPO/FunctionAttrs.cpp @@ -457,7 +457,12 @@ determinePointerReadAttrs(Argument *A, unsigned UseIndex = std::distance(CS.arg_begin(), U); - assert(UseIndex < CS.data_operands_size() && "Non-argument use?"); + // U cannot be the callee operand use: since we're exploring the + // transitive uses of an Argument, having such a use be a callee would + // imply the CallSite is an indirect call or invoke; and we'd take the + // early exit above. + assert(UseIndex < CS.data_operands_size() && + "Data operand use expected!"); bool IsOperandBundleUse = UseIndex >= CS.getNumArgOperands(); -- cgit v1.2.3