From 33834516f361dfb3e52c6ca71336adaf45b1d65e Mon Sep 17 00:00:00 2001 From: Douglas Gregor Date: Sun, 14 Jun 2009 07:33:30 +0000 Subject: Update LLVM. Implement support for C++ Substitution Failure Is Not An Error (SFINAE), which says that errors that occur during template argument deduction do *not* produce diagnostics and do not necessarily make a program ill-formed. Instead, template argument deduction silently fails. This is currently implemented for template argument deduction during matching of class template partial specializations, although the mechanism will also apply to template argument deduction for function templates. The scheme is simple: - If we are in a template argument deduction context, any diagnostic that is considered a SFINAE error (or warning) will be suppressed. The error will be propagated up the call stack via the normal means. - By default, all warnings and errors are SFINAE errors. Add the NoSFINAE class to a diagnostic in the .td file to make it a hard error (e.g., for access-control violations). Note that, to make this fully work, every place in Sema that emits an error *and then immediately recovers* will need to check Sema::isSFINAEContext() to determine whether it must immediately return an error rather than recovering. llvm-svn: 73332 --- clang/test/SemaTemplate/temp_class_spec.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'clang/test/SemaTemplate/temp_class_spec.cpp') diff --git a/clang/test/SemaTemplate/temp_class_spec.cpp b/clang/test/SemaTemplate/temp_class_spec.cpp index 6fedce76ae0..1a534236c8e 100644 --- a/clang/test/SemaTemplate/temp_class_spec.cpp +++ b/clang/test/SemaTemplate/temp_class_spec.cpp @@ -251,9 +251,8 @@ int is_nested_value_type_identity0[ is_nested_value_type_identity >::value? -1 : 1]; int is_nested_value_type_identity1[ is_nested_value_type_identity::value? 1 : -1]; -// FIXME: Enable when we have SFINAE support -//int is_nested_value_type_identity2[ -// is_nested_value_type_identity::value? -1 : 1]; +int is_nested_value_type_identity2[ + is_nested_value_type_identity::value? -1 : 1]; // C++ [temp.class.spec]p4: -- cgit v1.2.3