diff options
| author | Johannes Doerfert <johannes@jdoerfert.de> | 2019-12-12 15:02:36 -0600 |
|---|---|---|
| committer | Johannes Doerfert <johannes@jdoerfert.de> | 2019-12-12 16:04:21 -0600 |
| commit | 6abd01e4624a2c9f8f76e11cc5d57cc7551b5d2a (patch) | |
| tree | 3f46f88f1f2d2f89a8b25e053109b2216262a482 /lldb/packages/Python/lldbsuite/test/sample_test/TestSampleTest.py | |
| parent | 7081c922416b7b2348a1b10cd1d9528f3089f5fb (diff) | |
| download | bcm5719-llvm-6abd01e4624a2c9f8f76e11cc5d57cc7551b5d2a.tar.gz bcm5719-llvm-6abd01e4624a2c9f8f76e11cc5d57cc7551b5d2a.zip | |
[Attributor][FIX] Do treat byval arguments special
When we reason about the pointer argument that is byval we actually
reason about a local copy of the value passed at the call site. This was
not the case before and we wrongly introduced attributes based on the
surrounding function.
AAMemoryBehaviorArgument, AAMemoryBehaviorCallSiteArgument and
AANoCaptureCallSiteArgument are made aware of byval now. The code
to skip "subsuming positions" for reasoning follows a common pattern and
we should refactor it. A TODO was added.
Discovered by @efriedma as part of D69748.
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/sample_test/TestSampleTest.py')
0 files changed, 0 insertions, 0 deletions
