Changes in PR10177.cpp

0d923af4 - Add missing diagnostic for explicit instantiation declarations naming

Fri, 26 Apr 2019 01:51:07 +0000

Add missing diagnostic for explicit instantiation declarations naminginternal linkage entities.Such constructs are ill-formed by [temp.explicit]p13. We make a specialexception to permit an invalid construct used by libc++ in some buildmodes: its header declares some functions with theinternal_linkage attribute and then (meaninglessly) provides explicitinstantiation declarations for them. Luckily, Clang happens toeffectively ignore the explicit instantiation declaration whengenerating code in this case, and this change codifies that behavior.This reinstates part of r359048, reverted in r359076. (The libc++ issuetriggering the rollback has been addressed.)llvm-svn: 359259 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/PR10177.cpp

b8292c95 - Revert r359048: C++ DR2387: a variable template declared wthi

Wed, 24 Apr 2019 08:50:24 +0000

Revert r359048: C++ DR2387: a variable template declared wthiThe change breaks libc++ with the follwing error:In file included from valarray:4:.../include/c++/v1/valarray:1062:60: error: explicit instantiation declaration of 'valarray<_Tp>' with internal linkage_LIBCPP_EXTERN_TEMPLATE(_LIBCPP_FUNC_VIS valarray::valarray(size_t)) ^.../include/c++/v1/valarray:1063:60: error: explicit instantiation declaration of '~valarray<_Tp>' with internal linkage_LIBCPP_EXTERN_TEMPLATE(_LIBCPP_FUNC_VIS valarray::~valarray())llvm-svn: 359076 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/PR10177.cpp

eeab4518 - C++ DR2387: a variable template declared wtih (or instantiated with) a

Tue, 23 Apr 2019 23:48:00 +0000

C++ DR2387: a variable template declared wtih (or instantiated with) aconst-qualified type is not implicitly given internal linkage. But avariable template declared 'static' is.llvm-svn: 359048 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/PR10177.cpp

e5945871 - Revisit PR10177: don't instantiate a variable if it's only referenced in a

Fri, 06 Jan 2017 22:52:53 +0000

Revisit PR10177: don't instantiate a variable if it's only referenced in adependent context and can't be used in a constant expression.Per C++ [temp.inst]p2, "the instantiation of a static data member does notoccur unless the static data member is used in a way that requires thedefinition to exist".This doesn't /quite/ match that, as we still instantiate static data membersthat are usable in constant expressions even if the use doesn't require adefinition. A followup patch will fix that for both variables and functions.llvm-svn: 291295 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/PR10177.cpp

7dcc97e7 - Warn if function or variable cannot be implicitly instantiated

Tue, 19 Apr 2016 06:19:52 +0000

Warn if function or variable cannot be implicitly instantiatedWith this patch compiler emits warning if it tries to make implicit instantiationof a template but cannot find the template definition. The warning can be suppressedby explicit instantiation declaration or by command line options-Wundefined-var-template and -Wundefined-func-template. The implementation followsthe discussion of http://reviews.llvm.org/D12326.Differential Revision: http://reviews.llvm.org/D16396llvm-svn: 266719 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/PR10177.cpp

f73da98f - Not all instantiated variable is odr-used. Do not mark non-odr-used variable template specializations as such.

Wed, 30 Jul 2014 00:49:55 +0000

Not all instantiated variable is odr-used. Do not mark non-odr-used variable template specializations as such.llvm-svn: 214267 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/PR10177.cpp

b6fab261 - Fix PR10177 where non-type template arguments to alias templates are not marked as used in dependent contexts. The fix actually forces non-dependent names to be checked at template definition time as expected from the standard.

Tue, 29 Jul 2014 18:44:19 +0000

Fix PR10177 where non-type template arguments to alias templates are not marked as used in dependent contexts. The fix actually forces non-dependent names to be checked at template definition time as expected from the standard.llvm-svn: 214192 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/PR10177.cpp

764d2fe6 - Unlike in C++03, a constant-expression is not an unevaluated operand in C++11.

Tue, 20 Dec 2011 02:08:33 +0000

Unlike in C++03, a constant-expression is not an unevaluated operand in C++11.Split out a new ExpressionEvaluationContext flag for this case, and don't treatit as unevaluated in C++11. This fixes some crash-on-invalids where we wouldallow references to class members in potentially-evaluated constant expressionsin static member functions, and also fixes half of PR10177.The fix to PR10177 exposed a case where template instantiation failed to providea source location for a diagnostic, so TreeTransform has been tweaked to supplysource locations when transforming a type. The source location is still not verygood, but MarkDeclarationsReferencedInType would need to operate on a TypeLoc toimprove it further.Also fix MarkDeclarationReferenced in C++98 mode to trigger instantiation forstatic data members of class templates which are used in constant expressions.This fixes a link-time problem, but we still incorrectly treat the member asnon-constant. The rest of the fix for that issue is blocked on PCH support forearly-instantiated static data members, which will be added in a subsequentpatch.llvm-svn: 146955 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/PR10177.cpp