diff options
author | Rafael Espindola <rafael.espindola@gmail.com> | 2013-07-18 02:42:40 +0000 |
---|---|---|
committer | Rafael Espindola <rafael.espindola@gmail.com> | 2013-07-18 02:42:40 +0000 |
commit | 60f18ad8a5fa7d5b008a1fecf9a79b68883ca192 (patch) | |
tree | 7a5c2e3c69c51e073072e9dcf515033f1a794106 /unittests | |
parent | 717b3f02ffea4d093e775c3ed3ceac08991dbca9 (diff) | |
download | external_llvm-60f18ad8a5fa7d5b008a1fecf9a79b68883ca192.zip external_llvm-60f18ad8a5fa7d5b008a1fecf9a79b68883ca192.tar.gz external_llvm-60f18ad8a5fa7d5b008a1fecf9a79b68883ca192.tar.bz2 |
Fix a regression I introduced back in r178147.
We don't want cast and dyn_cast to work on temporaries. They don't extend
lifetime like a direct bind to a reference would, so they can introduce
hard to find bugs.
I added tests to make sure we don't regress this. Thanks to Eli Friedman for
noticing this and for his suggestions on how to test it.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@186559 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'unittests')
-rw-r--r-- | unittests/Support/Casting.cpp | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/unittests/Support/Casting.cpp b/unittests/Support/Casting.cpp index 01583e4..362abee 100644 --- a/unittests/Support/Casting.cpp +++ b/unittests/Support/Casting.cpp @@ -10,10 +10,15 @@ #include "llvm/Support/Casting.h" #include "llvm/Support/Debug.h" #include "llvm/Support/raw_ostream.h" +#include "llvm/IR/User.h" #include "gtest/gtest.h" #include <cstdlib> namespace llvm { +// Used to test illegal cast. If a cast doesn't match any of the "real" ones, +// it will match this one. +struct IllegalCast; +template <typename T> IllegalCast *cast(...) { return 0; } // set up two example classes // with conversion facility @@ -60,10 +65,25 @@ foo *bar::naz() { bar *fub(); + +template <> struct simplify_type<foo> { + typedef int SimpleType; + static SimpleType getSimplifiedValue(foo &Val) { return 0; } +}; + } // End llvm namespace using namespace llvm; + +// Test the peculiar behavior of Use in simplify_type. +int Check1[is_same<simplify_type<Use>::SimpleType, Value *>::value ? 1 : -1]; +int Check2[is_same<simplify_type<Use *>::SimpleType, Value *>::value ? 1 : -1]; + +// Test that a regular class behaves as expected. +int Check3[is_same<simplify_type<foo>::SimpleType, int>::value ? 1 : -1]; +int Check4[is_same<simplify_type<foo *>::SimpleType, foo *>::value ? 1 : -1]; + namespace { const foo *null_foo = NULL; @@ -203,3 +223,8 @@ TEST(CastingTest, InferredUpcastTakesPrecedence) { } // end namespace inferred_upcasting } // end anonymous namespace +// Test that we reject casts of temporaries (and so the illegal cast gets used). +namespace TemporaryCast { +struct pod {}; +IllegalCast *testIllegalCast() { return cast<foo>(pod()); } +} |