maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Make const-initialized const integral variables I-C-Es in C++. 

llvm-svn: 64015
This commit is contained in:
Sebastian Redl 2009-02-07 13:06:23 +00:00
parent 1d91dd98ad
commit f3b5e27fee
3 changed files with 19 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
clang/lib/AST/Expr.cpp
View File

@ -865,6 +865,17 @@ bool Expr::isIntegerConstantExpr(llvm::APSInt &Result, ASTContext &Ctx,
Result = D->getInitVal();
break;
}
if (Ctx.getLangOptions().CPlusPlus &&
getType().getCVRQualifiers() == QualType::Const) {
// C++ 7.1.5.1p2
// A variable of non-volatile const-qualified integral or enumeration
// type initialized by an ICE can be used in ICEs.
if (const VarDecl *Dcl =
dyn_cast<VarDecl>(cast<DeclRefExpr>(this)->getDecl())) {
if (const Expr *Init = Dcl->getInit())
return Init->isIntegerConstantExpr(Result, Ctx, Loc, isEvaluated);
}
}
if (Loc) *Loc = getLocStart();
return false;
case UnaryOperatorClass: {

6
clang/test/SemaCXX/i-c-e-cxx.cpp Normal file
View File

@ -0,0 +1,6 @@
// RUN: clang -fsyntax-only -verify %s
// C++-specific tests for integral constant expressions.
const int c = 10;
int ar[c];

4
clang/www/cxx_status.html
View File

@ -1013,9 +1013,9 @@ welcome!</p>
<td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;7.1.5.1 [dcl.type.cv]</td>
<td class="complete" align="center">&#x2713;</td>
<td class="complete" align="center">&#x2713;</td>
<td class="medium"></td>
<td class="complete" align="center">&#x2713;</td>
<td></td>
<td></td>
<td>Const integral variables with ICE initializers are not ICEs.</td>
</tr>
<tr>
<td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;7.1.5.2 [dcl.type.simple]</td>