diff options
| author | Johannes Doerfert <johannes@jdoerfert.de> | 2022-05-19 17:20:48 -0500 |
|---|---|---|
| committer | Johannes Doerfert <johannes@jdoerfert.de> | 2022-07-21 23:08:43 -0500 |
| commit | 62f7888d6d9d98481a1373db1d7804b49c69ec12 (patch) | |
| tree | 79bbb3f634154126e34e53a56005db0ea08c3b84 /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp | |
| parent | dfac03027186edc1d26ad1d485e6c08d3d9a1fb7 (diff) | |
[Attributor] Dominating must-write accesses allow unknown initial values
If we have a dominating must-write access we do not need to know the
initial value of some object to perform reasoning about the potential
values. The dominating must-write has overwritten the initial value.
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp')
0 files changed, 0 insertions, 0 deletions