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 | d60b9168fa14b091a9e89f38484b64e57e1e5ece (patch) | |
| tree | 8bef05a5ee0df80cc2cb9e4c049da9e2692d236d /clang/test/Analysis/reference.cpp | |
| parent | d9b0268401840e1ad82df65af288e5a0a63da120 (diff) | |
| download | llvm-d60b9168fa14b091a9e89f38484b64e57e1e5ece.zip llvm-d60b9168fa14b091a9e89f38484b64e57e1e5ece.tar.gz llvm-d60b9168fa14b091a9e89f38484b64e57e1e5ece.tar.bz2 | |
Revert "[analyzer] Create a temporary region for rvalue structs when accessing fields"
This reverts commit 6f61df3e7256413dcb99afb9673f4206e3c4992c.
llvm-svn: 164877
Diffstat (limited to 'clang/test/Analysis/reference.cpp')
| -rw-r--r-- | clang/test/Analysis/reference.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/clang/test/Analysis/reference.cpp b/clang/test/Analysis/reference.cpp index ce0ee8e..374f3f7 100644 --- a/clang/test/Analysis/reference.cpp +++ b/clang/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}} |