en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/SemaTemplate/partial-order.cpp#f0393bf0 Revert r295277 to fix buildbot.llvm-svn: 295281 List of files: /llvm-project-15.0.7/clang/test/SemaTemplate/partial-order.cpp Thu, 16 Feb 2017 04:22:56 +0000 Richard Smith <richard-llvm@metafoo.co.uk> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/SemaTemplate/partial-order.cpp#86a1b135 Add missing "deduced A == A" check for function template partial ordering.This appears to be the only template argument deduction context where we weremissing this check. Surprisingly, other implementations also appear to missthe check in this case; it may turn out that important code is relying onthe widespread non-conformance here, in which case we'll need to reconsider.llvm-svn: 295277 List of files: /llvm-project-15.0.7/clang/test/SemaTemplate/partial-order.cpp Thu, 16 Feb 2017 03:49:44 +0000 Richard Smith <richard-llvm@metafoo.co.uk> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/SemaTemplate/partial-order.cpp#957fbf1f Partial revert of r290511.The rules around typechecking deduced template arguments during partialordering are not clear, and while the prior behavior does not seem to becorrect (it doesn't follow the general model of partial ordering where eachtemplate parameter is replaced by a non-dependent but unique value), the newbehavior is also not clearly right and breaks some existing idioms.The new behavior is retained for dealing with non-type template parameterswith 'auto' types, as without it even the most basic uses of that featuredon't work. We can revisit this once CWG has come to an agreement on howpartial ordering with 'auto' non-type template parameters is supposed towork.llvm-svn: 292183 List of files: /llvm-project-15.0.7/clang/test/SemaTemplate/partial-order.cpp Tue, 17 Jan 2017 02:14:37 +0000 Richard Smith <richard-llvm@metafoo.co.uk>