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

TypePrinter should not ignore IndexTypeCVRQualifiers on constant-sized arrays 

C99 array parameters can have index-type CVR qualifiers, and the TypePrinter
should print them when present (and we were not for constant-sized arrays).
Otherwise, we'd drop the restrict in:

  int foo(int a[restrict static 3]) { ... }

llvm-svn: 213445
This commit is contained in:
Hal Finkel 2014-07-19 02:01:03 +00:00
parent 48d53e2c4c
commit bfe2d3c0f9
2 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
clang/lib/AST/TypePrinter.cpp
View File

@ -431,6 +431,10 @@ void TypePrinter::printConstantArrayBefore(const ConstantArrayType *T,
void TypePrinter::printConstantArrayAfter(const ConstantArrayType *T,
raw_ostream &OS) {
OS << '[';
if (T->getIndexTypeQualifiers().hasQualifiers()) {
AppendTypeQualList(OS, T->getIndexTypeCVRQualifiers());
OS << ' ';
}
if (T->getSizeModifier() == VariableArrayType::Static)
OS << "static ";

10
clang/test/Sema/ast-print.c
View File

@ -24,8 +24,18 @@ int arr(int a[static 3]) {
return a[2];
}
int rarr(int a[restrict static 3]) {
// CHECK: int a[restrict static 3]
return a[2];
}
int varr(int n, int a[static n]) {
// CHECK: int a[static n]
return a[2];
}
int rvarr(int n, int a[restrict static n]) {
// CHECK: int a[restrict static n]
return a[2];
}