diff options
author | Shinji Okumura <okuraofvegetable@gmail.com> | 2020-04-04 19:15:26 -0500 |
---|---|---|
committer | Johannes Doerfert <johannes@jdoerfert.de> | 2020-04-04 19:16:17 -0500 |
commit | c80cf48801be54ee008730a9fad7dbccc963fc80 (patch) | |
tree | 203c05d9011d3aa92830a8b0818bf5ce1634dc4c /llvm/tools/llvm-objdump/llvm-objdump.cpp | |
parent | 475abe14a59f43a976f479091798e879cfc739d0 (diff) | |
download | llvm-c80cf48801be54ee008730a9fad7dbccc963fc80.zip llvm-c80cf48801be54ee008730a9fad7dbccc963fc80.tar.gz llvm-c80cf48801be54ee008730a9fad7dbccc963fc80.tar.bz2 |
[Attributor] AAReachability : use isPotentiallyReachable in isKnownReachable
`isKnownReachable` had only interface (always returns true).
Changed it to call `isPotentiallyReachable`.
This change enables deductions of other Abstract Attributes depending on
AAReachability to use reachability information obtained from CFG, and it
can make them stronger.
Reviewed By: jdoerfert
Differential Revision: https://reviews.llvm.org/D76210
Diffstat (limited to 'llvm/tools/llvm-objdump/llvm-objdump.cpp')
0 files changed, 0 insertions, 0 deletions