diff options
| author | George Burgess IV <george.burgess.iv@gmail.com> | 2015-08-28 00:16:18 +0000 |
|---|---|---|
| committer | George Burgess IV <george.burgess.iv@gmail.com> | 2015-08-28 00:16:18 +0000 |
| commit | 68b36e01da09f131f9f4cb275f3998b5b627cbca (patch) | |
| tree | 9f5c2f1cf39e44fc8128323f384479ec119ee223 /llvm/lib/Transforms/Utils/Local.cpp | |
| parent | fa4ecb4b9a951fc7cce3053bcb1a3e65abcb4472 (diff) | |
| download | llvm-68b36e01da09f131f9f4cb275f3998b5b627cbca.zip llvm-68b36e01da09f131f9f4cb275f3998b5b627cbca.tar.gz llvm-68b36e01da09f131f9f4cb275f3998b5b627cbca.tar.bz2 | |
Fix: CFLAA -- Mark no-args returns as unknown
Prior to this patch, we hadn't been marking StratifiedSets with the
appropriate StratifiedAttrs when handling the result of no-args call
instructions. This caused us to report NoAlias when handed, for
example, an escaped alloca and a result from an opaque function. Now we
properly mark the return value of said functions.
Thanks again to Chandler, Richard, and Nick for pinging me about this.
Differential review: http://reviews.llvm.org/D12408
llvm-svn: 246240
Diffstat (limited to 'llvm/lib/Transforms/Utils/Local.cpp')
0 files changed, 0 insertions, 0 deletions