diff options
| author | Anna Zaks <ganna@apple.com> | 2012-05-03 02:13:56 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-05-03 02:13:56 +0000 |
| commit | 1655aee1e3572a2fee6914e172a13dd0beadf1a3 (patch) | |
| tree | e8a4708e356e864cbdd069ad343be8612c01a143 /lldb | |
| parent | f0e9ca86044d3e674ec7c3a335fea93eb5625c0a (diff) | |
| download | bcm5719-llvm-1655aee1e3572a2fee6914e172a13dd0beadf1a3.tar.gz bcm5719-llvm-1655aee1e3572a2fee6914e172a13dd0beadf1a3.zip | |
[analyzer] Conjure a symbol to ensure we can identify pointer arithmetic
We need to identify the value of ptr as
ElementRegion (result of pointer arithmetic) in the following code.
However, before this commit '(2-x)' evaluated to Unknown value, and as
the result, 'p + (2-x)' evaluated to Unknown value as well.
int *p = malloc(sizeof(int));
ptr = p + (2-x);
llvm-svn: 156052
Diffstat (limited to 'lldb')
0 files changed, 0 insertions, 0 deletions
