HomePhabricator

[DSE] Make capture check more precise

Authored by nikic on Sep 25 2021, 1:20 PM.

Description

[DSE] Make capture check more precise

It is sufficient that the object has not been captured before the
load that produces the pointer we're loading. A capture after that
can not affect the already loaded pointer.

This is small part of D110368 applied separately.

Details

Committed
nikicSep 25 2021, 1:23 PM
Parents
rG1c3859f31d0e: [BasicAA] Don't consider Argument as escape source (NFCI)
Branches
Unknown
Tags
Unknown