commit f72bc468e54819393c1805f19cbf353061b4c0ec
author Richard Smith <richard-llvm@metafoo.co.uk> Fri Nov 15 02:29:26 2013 +0000
committer Richard Smith <richard-llvm@metafoo.co.uk> Fri Nov 15 02:29:26 2013 +0000
tree 8ec05533be480ad2ea9417a2caaf9fbfe7b02af5
parent 54307dac5910aa02358f217773786d61fd83989d

Don't reject dependent range-based for loops in constexpr functions. The loop
variable isn't really uninitialized, it's just not initialized yet.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@194767 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Sema/SemaDeclCXX.cpp

diff --git a/lib/Sema/SemaDeclCXX.cpp b/lib/Sema/SemaDeclCXX.cpp
index 660641e..1eec231 100644
--- a/lib/Sema/SemaDeclCXX.cpp
+++ b/lib/Sema/SemaDeclCXX.cpp
@@ -880,7 +880,7 @@
               diag::err_constexpr_local_var_non_literal_type,
               isa<CXXConstructorDecl>(Dcl)))
           return false;
-        if (!VD->hasInit()) {
+        if (!VD->hasInit() && !VD->isCXXForRangeDecl()) {
           SemaRef.Diag(VD->getLocation(),
                        diag::err_constexpr_local_var_no_init)
             << isa<CXXConstructorDecl>(Dcl);