Author: Sam McCall Date: 2022-01-18T22:18:35+01:00 New Revision: 4777eb2954080864bcf9dfca0e828c637268eb13
URL: https://github.com/llvm/llvm-project/commit/4777eb2954080864bcf9dfca0e828c637268eb13 DIFF: https://github.com/llvm/llvm-project/commit/4777eb2954080864bcf9dfca0e828c637268eb13.diff LOG: [Sema] Add test for new errors due to 09f8315bba391 Knowing the type of more dependent expressions means we can diagnose more errors at template parsing rather than instantiation time. Such templates are IFNDR, so this is a QoI improvement. I hadn't anticipated this in the original patch, so had no test. Added: Modified: clang/test/SemaTemplate/fun-template-def.cpp Removed: ################################################################################ diff --git a/clang/test/SemaTemplate/fun-template-def.cpp b/clang/test/SemaTemplate/fun-template-def.cpp index 037747d35c0de..de77901b5b601 100644 --- a/clang/test/SemaTemplate/fun-template-def.cpp +++ b/clang/test/SemaTemplate/fun-template-def.cpp @@ -21,7 +21,7 @@ int f0(T x) { } template <typename T, typename U> -T f1(T t1, U u1, int i1) +T f1(T t1, U u1, int i1, T** tpp) { T t2 = i1; t2 = i1 + u1; @@ -48,6 +48,7 @@ T f1(T t1, U u1, int i1) dummy d2 = offsetof(T, foo); // expected-error {{no viable conversion}} dummy d3 = __alignof(u1); // expected-error {{no viable conversion}} i1 = typeid(t1); // expected-error {{assigning to 'int' from incompatible type 'const std::type_info'}} + i1 = tpp[0].size(); // expected-error {{'T *' is not a structure or union}} return u1; } _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
