diff options
| author | Nikola Smiljanic <popizdeh@gmail.com> | 2014-04-15 11:30:15 +0000 |
|---|---|---|
| committer | Nikola Smiljanic <popizdeh@gmail.com> | 2014-04-15 11:30:15 +0000 |
| commit | 1b4b6bac3bae0947ce8d56162f89c4fd333ca764 (patch) | |
| tree | bc72770cd3737f5c580d67555a449ff2868dc2dc /clang/lib | |
| parent | 16d671a413da37cb32883e94d5d4f495075ee6a2 (diff) | |
| download | bcm5719-llvm-1b4b6bac3bae0947ce8d56162f89c4fd333ca764.tar.gz bcm5719-llvm-1b4b6bac3bae0947ce8d56162f89c4fd333ca764.zip | |
PR19178 __is_constructible returns true for abstract types.
llvm-svn: 206273
Diffstat (limited to 'clang/lib')
| -rw-r--r-- | clang/lib/Sema/SemaExprCXX.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/clang/lib/Sema/SemaExprCXX.cpp b/clang/lib/Sema/SemaExprCXX.cpp index 8b9c0e2cc7d..e3bb944917c 100644 --- a/clang/lib/Sema/SemaExprCXX.cpp +++ b/clang/lib/Sema/SemaExprCXX.cpp @@ -3656,6 +3656,11 @@ static bool evaluateTypeTrait(Sema &S, TypeTrait Kind, SourceLocation KWLoc, if (Args[0]->getType()->isIncompleteType()) return false; + // Make sure the first argument is not an abstract type. + CXXRecordDecl *RD = Args[0]->getType()->getAsCXXRecordDecl(); + if (RD && RD->isAbstract()) + return false; + SmallVector<OpaqueValueExpr, 2> OpaqueArgExprs; SmallVector<Expr *, 2> ArgExprs; ArgExprs.reserve(Args.size() - 1); |
