wangtao
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

If we have a C-style cast, functional cast, or a static_cast to a 

class type, don't perform the array-to-pointer or function-to-pointer
conversions, because we may end up binding a reference to a function
or array.

With this change, FileCheck now passes -fsyntax-only!

llvm-svn: 86211
This commit is contained in:
Douglas Gregor 2009-11-06 01:14:41 +00:00
parent 02ba0ea461
commit ad8b22269e
2 changed files with 16 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
clang/lib/Sema/SemaCXXCast.cpp
View File

@ -388,7 +388,7 @@ CheckStaticCast(Sema &Self, Expr *&SrcExpr, QualType DestType,
return;
}
if (!DestType->isLValueReferenceType())
if (!DestType->isLValueReferenceType() && !DestType->isRecordType())
Self.DefaultFunctionArrayConversion(SrcExpr);
unsigned msg = diag::err_bad_cxx_cast_generic;
@ -1104,7 +1104,7 @@ bool Sema::CXXCheckCStyleCast(SourceRange R, QualType CastTy, Expr *&CastExpr,
if (CastTy->isDependentType() || CastExpr->isTypeDependent())
return false;
if (!CastTy->isLValueReferenceType())
if (!CastTy->isLValueReferenceType() && !CastTy->isRecordType())
DefaultFunctionArrayConversion(CastExpr);
// C++ [expr.cast]p5: The conversions performed by

14
clang/test/SemaCXX/cast-conversion.cpp
View File

@ -19,3 +19,17 @@ int main () {
// expected-warning {{expression result unused}}
}
template<class T>
struct X0 {
X0(const T &);
};
template<class T>
X0<T> make_X0(const T &Val) {
return X0<T>(Val);
}
void test_X0() {
const char array[2];
make_X0(array);
}