llvm-project
db284dfe - [Analysis] use forward DFS in `isEphemeralValueOf` (#196232)

Commit
1 day ago
[Analysis] use forward DFS in `isEphemeralValueOf` (#196232) Resolves #128152. The old algorithm runs a backward DFS from `I` and marks `E` as ephemeral iff every user of `E` has already been visited. This fails when `E` has a user that the backward walk never reaches. Switch to a forward DFS from `E` so that ephemeral values are identified when the condition has other uses off the assume chain.
Author
Parents
Loading