diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-09-29 01:36:51 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-09-29 01:36:51 +0000 |
| commit | ce6644bc1e921833f9b3c10cf7d4a0b78e8d5dc9 (patch) | |
| tree | 91a2010cdd5a2acc261bdbabca64b836c7b11c4c /test/Analysis/reference.cpp | |
| parent | 20aa40342bd74895128860c081aa84cd85bfa68d (diff) | |
Revert "[analyzer] Create a temporary region for rvalue structs when accessing fields"
This reverts commit 6f61df3e7256413dcb99afb9673f4206e3c4992c.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@164877 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/reference.cpp')
| -rw-r--r-- | test/Analysis/reference.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/Analysis/reference.cpp b/test/Analysis/reference.cpp index ce0ee8ed57..374f3f7261 100644 --- a/test/Analysis/reference.cpp +++ b/test/Analysis/reference.cpp @@ -116,8 +116,10 @@ void testReferenceAddress(int &x) { struct S { int &x; }; + // FIXME: Should be TRUE. Fields of return-by-value structs are not yet + // symbolicated. Tracked by <rdar://problem/12137950>. extern S getS(); - clang_analyzer_eval(&getS().x != 0); // expected-warning{{TRUE}} + clang_analyzer_eval(&getS().x != 0); // expected-warning{{UNKNOWN}} extern S *getSP(); clang_analyzer_eval(&getSP()->x != 0); // expected-warning{{TRUE}} |