maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/test/Misc/diag-template-diffing-color...

101 lines
5.3 KiB
C++
Raw Normal View History

Add new diff modes to template type diffing. Remove an old assertion that does not hold. It is possible for a template argument to be a declaration in one instantiation and an integer in another. Create two new diff kinds for these (decl vs int and int vs decl). llvm-svn: 257869
2016-01-15 13:01:53 +08:00
// RUN: not %clang_cc1 -fsyntax-only -std=c++11 -fcolor-diagnostics %s 2>&1 | FileCheck %s
// RUN: not %clang_cc1 -fsyntax-only -std=c++11 -fcolor-diagnostics -fdiagnostics-show-template-tree %s 2>&1 | FileCheck %s -check-prefix=TREE
clang/test/Misc/diag-template-diffing-color.cpp: Introduce the feature 'ansi-escape-sequences'. llvm-svn: 160043
2012-07-11 19:44:00 +08:00
// REQUIRES: ansi-escape-sequences
Fix template type diffing coloring (r159216) when forcing color output to a file (not a terminal) Reviewed (over the shoulder) by Richard Trieu. llvm-svn: 159381
2012-06-29 05:46:07 +08:00
template<typename> struct foo {};
void func(foo<int>);
int main() {
func(foo<double>());
}
clang/test/Misc/diag-template-diffing-color.cpp: Symbolize color sequences in FileCheck. llvm-svn: 173561
2013-01-26 14:13:05 +08:00
// CHECK: {{.*}}candidate function not viable: no known conversion from 'foo<[[CYAN:.\[0;1;36m]]double[[RESET:.\[0m]]>' to 'foo<[[CYAN]]int[[RESET]]>' for 1st argument[[RESET]]
Fix typos from r159463 and update tests. Added Matt Beaumont-Gay's suggestion to improve wording of a diagnostic message. llvm-svn: 159473
2012-06-30 07:11:10 +08:00
// TREE: candidate function not viable: no known conversion from argument type to parameter type for 1st argument
Update the %diff modifer to have an alternate string print when a template tree is selected. This will allow more flexibility when converting diagnostics to use template type diffing. Also updated the internal manual and test cases for correctly keeping the bold attribute and for tree printing. llvm-svn: 159463
2012-06-30 05:12:16 +08:00
// TREE: foo<
clang/test/Misc/diag-template-diffing-color.cpp: Symbolize color sequences in FileCheck. llvm-svn: 173561
2013-01-26 14:13:05 +08:00
// TREE: {{\[}}[[CYAN:.\[0;1;36m]]double[[RESET:.\[0m]] != [[CYAN]]int[[RESET]]]>[[RESET]]
Update the %diff modifer to have an alternate string print when a template tree is selected. This will allow more flexibility when converting diagnostics to use template type diffing. Also updated the internal manual and test cases for correctly keeping the bold attribute and for tree printing. llvm-svn: 159463
2012-06-30 05:12:16 +08:00
foo<int> A;
foo<double> &B = A;
clang/test/Misc/diag-template-diffing-color.cpp: Symbolize color sequences in FileCheck. llvm-svn: 173561
2013-01-26 14:13:05 +08:00
// CHECK: {{.*}}non-const lvalue reference to type 'foo<[[CYAN]]double[[RESET]][[BOLD:.\[1m]]>' cannot bind to a value of unrelated type 'foo<[[CYAN]]int[[RESET]][[BOLD]]>'[[RESET]]
Fix typos from r159463 and update tests. Added Matt Beaumont-Gay's suggestion to improve wording of a diagnostic message. llvm-svn: 159473
2012-06-30 07:11:10 +08:00
// TREE: non-const lvalue reference cannot bind to a value of unrelated type
Update the %diff modifer to have an alternate string print when a template tree is selected. This will allow more flexibility when converting diagnostics to use template type diffing. Also updated the internal manual and test cases for correctly keeping the bold attribute and for tree printing. llvm-svn: 159463
2012-06-30 05:12:16 +08:00
// TREE: foo<
clang/test/Misc/diag-template-diffing-color.cpp: Symbolize color sequences in FileCheck. llvm-svn: 173561
2013-01-26 14:13:05 +08:00
// TREE: {{\[}}[[CYAN]]double[[RESET]][[BOLD:.\[1m]] != [[CYAN]]int[[RESET]][[BOLD]]]>[[RESET]]
Update template type diffing to handle qualifiers. Differing qualifiers will now be printed with highlighting. llvm-svn: 164843
2012-09-29 04:32:51 +08:00
template<typename> class vector {};
void set15(vector<const vector<int> >) {}
void test15() {
set15(vector<const vector<const int> >());
}
clang/test/Misc/diag-template-diffing-color.cpp: Symbolize color sequences in FileCheck. llvm-svn: 173561
2013-01-26 14:13:05 +08:00
// CHECK: {{.*}}candidate function not viable: no known conversion from 'vector<const vector<[[CYAN]]const{{ ?}}[[RESET]]{{ ?}}int>>' to 'vector<const vector<int>>' for 1st argument
Update template type diffing to handle qualifiers. Differing qualifiers will now be printed with highlighting. llvm-svn: 164843
2012-09-29 04:32:51 +08:00
// TREE: {{.*}}candidate function not viable: no known conversion from argument type to parameter type for 1st argument
// TREE: vector<
// TREE: const vector<
clang/test/Misc/diag-template-diffing-color.cpp: Symbolize color sequences in FileCheck. llvm-svn: 173561
2013-01-26 14:13:05 +08:00
// TREE: {{\[}}[[CYAN]]const{{ ?}}[[RESET]]{{ ?}}!= [[CYAN]](no qualifiers)[[RESET]]] int>>
Update template type diffing to handle qualifiers. Differing qualifiers will now be printed with highlighting. llvm-svn: 164843
2012-09-29 04:32:51 +08:00
void set16(vector<vector<int> >) {}
void test16() {
set16(vector<const vector<int> >());
}
Template Type Diffing change When all the arguments of a template are elided, print "A<...>" instead of "A<[2 * ...]>". Also remove comment fragment that means nothing. llvm-svn: 259445
2016-02-02 08:36:59 +08:00
// CHECK: {{.*}}candidate function not viable: no known conversion from 'vector<[[CYAN]]const{{ ?}}[[RESET]]{{ ?}}vector<...>>' to 'vector<vector<...>>' for 1st argument
Update template type diffing to handle qualifiers. Differing qualifiers will now be printed with highlighting. llvm-svn: 164843
2012-09-29 04:32:51 +08:00
// TREE: {{.*}}candidate function not viable: no known conversion from argument type to parameter type for 1st argument
// TREE: vector<
Template Type Diffing change When all the arguments of a template are elided, print "A<...>" instead of "A<[2 * ...]>". Also remove comment fragment that means nothing. llvm-svn: 259445
2016-02-02 08:36:59 +08:00
// TREE: {{\[}}[[CYAN]]const{{ ?}}[[RESET]]{{ ?}}!= [[CYAN]](no qualifiers){{ ?}}[[RESET]]]{{ ?}}vector<...>>
Update template type diffing to handle qualifiers. Differing qualifiers will now be printed with highlighting. llvm-svn: 164843
2012-09-29 04:32:51 +08:00
void set17(vector<const vector<int> >) {}
void test17() {
set17(vector<vector<int> >());
}
Template Type Diffing change When all the arguments of a template are elided, print "A<...>" instead of "A<[2 * ...]>". Also remove comment fragment that means nothing. llvm-svn: 259445
2016-02-02 08:36:59 +08:00
// CHECK: candidate function not viable: no known conversion from 'vector<vector<...>>' to 'vector<[[CYAN]]const{{ ?}}[[RESET]]{{ ?}}vector<...>>' for 1st argument
Update template type diffing to handle qualifiers. Differing qualifiers will now be printed with highlighting. llvm-svn: 164843
2012-09-29 04:32:51 +08:00
// TREE: candidate function not viable: no known conversion from argument type to parameter type for 1st argument
// TREE: vector<
Template Type Diffing change When all the arguments of a template are elided, print "A<...>" instead of "A<[2 * ...]>". Also remove comment fragment that means nothing. llvm-svn: 259445
2016-02-02 08:36:59 +08:00
// TREE: {{\[}}[[CYAN]](no qualifiers){{ ?}}[[RESET]]{{ ?}}!= [[CYAN]]const[[RESET]]] vector<...>>
Update template type diffing to handle qualifiers. Differing qualifiers will now be printed with highlighting. llvm-svn: 164843
2012-09-29 04:32:51 +08:00
void set18(vector<volatile vector<int> >) {}
void test18() {
set18(vector<const vector<int> >());
}
Template Type Diffing change When all the arguments of a template are elided, print "A<...>" instead of "A<[2 * ...]>". Also remove comment fragment that means nothing. llvm-svn: 259445
2016-02-02 08:36:59 +08:00
// CHECK: candidate function not viable: no known conversion from 'vector<[[CYAN]]const{{ ?}}[[RESET]]{{ ?}}vector<...>>' to 'vector<[[CYAN]]volatile{{ ?}}[[RESET]]{{ ?}}vector<...>>' for 1st argument
Update template type diffing to handle qualifiers. Differing qualifiers will now be printed with highlighting. llvm-svn: 164843
2012-09-29 04:32:51 +08:00
// TREE: no matching function for call to 'set18'
// TREE: candidate function not viable: no known conversion from argument type to parameter type for 1st argument
// TREE: vector<
Template Type Diffing change When all the arguments of a template are elided, print "A<...>" instead of "A<[2 * ...]>". Also remove comment fragment that means nothing. llvm-svn: 259445
2016-02-02 08:36:59 +08:00
// TREE: {{\[}}[[CYAN]]const{{ ?}}[[RESET]]{{ ?}}!= [[CYAN]]volatile[[RESET]]] vector<...>>
Update template type diffing to handle qualifiers. Differing qualifiers will now be printed with highlighting. llvm-svn: 164843
2012-09-29 04:32:51 +08:00
void set19(vector<const volatile vector<int> >) {}
void test19() {
set19(vector<const vector<int> >());
}
Template Type Diffing change When all the arguments of a template are elided, print "A<...>" instead of "A<[2 * ...]>". Also remove comment fragment that means nothing. llvm-svn: 259445
2016-02-02 08:36:59 +08:00
// CHECK: candidate function not viable: no known conversion from 'vector<const vector<...>>' to 'vector<const [[CYAN]]volatile{{ ?}}[[RESET]]{{ ?}}vector<...>>' for 1st argument
Update template type diffing to handle qualifiers. Differing qualifiers will now be printed with highlighting. llvm-svn: 164843
2012-09-29 04:32:51 +08:00
// TREE: candidate function not viable: no known conversion from argument type to parameter type for 1st argument
// TREE: vector<
Template Type Diffing change When all the arguments of a template are elided, print "A<...>" instead of "A<[2 * ...]>". Also remove comment fragment that means nothing. llvm-svn: 259445
2016-02-02 08:36:59 +08:00
// TREE: [const != const [[CYAN]]volatile[[RESET]]] vector<...>>
Improve template diffing handling of default integer values. When the template argument is both default and value dependent, the expression retrieved for the default argument cannot be evaluated, thus never matching any argument value. To get the proper value, get the template argument from the desugared template specialization. Also, output the original expression to provide more information about the argument mismatch. llvm-svn: 177209
2013-03-16 07:55:09 +08:00
namespace default_args {
template <int x, int y = 1+1, int z = 2>
class A {};
void foo(A<0> &M) {
// CHECK: no viable conversion from 'A<[...], (default) [[CYAN]]1 + 1[[RESET]][[BOLD]] aka [[CYAN]]2[[RESET]][[BOLD]], (default) [[CYAN]]2[[RESET]][[BOLD]]>' to 'A<[...], [[CYAN]]0[[RESET]][[BOLD]], [[CYAN]]0[[RESET]][[BOLD]]>'
A<0, 0, 0> N = M;
// CHECK: no viable conversion from 'A<[2 * ...], (default) [[CYAN]]2[[RESET]][[BOLD]]>' to 'A<[2 * ...], [[CYAN]]0[[RESET]][[BOLD]]>'
A<0, 2, 0> N2 = M;
}
Add new diff modes to template type diffing. Remove an old assertion that does not hold. It is possible for a template argument to be a declaration in one instantiation and an integer in another. Create two new diff kinds for these (decl vs int and int vs decl). llvm-svn: 257869
2016-01-15 13:01:53 +08:00
}
namespace MixedDeclarationIntegerArgument {
template<typename T, T n = 5> class A{};
int x;
int y[5];
A<int> a1 = A<int&, x>();
// CHECK: no viable conversion from 'A<[[CYAN]]int &[[RESET]][[BOLD]], [[CYAN]]x[[RESET]][[BOLD]]>' to 'A<[[CYAN]]int[[RESET]][[BOLD]], (default) [[CYAN]]5[[RESET]][[BOLD]]>'
// TREE: no viable conversion
// TREE: A<
// TREE: {{\[}}[[CYAN]]int &[[RESET]][[BOLD]] != [[CYAN]]int[[RESET]][[BOLD]]],
// TREE: {{\[}}[[CYAN]]x[[RESET]][[BOLD]] != (default) [[CYAN]]5[[RESET]][[BOLD]]]>
Improve template diffing handling of default integer values. When the template argument is both default and value dependent, the expression retrieved for the default argument cannot be evaluated, thus never matching any argument value. To get the proper value, get the template argument from the desugared template specialization. Also, output the original expression to provide more information about the argument mismatch. llvm-svn: 177209
2013-03-16 07:55:09 +08:00
Add new diff modes to template type diffing. Remove an old assertion that does not hold. It is possible for a template argument to be a declaration in one instantiation and an integer in another. Create two new diff kinds for these (decl vs int and int vs decl). llvm-svn: 257869
2016-01-15 13:01:53 +08:00
A<int**, nullptr> a2 = A<int, 3 + 1>();
// CHECK-ELIDE-NOTREE: error: no viable conversion from 'A<[[CYAN]]int[[RESET]][[BOLD]], [[CYAN]]3 + 1[[RESET]][[BOLD]] aka [[CYAN]]4[[RESET]][[BOLD]]>' to 'A<[[CYAN]]int **[[RESET]][[BOLD]], [[CYAN]]nullptr[[RESET]][[BOLD]]>'
// TREE: no viable conversion
// TREE: A<
// TREE: {{\[}}[[CYAN]]int[[RESET]][[BOLD]] != [[CYAN]]int **[[RESET]][[BOLD]]],
// TREE: {{\[}}[[CYAN]]3 + 1[[RESET]][[BOLD]] aka [[CYAN]]4[[RESET]][[BOLD]] != [[CYAN]]nullptr[[RESET]][[BOLD]]]>
Improve template diffing handling of default integer values. When the template argument is both default and value dependent, the expression retrieved for the default argument cannot be evaluated, thus never matching any argument value. To get the proper value, get the template argument from the desugared template specialization. Also, output the original expression to provide more information about the argument mismatch. llvm-svn: 177209
2013-03-16 07:55:09 +08:00
}