diff options
author | Jordan Rose <jordan_rose@apple.com> | 2012-06-12 00:20:22 +0000 |
---|---|---|
committer | Jordan Rose <jordan_rose@apple.com> | 2012-06-12 00:20:22 +0000 |
commit | 2fdc07ee8972b41032a98ed7699fed132557a78e (patch) | |
tree | fecaa4a1b5a3ed907b0548dfec31d907ee0bdc6e /clang/test/Analysis/casts.cpp | |
parent | 3e465fb225ee2c50edeffda34183991da6300d2d (diff) | |
download | bcm5719-llvm-2fdc07ee8972b41032a98ed7699fed132557a78e.tar.gz bcm5719-llvm-2fdc07ee8972b41032a98ed7699fed132557a78e.zip |
Revert "[analyzer] Treat LValueBitCasts like regular pointer bit casts."
This does not actually give us the right behavior for reinterpret_cast
of references. Reverting so I can think about it some more.
This reverts commit 50a75a6e26a49011150067adac556ef978639fe6.
llvm-svn: 158341
Diffstat (limited to 'clang/test/Analysis/casts.cpp')
-rw-r--r-- | clang/test/Analysis/casts.cpp | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/clang/test/Analysis/casts.cpp b/clang/test/Analysis/casts.cpp deleted file mode 100644 index 046ffb53c8f..00000000000 --- a/clang/test/Analysis/casts.cpp +++ /dev/null @@ -1,36 +0,0 @@ -// RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core -analyzer-store=region -verify %s - -void fill_r (int * const &x); - -char testPointer () { - int x[8]; - int *xp = x; - fill_r(xp); - - return x[0]; // no-warning -} - -char testArray () { - int x[8]; - fill_r(x); - - return x[0]; // no-warning -} - -char testReferenceCast () { - int x[8]; - int *xp = x; - fill_r(reinterpret_cast<int * const &>(xp)); - - return x[0]; // no-warning -} - - -void fill (int *x); -char testReferenceCastRValue () { - int x[8]; - int *xp = x; - fill(reinterpret_cast<int * const &>(xp)); - - return x[0]; // no-warning -} |