HomePhabricator

[Attributor][MemBehavior] Fallback to the function state for arguments

Description

[Attributor][MemBehavior] Fallback to the function state for arguments

Even if an argument is captured, we cannot have an effect the function
does not have. This is fine except for the special case of inalloca as
it does not behave by the rules.

TODO: Maybe the special rule for inalloca is wrong after all.

Details

Committed
jdoerfertOct 13 2019, 1:47 PM
Parents
rL374735: [Attributor][FIX] Use check prefix that is actually tested
Branches
Unknown
Tags
Unknown