llvm-project/clang/test/SemaCXX/for-range-no-std.cpp
Sam Panzer 0f38443616 Better diagnostics for range-based for loops with bad range types.
The old error message stating that 'begin' was an undeclared identifier
is replaced with a new message explaining that the error is in the range
expression, along with which of the begin() and end() functions was
problematic if relevant.

Additionally, if the range was a pointer type or defines operator*,
attempt to dereference the range, and offer a FixIt if the modified range
works.

llvm-svn: 162248
2012-08-21 00:52:01 +00:00

44 lines
984 B
C++

// RUN: %clang_cc1 -fsyntax-only -verify %s -std=c++11
// RUN: %clang_cc1 -fsyntax-only -verify %s -std=c++98 -Wno-c++11-extensions
struct S {
int *begin();
int *end();
};
struct T {
};
struct Range {};
int begin(Range); // expected-note {{not viable}}
int end(Range);
namespace NS {
struct ADL {};
struct iter {
int operator*();
bool operator!=(iter);
void operator++();
};
iter begin(ADL); // expected-note {{not viable}}
iter end(ADL);
struct NoADL {};
}
NS::iter begin(NS::NoADL); // expected-note {{not viable}}
NS::iter end(NS::NoADL);
void f() {
int a[] = {1, 2, 3};
for (auto b : S()) {} // ok
for (auto b : T()) {} // expected-error {{invalid range expression of type 'T'}}
for (auto b : a) {} // ok
for (int b : NS::ADL()) {} // ok
for (int b : NS::NoADL()) {} // expected-error {{invalid range expression of type 'NS::NoADL'}}
}
void PR11601() {
void (*vv[])() = {PR11601, PR11601, PR11601};
for (void (*i)() : vv) i();
}