diff options
| author | George Burgess IV <george.burgess.iv@gmail.com> | 2016-06-14 18:12:28 +0000 |
|---|---|---|
| committer | George Burgess IV <george.burgess.iv@gmail.com> | 2016-06-14 18:12:28 +0000 |
| commit | 24eb0daf7cc45fe42cad6fdb1d3f99690f71e5f7 (patch) | |
| tree | 57f9442a4dfd0ea18f092d690fc09fed62956477 /llvm/lib/Analysis/StratifiedSets.h | |
| parent | 89200ccefaa6d73356b67ba4b1655db95eb31a75 (diff) | |
| download | bcm5719-llvm-24eb0daf7cc45fe42cad6fdb1d3f99690f71e5f7.tar.gz bcm5719-llvm-24eb0daf7cc45fe42cad6fdb1d3f99690f71e5f7.zip | |
[CFLAA] Tag arguments as escaped instead of unknown.
This patch also includes some refactoring.
Prior to this patch, we tagged all CFLAA attributes as unknown. This is
suboptimal, since it meant that any Value used as an argument would be
considered to alias any other Value that existed.
Now that we have the machinery to tag sets below the set for an
arbitrary value with attributes, it's okay to be less conservative with
arguments. (Specifically, we still tag the set under an argument with
unknown).
Patch by Jia Chen.
Differential Revision: http://reviews.llvm.org/D21262
llvm-svn: 272690
Diffstat (limited to 'llvm/lib/Analysis/StratifiedSets.h')
| -rw-r--r-- | llvm/lib/Analysis/StratifiedSets.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/StratifiedSets.h b/llvm/lib/Analysis/StratifiedSets.h index 0e20343af1e..d0de13910a7 100644 --- a/llvm/lib/Analysis/StratifiedSets.h +++ b/llvm/lib/Analysis/StratifiedSets.h @@ -621,4 +621,4 @@ private: bool inbounds(StratifiedIndex N) const { return N < Links.size(); } }; } -#endif // LLVM_ADT_STRATIFIEDSETS_H +#endif // LLVM_ADT_STRATIFIEDSETS_H
\ No newline at end of file |
