diff options
| author | Richard Smith <richard-llvm@metafoo.co.uk> | 2018-08-01 02:27:18 +0000 |
|---|---|---|
| committer | Richard Smith <richard-llvm@metafoo.co.uk> | 2018-08-01 02:27:18 +0000 |
| commit | 5ee75be310d5b62315471e38e63603e7c5b5136f (patch) | |
| tree | 26a21235dd2c4202f935d6fdd586fe76e043232b | |
| parent | 726e1d4f31118950407db6af4bcc4c980d9726cb (diff) | |
Work around GCC miscompile exposed by r338464.
See gcc.gnu.org/PR86769 for details of the bug.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@338478 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/Sema/SemaDecl.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/Sema/SemaDecl.cpp b/lib/Sema/SemaDecl.cpp index eb76b949af..b92d76ad42 100644 --- a/lib/Sema/SemaDecl.cpp +++ b/lib/Sema/SemaDecl.cpp @@ -6011,9 +6011,12 @@ static void checkAttributesAfterMerging(Sema &S, NamedDecl &ND) { // Check the attributes on the function type, if any. if (const auto *FD = dyn_cast<FunctionDecl>(&ND)) { + // Don't declare this variable in the second operand of the for-statement; + // GCC miscompiles that by ending its lifetime before evaluating the + // third operand. See gcc.gnu.org/PR86769. + AttributedTypeLoc ATL; for (TypeLoc TL = FD->getTypeSourceInfo()->getTypeLoc(); - auto ATL = TL ? TL.getAsAdjusted<AttributedTypeLoc>() - : AttributedTypeLoc(); + (ATL = TL.getAsAdjusted<AttributedTypeLoc>()); TL = ATL.getModifiedLoc()) { // The [[lifetimebound]] attribute can be applied to the implicit object // parameter of a non-static member function (other than a ctor or dtor) |