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 /lldb/test/API/functionalities/plugins/python_os_plugin | |
| parent | 475abe14a59f43a976f479091798e879cfc739d0 (diff) | |
[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 'lldb/test/API/functionalities/plugins/python_os_plugin')
0 files changed, 0 insertions, 0 deletions