HomePhabricator

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

Authored by jdoerfert on Sun, Oct 13, 1:47 PM.

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.
llvm-svn: 374736

Details

Committed
jdoerfertSun, Oct 13, 1:47 PM
Parents
rGdb6efb017f24: [Attributor][FIX] Use check prefix that is actually tested
Branches
Unknown
Tags
Unknown