[PATCH] D21475: [CFLAA] Summarize interprocedural aliasing information instead of recomputing it at callsite
George Burgess IV via llvm-commits
llvm-commits at lists.llvm.org
Mon Jun 20 15:55:56 PDT 2016
george.burgess.iv accepted this revision.
george.burgess.iv added a comment.
This revision is now accepted and ready to land.
LGTM -- will commit. Thanks again.
================
Comment at: lib/Analysis/CFLAliasAnalysis.cpp:394
@@ -421,1 +393,3 @@
return false;
+ // Fail if the caller does not provide enough arguments
+ assert(Fn->arg_size() <= CS.arg_size());
----------------
grievejia wrote:
> > My point is that relaxing this check to if (param_size() > arg_size()) return false; allows variadic functions (that were given more than zero args in their arg pack) to be analyzed interprocedurally.
>
> It won't. See line 392 :)
...Right. I'm dumb. Sorry about that. :)
http://reviews.llvm.org/D21475
More information about the llvm-commits
mailing list