summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Redl <sebastian.redl@getdesigned.at>2009-11-05 16:36:20 +0000
committerSebastian Redl <sebastian.redl@getdesigned.at>2009-11-05 16:36:20 +0000
commit65ae200a131d0ec00d9a7f7979102305059cef38 (patch)
tree139a982494a594d559e4f1c7614a7222a0c0fb9e
parentd3f630f4d51eaf73d9a1247dac6fa7f5574e9a32 (diff)
downloadbcm5719-llvm-65ae200a131d0ec00d9a7f7979102305059cef38.tar.gz
bcm5719-llvm-65ae200a131d0ec00d9a7f7979102305059cef38.zip
When collecting types for built-in candidates, make arrays decay to pointers. Otherwise, subscripting an array leads to no candidates at all. Fixes PR5360.
llvm-svn: 86140
-rw-r--r--clang/lib/Sema/SemaOverload.cpp4
-rw-r--r--clang/test/SemaCXX/overloaded-operator.cpp11
2 files changed, 15 insertions, 0 deletions
diff --git a/clang/lib/Sema/SemaOverload.cpp b/clang/lib/Sema/SemaOverload.cpp
index 24c3ae391b5..3e6778bc477 100644
--- a/clang/lib/Sema/SemaOverload.cpp
+++ b/clang/lib/Sema/SemaOverload.cpp
@@ -3052,6 +3052,10 @@ BuiltinCandidateTypeSet::AddTypesConvertedFrom(QualType Ty,
// We don't care about qualifiers on the type.
Ty = Ty.getUnqualifiedType();
+ // If we're dealing with an array type, decay to the pointer.
+ if (Ty->isArrayType())
+ Ty = SemaRef.Context.getArrayDecayedType(Ty);
+
if (const PointerType *PointerTy = Ty->getAs<PointerType>()) {
QualType PointeeTy = PointerTy->getPointeeType();
diff --git a/clang/test/SemaCXX/overloaded-operator.cpp b/clang/test/SemaCXX/overloaded-operator.cpp
index 0f723ad206b..750038d4ab5 100644
--- a/clang/test/SemaCXX/overloaded-operator.cpp
+++ b/clang/test/SemaCXX/overloaded-operator.cpp
@@ -268,3 +268,14 @@ void circ() {
CircA a;
a->val = 0; // expected-error {{circular pointer delegation detected}}
}
+
+// PR5360: Arrays should lead to built-in candidates for subscript.
+typedef enum {
+ LastReg = 23,
+} Register;
+class RegAlloc {
+ int getPriority(Register r) {
+ return usepri[r];
+ }
+ int usepri[LastReg + 1];
+};
OpenPOWER on IntegriCloud