1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 3 template <int A, int B> void foo() { 4 (void)(A == A); // expected-warning {{self-comparison always evaluates to true}} 5 (void)(A == B); 6 } 7 template <int A, int B> struct S1 { 8 void foo() { 9 (void)(A == A); // expected-warning {{self-comparison always evaluates to true}} 10 (void)(A == B); 11 } 12 }; 13 14 template <int A, int B> struct S2 { 15 template <typename T> T foo() { 16 (void)(A == A); // expected-warning {{self-comparison always evaluates to true}} 17 (void)(A == B); 18 } 19 }; 20 21 struct S3 { 22 template <int A, int B> void foo() { 23 (void)(A == A); // expected-warning {{self-comparison always evaluates to true}} 24 (void)(A == B); 25 } 26 }; 27 28 template <int A> struct S4 { 29 template <int B> void foo() { 30 (void)(A == A); // expected-warning {{self-comparison always evaluates to true}} 31 (void)(A == B); 32 } 33 }; 34 35 const int N = 42; 36 template <int X> void foo2() { 37 (void)(X == N); 38 (void)(N == X); 39 } 40 41 void test() { 42 foo<1, 1>(); 43 S1<1, 1> s1; s1.foo(); 44 S2<1, 1> s2; s2.foo<void>(); 45 S3 s3; s3.foo<1, 1>(); 46 S4<1> s4; s4.foo<1>(); 47 foo2<N>(); 48 } 49
