forked from OSchip/llvm-project
c80cf48801
`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 |
||
---|---|---|
.. | ||
llvm | ||
llvm-c |