diff options
| author | Eli Friedman <eli.friedman@gmail.com> | 2009-05-16 12:15:55 +0000 |
|---|---|---|
| committer | Eli Friedman <eli.friedman@gmail.com> | 2009-05-16 12:15:55 +0000 |
| commit | 54135838e20740c6115ed3085484e987cfceb53f (patch) | |
| tree | 49a7148875620a13b964135f0cfd43a1d001aa30 /clang/lib/Sema/SemaDecl.cpp | |
| parent | 0b4af8f7554d8ae782fbd9e92a6d4211e8c95c2a (diff) | |
| download | bcm5719-llvm-54135838e20740c6115ed3085484e987cfceb53f.tar.gz bcm5719-llvm-54135838e20740c6115ed3085484e987cfceb53f.zip | |
PR2044: reject declarations of functions returning variably modified
types.
llvm-svn: 71941
Diffstat (limited to 'clang/lib/Sema/SemaDecl.cpp')
| -rw-r--r-- | clang/lib/Sema/SemaDecl.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/clang/lib/Sema/SemaDecl.cpp b/clang/lib/Sema/SemaDecl.cpp index 1ed063ab400..077658c624d 100644 --- a/clang/lib/Sema/SemaDecl.cpp +++ b/clang/lib/Sema/SemaDecl.cpp @@ -2344,6 +2344,13 @@ void Sema::CheckFunctionDeclaration(FunctionDecl *NewFD, NamedDecl *&PrevDecl, if (NewFD->isInvalidDecl()) return; + if (NewFD->getResultType()->isVariablyModifiedType()) { + // Functions returning a variably modified type violate C99 6.7.5.2p2 + // because all functions have linkage. + Diag(NewFD->getLocation(), diag::err_vm_func_decl); + return NewFD->setInvalidDecl(); + } + // Semantic checking for this function declaration (in isolation). if (getLangOptions().CPlusPlus) { // C++-specific checks. |
