diff options
| author | Hideto Ueno <uenoku.tokotoko@gmail.com> | 2019-11-29 06:55:58 +0000 |
|---|---|---|
| committer | Hideto Ueno <uenoku.tokotoko@gmail.com> | 2019-11-29 06:55:58 +0000 |
| commit | 6c742fdbf48ee3ae9afb2ab1568397a3b89276e5 (patch) | |
| tree | 9e9441fd9400cd1422e19499496ae8925927bb76 /lldb/source/Commands/CommandObjectThread.cpp | |
| parent | dfedae50018f321cb2189a95936511b2506e5bce (diff) | |
| download | llvm-6c742fdbf48ee3ae9afb2ab1568397a3b89276e5.zip llvm-6c742fdbf48ee3ae9afb2ab1568397a3b89276e5.tar.gz llvm-6c742fdbf48ee3ae9afb2ab1568397a3b89276e5.tar.bz2 | |
[Attributor] Deduce dereferenceable based on accessed bytes map
Summary:
This patch introduces the deduction based on load/store instructions whose pointer operand is a non-inbounds GEP instruction.
For example if we have,
```
void f(int *u){
u[0] = 0;
u[1] = 1;
u[2] = 2;
}
```
then u must be dereferenceable(12).
This patch is inspired by D64258
Reviewers: jdoerfert, spatel, hfinkel, RKSimon, sstefan1, xbolva00, dtemirbulatov
Reviewed By: jdoerfert
Subscribers: jfb, lebedev.ri, xbolva00, hiraditya, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D70714
Diffstat (limited to 'lldb/source/Commands/CommandObjectThread.cpp')
0 files changed, 0 insertions, 0 deletions