// RUN: %clang_cc1 -std=c++11 -verify %s -Wno-tautological-compare | |
template <typename T, typename U> | |
void f(int* pi, float* pf, T* pt, U* pu, T t) { | |
(void)(pi - pi); | |
(void)(pi - pf); // expected-error {{not pointers to compatible types}} | |
(void)(pi - pt); | |
(void)(pu - pi); | |
(void)(pu - pt); | |
(void)(pu - t); | |
(void)(pi - t); | |
} |