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

Template argument deduction for incomplete and constant array types. Doug, please review. 

llvm-svn: 72844
This commit is contained in:
Anders Carlsson 2009-06-04 04:11:30 +00:00
parent 43c52cdc29
commit 35533d11b3
2 changed files with 59 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
clang/lib/Sema/SemaTemplateDeduction.cpp
View File

@ -100,6 +100,35 @@ static bool DeduceTemplateArguments(ASTContext &Context, QualType Param,
Deduced);
}
case Type::IncompleteArray: {
const IncompleteArrayType *IncompleteArrayArg =
Context.getAsIncompleteArrayType(Arg);
if (!IncompleteArrayArg)
return false;
return DeduceTemplateArguments(Context,
Context.getAsIncompleteArrayType(Param)->getElementType(),
IncompleteArrayArg->getElementType(),
Deduced);
}
case Type::ConstantArray: {
const ConstantArrayType *ConstantArrayArg =
Context.getAsConstantArrayType(Arg);
if (!ConstantArrayArg)
return false;
const ConstantArrayType *ConstantArrayParm =
Context.getAsConstantArrayType(Param);
if (ConstantArrayArg->getSize() != ConstantArrayParm->getSize())
return false;
return DeduceTemplateArguments(Context,
ConstantArrayParm->getElementType(),
ConstantArrayArg->getElementType(),
Deduced);
}
default:
break;
}

30
clang/test/SemaTemplate/temp_class_spec.cpp
View File

@ -49,3 +49,33 @@ int is_same0[is_same<int, int>::value? 1 : -1];
int is_same1[is_same<int, INT>::value? 1 : -1];
int is_same2[is_same<const int, int>::value? -1 : 1];
int is_same3[is_same<int_ptr, int>::value? -1 : 1];
template<typename T>
struct is_incomplete_array {
static const bool value = false;
};
template<typename T>
struct is_incomplete_array<T[]> {
static const bool value = true;
};
int incomplete_array0[is_incomplete_array<int>::value ? -1 : 1];
int incomplete_array1[is_incomplete_array<int[1]>::value ? -1 : 1];
int incomplete_array2[is_incomplete_array<bool[]>::value ? 1 : -1];
int incomplete_array3[is_incomplete_array<int[]>::value ? 1 : -1];
template<typename T>
struct is_array_with_4_elements {
static const bool value = false;
};
template<typename T>
struct is_array_with_4_elements<T[4]> {
static const bool value = true;
};
int array_with_4_elements0[is_array_with_4_elements<int[]>::value ? -1 : 1];
int array_with_4_elements1[is_array_with_4_elements<int[1]>::value ? -1 : 1];
int array_with_4_elements2[is_array_with_4_elements<int[4]>::value ? 1 : -1];
int array_with_4_elements3[is_array_with_4_elements<int[4][2]>::value ? 1 : -1];