diff options
| author | Johannes Doerfert <johannes@jdoerfert.de> | 2019-12-24 18:48:50 -0600 |
|---|---|---|
| committer | Johannes Doerfert <johannes@jdoerfert.de> | 2019-12-24 19:23:08 -0600 |
| commit | 58f324a468ffc66398199f1a55218e10b718e495 (patch) | |
| tree | 7cd7045c0ddd4a9a4b09724ae1e2214c23521aec /lldb/packages/Python/lldbsuite/test/python_api/signals/main.cpp | |
| parent | 583ef13f0be7b0045f9508dfceee17ab4ef4b1ea (diff) | |
| download | bcm5719-llvm-58f324a468ffc66398199f1a55218e10b718e495.tar.gz bcm5719-llvm-58f324a468ffc66398199f1a55218e10b718e495.zip | |
[Attributor] Function level undefined behavior attribute
_Eventually_, this attribute will be assigned to a function if it
contains undefined behavior. As a first small step, I tried to make it
loop through the load instructions in a function (eventually, the plan
is to check if a load instructions causes undefined behavior, because
e.g. dereferences a null pointer - Also eventually, this won't happen in
initialize() but in updateImpl()).
Patch By: Stefanos Baziotis (@baziotis)
Reviewed By: jdoerfert
Differential Revision: https://reviews.llvm.org/D71435
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/python_api/signals/main.cpp')
0 files changed, 0 insertions, 0 deletions
