diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-05-08 21:49:54 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-05-08 21:49:54 +0000 |
| commit | 4213e389d6f8fa96ab30eec0d932e4e3eee32997 (patch) | |
| tree | 75c94047d7f897e9880a5adaaa1114a52dab6148 /test/Analysis/taint-tester.c | |
| parent | 7dbbc2178fb487f3a8bff03a2c9e87f727bf2b98 (diff) | |
Having RegionStore lower field bindings to raw offsets, just like ElementRegions. This is a bit
disruptive, but it allows RegionStore to better "see" through casts that reinterpret arrays of values
as structs. Fixes <rdar://problem/11405978>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156428 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/taint-tester.c')
| -rw-r--r-- | test/Analysis/taint-tester.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Analysis/taint-tester.c b/test/Analysis/taint-tester.c index 377333505e..a83ee32bac 100644 --- a/test/Analysis/taint-tester.c +++ b/test/Analysis/taint-tester.c @@ -40,7 +40,7 @@ void taintTracking(int x) { // FIXME: We fail to propagate the taint here because RegionStore does not // handle ElementRegions with symbolic indexes. int addrDeref = *addr; // expected-warning + {{tainted}} - int _addrDeref = addrDeref; + int _addrDeref = addrDeref; // expected-warning + {{tainted}} // Tainted struct address, casts. struct XYStruct *xyPtr = 0; |