diff options
| author | Arnold Schwaighofer <arnolds@codeaurora.org> | 2012-12-10 23:02:41 +0000 |
|---|---|---|
| committer | Arnold Schwaighofer <arnolds@codeaurora.org> | 2012-12-10 23:02:41 +0000 |
| commit | edd62b14e5284182231ecb4eb3850205167c4076 (patch) | |
| tree | d160845713f01ba2b53bab78315dfec440a61a48 /clang/lib/StaticAnalyzer/Checkers | |
| parent | 717c97e884daef690dedfb9a91e5b495afa7d6a5 (diff) | |
| download | bcm5719-llvm-edd62b14e5284182231ecb4eb3850205167c4076.tar.gz bcm5719-llvm-edd62b14e5284182231ecb4eb3850205167c4076.zip | |
Optimistically analyse Phi cycles
Analyse Phis under the starting assumption that they are NoAlias. Recursively
look at their inputs.
If they MayAlias/MustAlias there must be an input that makes them so.
Addresses bug 14351.
llvm-svn: 169788
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers')
0 files changed, 0 insertions, 0 deletions
