r268727 - [MSVC] Implementation of __unaligned as a proper type qualifier
Andrey Bokhanko via cfe-commits
cfe-commits at lists.llvm.org
Fri May 6 07:42:31 PDT 2016
Thanks for reverting (I started it, but your fingers are faster than
mine...)
I will look at the reproducer.
Yours,
Andrey
On Fri, May 6, 2016 at 5:41 PM, Nico Weber <thakis at chromium.org> wrote:
> I verified that this is due to this change. I filed
> https://llvm.org/bugs/show_bug.cgi?id=27666 with a reduced repro and
> reverted this change in r268736.
>
> On Fri, May 6, 2016 at 9:52 AM, Nico Weber <thakis at chromium.org> wrote:
>
>> We're getting this crash now with a regression range of 268724:268729 --
>> i.e. almost certainly this change:
>>
>> FAILED: obj/net/dns/net.mdns_client.obj
>> ninja -t msvc -e environment.x64 --
>> "..\..\third_party/llvm-build/Release+Asserts/bin/clang-cl" -m64 /nologo
>> /showIncludes /FC @obj\net\dns\net.mdns_client.obj.rsp /c
>> ..\..\net\dns\mdns_client.cc /Foobj\net\dns\net.mdns_client.obj
>> /Fdobj\net\net.cc.pdb
>> In file included from ..\..\net\dns\mdns_client.cc:11:
>> In file included from ..\..\net/dns/mdns_client_impl.h:26:
>> In file included from ..\..\net/udp/udp_server_socket.h:13:
>> In file included from ..\..\net/udp/udp_socket.h:11:
>> In file included from ..\..\net/udp/udp_socket_win.h:8:
>> In file included from
>> C:\b\depot_tools\win_toolchain\vs_files\95ddda401ec5678f15eeed01d2bee08fcbc5ee97\win_sdk\bin\..\..\win_sdk\Include\10.0.10586.0\um\qos2.h:23:
>> C:\b\depot_tools\win_toolchain\vs_files\95ddda401ec5678f15eeed01d2bee08fcbc5ee97\win_sdk\bin\..\..\win_sdk\Include\10.0.10586.0\shared\mstcpip.h(588,13):
>> error: no matching constructor for initialization of 'IN_ADDR' (aka
>> 'in_addr')
>> IN_ADDR Ipv4Address = *a;
>> ^ ~~
>> Assertion failed: CVR && "unexpected qualifiers mismatch", file
>> C:\b\build\slave\ClangToTWin64\build\src\third_party\llvm\tools\clang\lib\Sema\SemaOverload.cpp,
>> line 9118
>>
>> Can you revert again? Should be easy to repro, just include <qos2.h> in a
>> cc file and compile that. Let me know if you need help reproducing.
>>
>> On Fri, May 6, 2016 at 7:47 AM, Andrey Bokhanko via cfe-commits <
>> cfe-commits at lists.llvm.org> wrote:
>>
>>> Author: asbokhan
>>> Date: Fri May 6 06:47:55 2016
>>> New Revision: 268727
>>>
>>> URL: http://llvm.org/viewvc/llvm-project?rev=268727&view=rev
>>> Log:
>>> [MSVC] Implementation of __unaligned as a proper type qualifier
>>>
>>> This patch implements __unaligned (MS extension) as a proper type
>>> qualifier
>>> (before that, it was implemented as an ignored attribute).
>>>
>>> It also fixes PR27367.
>>>
>>> Differential Revision: http://reviews.llvm.org/D19654
>>>
>>> Modified:
>>> cfe/trunk/include/clang/AST/Type.h
>>> cfe/trunk/include/clang/Basic/AddressSpaces.h
>>> cfe/trunk/include/clang/Basic/Attr.td
>>> cfe/trunk/include/clang/Sema/DeclSpec.h
>>> cfe/trunk/include/clang/Sema/Sema.h
>>> cfe/trunk/lib/AST/MicrosoftMangle.cpp
>>> cfe/trunk/lib/AST/TypePrinter.cpp
>>> cfe/trunk/lib/Parse/ParseDecl.cpp
>>> cfe/trunk/lib/Parse/ParseTentative.cpp
>>> cfe/trunk/lib/Sema/DeclSpec.cpp
>>> cfe/trunk/lib/Sema/SemaCodeComplete.cpp
>>> cfe/trunk/lib/Sema/SemaDecl.cpp
>>> cfe/trunk/lib/Sema/SemaDeclObjC.cpp
>>> cfe/trunk/lib/Sema/SemaExpr.cpp
>>> cfe/trunk/lib/Sema/SemaOverload.cpp
>>> cfe/trunk/lib/Sema/SemaType.cpp
>>> cfe/trunk/test/CodeGenCXX/mangle-ms-cxx11.cpp
>>> cfe/trunk/test/CodeGenCXX/mangle-ms-cxx14.cpp
>>> cfe/trunk/test/Sema/MicrosoftExtensions.c
>>> cfe/trunk/test/Sema/address_spaces.c
>>> cfe/trunk/test/Sema/invalid-assignment-constant-address-space.c
>>> cfe/trunk/test/SemaCXX/MicrosoftExtensions.cpp
>>>
>>> Modified: cfe/trunk/include/clang/AST/Type.h
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/AST/Type.h?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/include/clang/AST/Type.h (original)
>>> +++ cfe/trunk/include/clang/AST/Type.h Fri May 6 06:47:55 2016
>>> @@ -152,8 +152,8 @@ public:
>>>
>>> enum {
>>> /// The maximum supported address space number.
>>> - /// 24 bits should be enough for anyone.
>>> - MaxAddressSpace = 0xffffffu,
>>> + /// 23 bits should be enough for anyone.
>>> + MaxAddressSpace = 0x7fffffu,
>>>
>>> /// The width of the "fast" qualifier mask.
>>> FastWidth = 3,
>>> @@ -265,6 +265,13 @@ public:
>>> Mask |= mask;
>>> }
>>>
>>> + bool hasUnaligned() const { return Mask & UMask; }
>>> + void setUnaligned(bool flag) {
>>> + Mask = (Mask & ~UMask) | (flag ? UMask : 0);
>>> + }
>>> + void removeUnaligned() { Mask &= ~UMask; }
>>> + void addUnaligned() { Mask |= UMask; }
>>> +
>>> bool hasObjCGCAttr() const { return Mask & GCAttrMask; }
>>> GC getObjCGCAttr() const { return GC((Mask & GCAttrMask) >>
>>> GCAttrShift); }
>>> void setObjCGCAttr(GC type) {
>>> @@ -433,7 +440,9 @@ public:
>>> // ObjC lifetime qualifiers must match exactly.
>>> getObjCLifetime() == other.getObjCLifetime() &&
>>> // CVR qualifiers may subset.
>>> - (((Mask & CVRMask) | (other.Mask & CVRMask)) == (Mask &
>>> CVRMask));
>>> + (((Mask & CVRMask) | (other.Mask & CVRMask)) == (Mask &
>>> CVRMask)) &&
>>> + // U qualifier may superset.
>>> + (!(other.Mask & UMask) || (Mask & UMask));
>>> }
>>>
>>> /// \brief Determines if these qualifiers compatibly include another
>>> set of
>>> @@ -501,16 +510,19 @@ public:
>>>
>>> private:
>>>
>>> - // bits: |0 1 2|3 .. 4|5 .. 7|8 ... 31|
>>> - // |C R V|GCAttr|Lifetime|AddressSpace|
>>> + // bits: |0 1 2|3|4 .. 5|6 .. 8|9 ... 31|
>>> + // |C R V|U|GCAttr|Lifetime|AddressSpace|
>>> uint32_t Mask;
>>>
>>> - static const uint32_t GCAttrMask = 0x18;
>>> - static const uint32_t GCAttrShift = 3;
>>> - static const uint32_t LifetimeMask = 0xE0;
>>> - static const uint32_t LifetimeShift = 5;
>>> - static const uint32_t AddressSpaceMask =
>>> ~(CVRMask|GCAttrMask|LifetimeMask);
>>> - static const uint32_t AddressSpaceShift = 8;
>>> + static const uint32_t UMask = 0x8;
>>> + static const uint32_t UShift = 3;
>>> + static const uint32_t GCAttrMask = 0x30;
>>> + static const uint32_t GCAttrShift = 4;
>>> + static const uint32_t LifetimeMask = 0x1C0;
>>> + static const uint32_t LifetimeShift = 6;
>>> + static const uint32_t AddressSpaceMask =
>>> + ~(CVRMask | UMask | GCAttrMask | LifetimeMask);
>>> + static const uint32_t AddressSpaceShift = 9;
>>> };
>>>
>>> /// A std::pair-like structure for storing a qualified type split
>>> @@ -5377,7 +5389,13 @@ inline bool QualType::isMoreQualifiedTha
>>> /// int" is at least as qualified as "const int", "volatile int",
>>> /// "int", and "const volatile int".
>>> inline bool QualType::isAtLeastAsQualifiedAs(QualType other) const {
>>> - return getQualifiers().compatiblyIncludes(other.getQualifiers());
>>> + Qualifiers otherQuals = other.getQualifiers();
>>> +
>>> + // Ignore __unaligned qualifier if this type is a void.
>>> + if (getUnqualifiedType()->isVoidType())
>>> + otherQuals.removeUnaligned();
>>> +
>>> + return getQualifiers().compatiblyIncludes(otherQuals);
>>> }
>>>
>>> /// If Type is a reference type (e.g., const
>>>
>>> Modified: cfe/trunk/include/clang/Basic/AddressSpaces.h
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Basic/AddressSpaces.h?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/include/clang/Basic/AddressSpaces.h (original)
>>> +++ cfe/trunk/include/clang/Basic/AddressSpaces.h Fri May 6 06:47:55
>>> 2016
>>> @@ -25,7 +25,7 @@ namespace LangAS {
>>> /// This uses a high starting offset so as not to conflict with any
>>> address
>>> /// space used by a target.
>>> enum ID {
>>> - Offset = 0xFFFF00,
>>> + Offset = 0x7FFF00,
>>>
>>> opencl_global = Offset,
>>> opencl_local,
>>>
>>> Modified: cfe/trunk/include/clang/Basic/Attr.td
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Basic/Attr.td?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/include/clang/Basic/Attr.td (original)
>>> +++ cfe/trunk/include/clang/Basic/Attr.td Fri May 6 06:47:55 2016
>>> @@ -2157,10 +2157,6 @@ def InitSeg : Attr {
>>> }];
>>> }
>>>
>>> -def Unaligned : IgnoredAttr {
>>> - let Spellings = [Keyword<"__unaligned">];
>>> -}
>>> -
>>> def LoopHint : Attr {
>>> /// #pragma clang loop <option> directive
>>> /// vectorize: vectorizes loop operations if State == Enable.
>>>
>>> Modified: cfe/trunk/include/clang/Sema/DeclSpec.h
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Sema/DeclSpec.h?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/include/clang/Sema/DeclSpec.h (original)
>>> +++ cfe/trunk/include/clang/Sema/DeclSpec.h Fri May 6 06:47:55 2016
>>> @@ -312,7 +312,10 @@ public:
>>> TQ_volatile = 4,
>>> // This has no corresponding Qualifiers::TQ value, because it's not
>>> treated
>>> // as a qualifier in our type system.
>>> - TQ_atomic = 8
>>> + TQ_atomic = 8,
>>> + // There is no corresponding Qualifiers::TQ value, but it's kept
>>> separately
>>> + // in a dedicated Qualifiers::Mask bit.
>>> + TQ_unaligned = 16
>>> };
>>>
>>> /// ParsedSpecifiers - Flags to query which specifiers were applied.
>>> This is
>>> @@ -343,7 +346,7 @@ private:
>>> unsigned TypeSpecPipe : 1;
>>>
>>> // type-qualifiers
>>> - unsigned TypeQualifiers : 4; // Bitwise OR of TQ.
>>> + unsigned TypeQualifiers : 5; // Bitwise OR of TQ.
>>>
>>> // function-specifier
>>> unsigned FS_inline_specified : 1;
>>> @@ -385,7 +388,8 @@ private:
>>> /// TSTNameLoc provides source range info for tag types.
>>> SourceLocation TSTNameLoc;
>>> SourceRange TypeofParensRange;
>>> - SourceLocation TQ_constLoc, TQ_restrictLoc, TQ_volatileLoc,
>>> TQ_atomicLoc;
>>> + SourceLocation TQ_constLoc, TQ_restrictLoc, TQ_volatileLoc,
>>> TQ_atomicLoc,
>>> + TQ_unalignedLoc;
>>> SourceLocation FS_inlineLoc, FS_virtualLoc, FS_explicitLoc,
>>> FS_noreturnLoc;
>>> SourceLocation FS_forceinlineLoc;
>>> SourceLocation FriendLoc, ModulePrivateLoc, ConstexprLoc, ConceptLoc;
>>> @@ -539,6 +543,7 @@ public:
>>> SourceLocation getRestrictSpecLoc() const { return TQ_restrictLoc; }
>>> SourceLocation getVolatileSpecLoc() const { return TQ_volatileLoc; }
>>> SourceLocation getAtomicSpecLoc() const { return TQ_atomicLoc; }
>>> + SourceLocation getUnalignedSpecLoc() const { return TQ_unalignedLoc; }
>>> SourceLocation getPipeLoc() const { return TQ_pipeLoc; }
>>>
>>> /// \brief Clear out all of the type qualifiers.
>>> @@ -548,6 +553,7 @@ public:
>>> TQ_restrictLoc = SourceLocation();
>>> TQ_volatileLoc = SourceLocation();
>>> TQ_atomicLoc = SourceLocation();
>>> + TQ_unalignedLoc = SourceLocation();
>>> TQ_pipeLoc = SourceLocation();
>>> }
>>>
>>> @@ -1113,8 +1119,8 @@ struct DeclaratorChunk {
>>> };
>>>
>>> struct PointerTypeInfo : TypeInfoCommon {
>>> - /// The type qualifiers: const/volatile/restrict/atomic.
>>> - unsigned TypeQuals : 4;
>>> + /// The type qualifiers: const/volatile/restrict/atomic/unaligned.
>>> + unsigned TypeQuals : 5;
>>>
>>> /// The location of the const-qualifier, if any.
>>> unsigned ConstQualLoc;
>>> @@ -1128,6 +1134,9 @@ struct DeclaratorChunk {
>>> /// The location of the _Atomic-qualifier, if any.
>>> unsigned AtomicQualLoc;
>>>
>>> + /// The location of the __unaligned-qualifier, if any.
>>> + unsigned UnalignedQualLoc;
>>> +
>>> void destroy() {
>>> }
>>> };
>>> @@ -1468,7 +1477,8 @@ struct DeclaratorChunk {
>>> SourceLocation ConstQualLoc,
>>> SourceLocation VolatileQualLoc,
>>> SourceLocation RestrictQualLoc,
>>> - SourceLocation AtomicQualLoc) {
>>> + SourceLocation AtomicQualLoc,
>>> + SourceLocation UnalignedQualLoc) {
>>> DeclaratorChunk I;
>>> I.Kind = Pointer;
>>> I.Loc = Loc;
>>> @@ -1477,6 +1487,7 @@ struct DeclaratorChunk {
>>> I.Ptr.VolatileQualLoc = VolatileQualLoc.getRawEncoding();
>>> I.Ptr.RestrictQualLoc = RestrictQualLoc.getRawEncoding();
>>> I.Ptr.AtomicQualLoc = AtomicQualLoc.getRawEncoding();
>>> + I.Ptr.UnalignedQualLoc = UnalignedQualLoc.getRawEncoding();
>>> I.Ptr.AttrList = nullptr;
>>> return I;
>>> }
>>>
>>> Modified: cfe/trunk/include/clang/Sema/Sema.h
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Sema/Sema.h?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/include/clang/Sema/Sema.h (original)
>>> +++ cfe/trunk/include/clang/Sema/Sema.h Fri May 6 06:47:55 2016
>>> @@ -1675,7 +1675,8 @@ public:
>>> SourceLocation ConstQualLoc =
>>> SourceLocation(),
>>> SourceLocation VolatileQualLoc =
>>> SourceLocation(),
>>> SourceLocation RestrictQualLoc =
>>> SourceLocation(),
>>> - SourceLocation AtomicQualLoc =
>>> SourceLocation());
>>> + SourceLocation AtomicQualLoc =
>>> SourceLocation(),
>>> + SourceLocation UnalignedQualLoc =
>>> SourceLocation());
>>>
>>> static bool adjustContextForLocalExternDecl(DeclContext *&DC);
>>> void DiagnoseFunctionSpecifiers(const DeclSpec &DS);
>>>
>>> Modified: cfe/trunk/lib/AST/MicrosoftMangle.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/MicrosoftMangle.cpp?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/lib/AST/MicrosoftMangle.cpp (original)
>>> +++ cfe/trunk/lib/AST/MicrosoftMangle.cpp Fri May 6 06:47:55 2016
>>> @@ -1446,6 +1446,9 @@ void MicrosoftCXXNameMangler::manglePoin
>>>
>>> if (HasRestrict)
>>> Out << 'I';
>>> +
>>> + if (!PointeeType.isNull() &&
>>> PointeeType.getLocalQualifiers().hasUnaligned())
>>> + Out << 'F';
>>> }
>>>
>>> void MicrosoftCXXNameMangler::manglePointerCVQualifiers(Qualifiers
>>> Quals) {
>>> @@ -1577,6 +1580,8 @@ void MicrosoftCXXNameMangler::mangleType
>>> }
>>> break;
>>> case QMM_Result:
>>> + // Presence of __unaligned qualifier shouldn't affect mangling here.
>>> + Quals.removeUnaligned();
>>> if ((!IsPointer && Quals) || isa<TagType>(T)) {
>>> Out << '?';
>>> mangleQualifiers(Quals, false);
>>>
>>> Modified: cfe/trunk/lib/AST/TypePrinter.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/TypePrinter.cpp?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/lib/AST/TypePrinter.cpp (original)
>>> +++ cfe/trunk/lib/AST/TypePrinter.cpp Fri May 6 06:47:55 2016
>>> @@ -1593,6 +1593,12 @@ void Qualifiers::print(raw_ostream &OS,
>>> AppendTypeQualList(OS, quals, Policy.LangOpts.C99);
>>> addSpace = true;
>>> }
>>> + if (hasUnaligned()) {
>>> + if (addSpace)
>>> + OS << ' ';
>>> + OS << "__unaligned";
>>> + addSpace = true;
>>> + }
>>> if (unsigned addrspace = getAddressSpace()) {
>>> if (addSpace)
>>> OS << ' ';
>>>
>>> Modified: cfe/trunk/lib/Parse/ParseDecl.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Parse/ParseDecl.cpp?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/lib/Parse/ParseDecl.cpp (original)
>>> +++ cfe/trunk/lib/Parse/ParseDecl.cpp Fri May 6 06:47:55 2016
>>> @@ -609,7 +609,6 @@ void Parser::ParseMicrosoftTypeAttribute
>>> case tok::kw___ptr64:
>>> case tok::kw___w64:
>>> case tok::kw___ptr32:
>>> - case tok::kw___unaligned:
>>> case tok::kw___sptr:
>>> case tok::kw___uptr: {
>>> IdentifierInfo *AttrName = Tok.getIdentifierInfo();
>>> @@ -3087,6 +3086,11 @@ void Parser::ParseDeclarationSpecifiers(
>>> break;
>>> }
>>>
>>> + case tok::kw___unaligned:
>>> + isInvalid = DS.SetTypeQual(DeclSpec::TQ_unaligned, Loc, PrevSpec,
>>> DiagID,
>>> + getLangOpts());
>>> + break;
>>> +
>>> case tok::kw___sptr:
>>> case tok::kw___uptr:
>>> case tok::kw___ptr64:
>>> @@ -3097,7 +3101,6 @@ void Parser::ParseDeclarationSpecifiers(
>>> case tok::kw___fastcall:
>>> case tok::kw___thiscall:
>>> case tok::kw___vectorcall:
>>> - case tok::kw___unaligned:
>>> ParseMicrosoftTypeAttributes(DS.getAttributes());
>>> continue;
>>>
>>> @@ -4791,6 +4794,10 @@ void Parser::ParseTypeQualifierListOpt(D
>>> ParseOpenCLQualifiers(DS.getAttributes());
>>> break;
>>>
>>> + case tok::kw___unaligned:
>>> + isInvalid = DS.SetTypeQual(DeclSpec::TQ_unaligned, Loc, PrevSpec,
>>> DiagID,
>>> + getLangOpts());
>>> + break;
>>> case tok::kw___uptr:
>>> // GNU libc headers in C mode use '__uptr' as an identifer which
>>> conflicts
>>> // with the MS modifier keyword.
>>> @@ -4808,7 +4815,6 @@ void Parser::ParseTypeQualifierListOpt(D
>>> case tok::kw___fastcall:
>>> case tok::kw___thiscall:
>>> case tok::kw___vectorcall:
>>> - case tok::kw___unaligned:
>>> if (AttrReqs & AR_DeclspecAttributesParsed) {
>>> ParseMicrosoftTypeAttributes(DS.getAttributes());
>>> continue;
>>> @@ -5031,7 +5037,8 @@ void Parser::ParseDeclaratorInternal(Dec
>>> DS.getConstSpecLoc(),
>>> DS.getVolatileSpecLoc(),
>>> DS.getRestrictSpecLoc(),
>>> - DS.getAtomicSpecLoc()),
>>> + DS.getAtomicSpecLoc(),
>>> +
>>> DS.getUnalignedSpecLoc()),
>>> DS.getAttributes(),
>>> SourceLocation());
>>> else
>>>
>>> Modified: cfe/trunk/lib/Parse/ParseTentative.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Parse/ParseTentative.cpp?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/lib/Parse/ParseTentative.cpp (original)
>>> +++ cfe/trunk/lib/Parse/ParseTentative.cpp Fri May 6 06:47:55 2016
>>> @@ -833,7 +833,7 @@ Parser::TPResult Parser::TryParseDeclara
>>> // '(' abstract-declarator ')'
>>> if (Tok.isOneOf(tok::kw___attribute, tok::kw___declspec,
>>> tok::kw___cdecl,
>>> tok::kw___stdcall, tok::kw___fastcall,
>>> tok::kw___thiscall,
>>> - tok::kw___vectorcall, tok::kw___unaligned))
>>> + tok::kw___vectorcall))
>>> return TPResult::True; // attributes indicate declaration
>>> TPResult TPR = TryParseDeclarator(mayBeAbstract,
>>> mayHaveIdentifier);
>>> if (TPR != TPResult::Ambiguous)
>>>
>>> Modified: cfe/trunk/lib/Sema/DeclSpec.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/DeclSpec.cpp?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/lib/Sema/DeclSpec.cpp (original)
>>> +++ cfe/trunk/lib/Sema/DeclSpec.cpp Fri May 6 06:47:55 2016
>>> @@ -492,6 +492,7 @@ const char *DeclSpec::getSpecifierName(T
>>> case DeclSpec::TQ_restrict: return "restrict";
>>> case DeclSpec::TQ_volatile: return "volatile";
>>> case DeclSpec::TQ_atomic: return "_Atomic";
>>> + case DeclSpec::TQ_unaligned: return "__unaligned";
>>> }
>>> llvm_unreachable("Unknown typespec!");
>>> }
>>> @@ -794,6 +795,7 @@ bool DeclSpec::SetTypeQual(TQ T, SourceL
>>> case TQ_restrict: TQ_restrictLoc = Loc; return false;
>>> case TQ_volatile: TQ_volatileLoc = Loc; return false;
>>> case TQ_atomic: TQ_atomicLoc = Loc; return false;
>>> + case TQ_unaligned: TQ_unalignedLoc = Loc; return false;
>>> }
>>>
>>> llvm_unreachable("Unknown type qualifier!");
>>> @@ -959,10 +961,10 @@ void DeclSpec::Finish(Sema &S, const Pri
>>> TypeSpecSign != TSS_unspecified ||
>>> TypeAltiVecVector || TypeAltiVecPixel || TypeAltiVecBool ||
>>> TypeQualifiers)) {
>>> - const unsigned NumLocs = 8;
>>> + const unsigned NumLocs = 9;
>>> SourceLocation ExtraLocs[NumLocs] = {
>>> TSWLoc, TSCLoc, TSSLoc, AltiVecLoc,
>>> - TQ_constLoc, TQ_restrictLoc, TQ_volatileLoc, TQ_atomicLoc
>>> + TQ_constLoc, TQ_restrictLoc, TQ_volatileLoc, TQ_atomicLoc,
>>> TQ_unalignedLoc
>>> };
>>> FixItHint Hints[NumLocs];
>>> SourceLocation FirstLoc;
>>>
>>> Modified: cfe/trunk/lib/Sema/SemaCodeComplete.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaCodeComplete.cpp?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/lib/Sema/SemaCodeComplete.cpp (original)
>>> +++ cfe/trunk/lib/Sema/SemaCodeComplete.cpp Fri May 6 06:47:55 2016
>>> @@ -3812,6 +3812,9 @@ void Sema::CodeCompleteTypeQualifiers(De
>>> if (getLangOpts().C11 &&
>>> !(DS.getTypeQualifiers() & DeclSpec::TQ_atomic))
>>> Results.AddResult("_Atomic");
>>> + if (getLangOpts().MSVCCompat &&
>>> + !(DS.getTypeQualifiers() & DeclSpec::TQ_unaligned))
>>> + Results.AddResult("__unaligned");
>>> Results.ExitScope();
>>> HandleCodeCompleteResults(this, CodeCompleter,
>>> Results.getCompletionContext(),
>>>
>>> Modified: cfe/trunk/lib/Sema/SemaDecl.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaDecl.cpp?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/lib/Sema/SemaDecl.cpp (original)
>>> +++ cfe/trunk/lib/Sema/SemaDecl.cpp Fri May 6 06:47:55 2016
>>> @@ -3983,6 +3983,8 @@ Sema::ParsedFreeStandingDeclSpec(Scope *
>>> // Restrict is covered above.
>>> if (DS.getTypeQualifiers() & DeclSpec::TQ_atomic)
>>> Diag(DS.getAtomicSpecLoc(), DiagID) << "_Atomic";
>>> + if (DS.getTypeQualifiers() & DeclSpec::TQ_unaligned)
>>> + Diag(DS.getUnalignedSpecLoc(), DiagID) << "__unaligned";
>>> }
>>>
>>> // Warn about ignored type attributes, for example:
>>> @@ -4240,6 +4242,11 @@ Decl *Sema::BuildAnonymousStructOrUnion(
>>> diag::ext_anonymous_struct_union_qualified)
>>> << Record->isUnion() << "_Atomic"
>>> << FixItHint::CreateRemoval(DS.getAtomicSpecLoc());
>>> + if (DS.getTypeQualifiers() & DeclSpec::TQ_unaligned)
>>> + Diag(DS.getUnalignedSpecLoc(),
>>> + diag::ext_anonymous_struct_union_qualified)
>>> + << Record->isUnion() << "__unaligned"
>>> + << FixItHint::CreateRemoval(DS.getUnalignedSpecLoc());
>>>
>>> DS.ClearTypeQualifiers();
>>> }
>>>
>>> Modified: cfe/trunk/lib/Sema/SemaDeclObjC.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaDeclObjC.cpp?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/lib/Sema/SemaDeclObjC.cpp (original)
>>> +++ cfe/trunk/lib/Sema/SemaDeclObjC.cpp Fri May 6 06:47:55 2016
>>> @@ -1503,6 +1503,7 @@ void Sema::actOnObjCTypeArgsOrProtocolQu
>>> SourceLocation(),
>>> SourceLocation(),
>>> SourceLocation(),
>>> + SourceLocation(),
>>> SourceLocation()),
>>> parsedAttrs,
>>> starLoc);
>>>
>>> Modified: cfe/trunk/lib/Sema/SemaExpr.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaExpr.cpp?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/lib/Sema/SemaExpr.cpp (original)
>>> +++ cfe/trunk/lib/Sema/SemaExpr.cpp Fri May 6 06:47:55 2016
>>> @@ -7080,7 +7080,7 @@ checkPointerTypesForAssignment(Sema &S,
>>> else if (lhq.getObjCLifetime() != rhq.getObjCLifetime())
>>> ConvTy = Sema::IncompatiblePointerDiscardsQualifiers;
>>>
>>> - // For GCC compatibility, other qualifier mismatches are treated
>>> + // For GCC/MS compatibility, other qualifier mismatches are treated
>>> // as still compatible in C.
>>> else ConvTy = Sema::CompatiblePointerDiscardsQualifiers;
>>> }
>>>
>>> Modified: cfe/trunk/lib/Sema/SemaOverload.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaOverload.cpp?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/lib/Sema/SemaOverload.cpp (original)
>>> +++ cfe/trunk/lib/Sema/SemaOverload.cpp Fri May 6 06:47:55 2016
>>> @@ -2936,6 +2936,10 @@ Sema::IsQualificationConversion(QualType
>>>
>>> Qualifiers FromQuals = FromType.getQualifiers();
>>> Qualifiers ToQuals = ToType.getQualifiers();
>>> +
>>> + // Ignore __unaligned qualifier if this type is void.
>>> + if (ToType.getUnqualifiedType()->isVoidType())
>>> + FromQuals.removeUnaligned();
>>>
>>> // Objective-C ARC:
>>> // Check Objective-C lifetime conversions.
>>>
>>> Modified: cfe/trunk/lib/Sema/SemaType.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaType.cpp?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/lib/Sema/SemaType.cpp (original)
>>> +++ cfe/trunk/lib/Sema/SemaType.cpp Fri May 6 06:47:55 2016
>>> @@ -1778,12 +1778,13 @@ QualType Sema::BuildQualifiedType(QualTy
>>> }
>>>
>>> QualType Sema::BuildQualifiedType(QualType T, SourceLocation Loc,
>>> - unsigned CVRA, const DeclSpec *DS) {
>>> + unsigned CVRAU, const DeclSpec *DS) {
>>> if (T.isNull())
>>> return QualType();
>>>
>>> - // Convert from DeclSpec::TQ to Qualifiers::TQ by just dropping
>>> TQ_atomic.
>>> - unsigned CVR = CVRA & ~DeclSpec::TQ_atomic;
>>> + // Convert from DeclSpec::TQ to Qualifiers::TQ by just dropping
>>> TQ_atomic and
>>> + // TQ_unaligned;
>>> + unsigned CVR = CVRAU & ~(DeclSpec::TQ_atomic |
>>> DeclSpec::TQ_unaligned);
>>>
>>> // C11 6.7.3/5:
>>> // If the same qualifier appears more than once in the same
>>> @@ -1793,7 +1794,7 @@ QualType Sema::BuildQualifiedType(QualTy
>>> // It's not specified what happens when the _Atomic qualifier is
>>> applied to
>>> // a type specified with the _Atomic specifier, but we assume that
>>> this
>>> // should be treated as if the _Atomic qualifier appeared multiple
>>> times.
>>> - if (CVRA & DeclSpec::TQ_atomic && !T->isAtomicType()) {
>>> + if (CVRAU & DeclSpec::TQ_atomic && !T->isAtomicType()) {
>>> // C11 6.7.3/5:
>>> // If other qualifiers appear along with the _Atomic qualifier in
>>> a
>>> // specifier-qualifier-list, the resulting type is the
>>> so-qualified
>>> @@ -1810,7 +1811,9 @@ QualType Sema::BuildQualifiedType(QualTy
>>> return BuildQualifiedType(T, Loc, Split.Quals);
>>> }
>>>
>>> - return BuildQualifiedType(T, Loc, Qualifiers::fromCVRMask(CVR), DS);
>>> + Qualifiers Q = Qualifiers::fromCVRMask(CVR);
>>> + Q.setUnaligned(CVRAU & DeclSpec::TQ_unaligned);
>>> + return BuildQualifiedType(T, Loc, Q, DS);
>>> }
>>>
>>> /// \brief Build a paren type including \p T.
>>> @@ -2645,7 +2648,8 @@ void Sema::diagnoseIgnoredQualifiers(uns
>>> SourceLocation ConstQualLoc,
>>> SourceLocation VolatileQualLoc,
>>> SourceLocation RestrictQualLoc,
>>> - SourceLocation AtomicQualLoc) {
>>> + SourceLocation AtomicQualLoc,
>>> + SourceLocation UnalignedQualLoc) {
>>> if (!Quals)
>>> return;
>>>
>>> @@ -2653,20 +2657,21 @@ void Sema::diagnoseIgnoredQualifiers(uns
>>> const char *Name;
>>> unsigned Mask;
>>> SourceLocation Loc;
>>> - } const QualKinds[4] = {
>>> + } const QualKinds[5] = {
>>> { "const", DeclSpec::TQ_const, ConstQualLoc },
>>> { "volatile", DeclSpec::TQ_volatile, VolatileQualLoc },
>>> { "restrict", DeclSpec::TQ_restrict, RestrictQualLoc },
>>> - { "_Atomic", DeclSpec::TQ_atomic, AtomicQualLoc }
>>> + { "_Atomic", DeclSpec::TQ_atomic, AtomicQualLoc },
>>> + { "__unaligned", DeclSpec::TQ_unaligned, UnalignedQualLoc }
>>> };
>>>
>>> SmallString<32> QualStr;
>>> unsigned NumQuals = 0;
>>> SourceLocation Loc;
>>> - FixItHint FixIts[4];
>>> + FixItHint FixIts[5];
>>>
>>> // Build a string naming the redundant qualifiers.
>>> - for (unsigned I = 0; I != 4; ++I) {
>>> + for (unsigned I = 0; I != 5; ++I) {
>>> if (Quals & QualKinds[I].Mask) {
>>> if (!QualStr.empty()) QualStr += ' ';
>>> QualStr += QualKinds[I].Name;
>>> @@ -2718,7 +2723,8 @@ static void diagnoseRedundantReturnTypeQ
>>> SourceLocation::getFromRawEncoding(PTI.ConstQualLoc),
>>> SourceLocation::getFromRawEncoding(PTI.VolatileQualLoc),
>>> SourceLocation::getFromRawEncoding(PTI.RestrictQualLoc),
>>> - SourceLocation::getFromRawEncoding(PTI.AtomicQualLoc));
>>> + SourceLocation::getFromRawEncoding(PTI.AtomicQualLoc),
>>> + SourceLocation::getFromRawEncoding(PTI.UnalignedQualLoc));
>>> return;
>>> }
>>>
>>> @@ -2754,7 +2760,8 @@ static void diagnoseRedundantReturnTypeQ
>>> D.getDeclSpec().getConstSpecLoc(),
>>> D.getDeclSpec().getVolatileSpecLoc(),
>>> D.getDeclSpec().getRestrictSpecLoc(),
>>> - D.getDeclSpec().getAtomicSpecLoc());
>>> + D.getDeclSpec().getAtomicSpecLoc(),
>>> + D.getDeclSpec().getUnalignedSpecLoc());
>>> }
>>>
>>> static QualType GetDeclSpecTypeForDeclarator(TypeProcessingState &state,
>>>
>>> Modified: cfe/trunk/test/CodeGenCXX/mangle-ms-cxx11.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGenCXX/mangle-ms-cxx11.cpp?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/test/CodeGenCXX/mangle-ms-cxx11.cpp (original)
>>> +++ cfe/trunk/test/CodeGenCXX/mangle-ms-cxx11.cpp Fri May 6 06:47:55
>>> 2016
>>> @@ -293,3 +293,19 @@ int PR26105() {
>>> }
>>> // CHECK-DAG: @"\01??R<lambda_0>@?0??PR26105@@YAHXZ at QBE@H at Z"
>>> // CHECK-DAG: @"\01??R<lambda_1>@?0???R<lambda_0>@?0??PR26105@
>>> @YAHXZ at QBE@H at Z@QBE at H@Z"
>>> +
>>> +int __unaligned * unaligned_foo1() { return 0; }
>>> +int __unaligned * __unaligned * unaligned_foo2() { return 0; }
>>> +__unaligned int unaligned_foo3() { return 0; }
>>> +void unaligned_foo4(int __unaligned *p1) {}
>>> +void unaligned_foo5(int __unaligned * __restrict p1) {}
>>> +template <typename T> T unaligned_foo6(T t) { return t; }
>>> +void unaligned_foo7() { unaligned_foo6<int *>(0); unaligned_foo6<int
>>> __unaligned *>(0); }
>>> +
>>> +// CHECK-DAG: @"\01?unaligned_foo1@@YAPFAHXZ"
>>> +// CHECK-DAG: @"\01?unaligned_foo2@@YAPFAPFAHXZ"
>>> +// CHECK-DAG: @"\01?unaligned_foo3@@YAHXZ"
>>> +// CHECK-DAG: @"\01?unaligned_foo4@@YAXPFAH at Z"
>>> +// CHECK-DAG: @"\01?unaligned_foo5@@YAXPIFAH at Z"
>>> +// CHECK-DAG: @"\01??$unaligned_foo6 at PAH@@YAPAHPAH at Z"
>>> +// CHECK-DAG: @"\01??$unaligned_foo6 at PFAH@@YAPFAHPFAH at Z"
>>>
>>> Modified: cfe/trunk/test/CodeGenCXX/mangle-ms-cxx14.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGenCXX/mangle-ms-cxx14.cpp?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/test/CodeGenCXX/mangle-ms-cxx14.cpp (original)
>>> +++ cfe/trunk/test/CodeGenCXX/mangle-ms-cxx14.cpp Fri May 6 06:47:55
>>> 2016
>>> @@ -55,3 +55,8 @@ struct Foo {};
>>>
>>> Foo<&x<int>, &x<int>> Zoo;
>>> // CHECK-DAG: "\01?Zoo@@3U?$Foo@$1??$x at H@@3HA$1?1 at 3HA@@A"
>>> +
>>> +template <typename T> T unaligned_x;
>>> +extern auto test_unaligned() { return unaligned_x<int __unaligned *>; }
>>> +// CHECK-DAG: "\01??$unaligned_x at PFAH@@3PFAHA"
>>> +
>>>
>>> Modified: cfe/trunk/test/Sema/MicrosoftExtensions.c
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/MicrosoftExtensions.c?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/test/Sema/MicrosoftExtensions.c (original)
>>> +++ cfe/trunk/test/Sema/MicrosoftExtensions.c Fri May 6 06:47:55 2016
>>> @@ -170,3 +170,11 @@ void myprintf(const char *f, ...) {
>>> __va_start(ap, f); // expected-warning {{incompatible pointer types
>>> passing 'my_va_list'}}
>>> }
>>> }
>>> +
>>> +// __unaligned handling
>>> +void test_unaligned() {
>>> + __unaligned int *p1 = 0;
>>> + int *p2 = p1; // expected-warning {{initializing 'int *' with an
>>> expression of type '__unaligned int *' discards qualifiers}}
>>> + __unaligned int *p3 = p2;
>>> +}
>>> +
>>>
>>> Modified: cfe/trunk/test/Sema/address_spaces.c
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/address_spaces.c?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/test/Sema/address_spaces.c (original)
>>> +++ cfe/trunk/test/Sema/address_spaces.c Fri May 6 06:47:55 2016
>>> @@ -20,7 +20,7 @@ void foo(_AS3 float *a,
>>> _AS1 int arrarr[5][5]; // expected-error {{automatic variable
>>> qualified with an address space}}
>>>
>>> __attribute__((address_space(-1))) int *_boundsA; // expected-error
>>> {{address space is negative}}
>>> - __attribute__((address_space(0xFFFFFF))) int *_boundsB;
>>> + __attribute__((address_space(0x7FFFFF))) int *_boundsB;
>>> __attribute__((address_space(0x1000000))) int *_boundsC; //
>>> expected-error {{address space is larger than the maximum supported}}
>>> // chosen specifically to overflow 32 bits and come out reasonable
>>> __attribute__((address_space(4294967500))) int *_boundsD; //
>>> expected-error {{address space is larger than the maximum supported}}
>>> @@ -71,4 +71,4 @@ __attribute__((address_space("12"))) int
>>> // Clang extension doesn't forbid operations on pointers to different
>>> address spaces.
>>> char* cmp(_AS1 char *x, _AS2 char *y) {
>>> return x < y ? x : y; // expected-warning {{pointer type mismatch
>>> ('__attribute__((address_space(1))) char *' and
>>> '__attribute__((address_space(2))) char *')}}
>>> -}
>>> \ No newline at end of file
>>> +}
>>>
>>> Modified: cfe/trunk/test/Sema/invalid-assignment-constant-address-space.c
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/invalid-assignment-constant-address-space.c?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/test/Sema/invalid-assignment-constant-address-space.c
>>> (original)
>>> +++ cfe/trunk/test/Sema/invalid-assignment-constant-address-space.c Fri
>>> May 6 06:47:55 2016
>>> @@ -1,6 +1,6 @@
>>> // RUN: %clang_cc1 %s -verify -pedantic -fsyntax-only
>>>
>>> -#define OPENCL_CONSTANT 16776962
>>> +#define OPENCL_CONSTANT 8388354
>>> int __attribute__((address_space(OPENCL_CONSTANT))) c[3] = {0};
>>>
>>> void foo() {
>>>
>>> Modified: cfe/trunk/test/SemaCXX/MicrosoftExtensions.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/cfe/trunk/test/SemaCXX/MicrosoftExtensions.cpp?rev=268727&r1=268726&r2=268727&view=diff
>>>
>>> ==============================================================================
>>> --- cfe/trunk/test/SemaCXX/MicrosoftExtensions.cpp (original)
>>> +++ cfe/trunk/test/SemaCXX/MicrosoftExtensions.cpp Fri May 6 06:47:55
>>> 2016
>>> @@ -1,5 +1,7 @@
>>> -// RUN: %clang_cc1 %s -triple i686-pc-win32 -fsyntax-only -Wmicrosoft
>>> -Wc++11-extensions -Wno-long-long -verify -fms-extensions -fexceptions
>>> -fcxx-exceptions
>>> +// RUN: %clang_cc1 %s -triple i686-pc-win32 -fsyntax-only -Wmicrosoft
>>> -Wc++11-extensions -Wno-long-long -verify -fms-extensions -fexceptions
>>> -fcxx-exceptions -DTEST1
>>> +// RUN: %clang_cc1 %s -triple i686-pc-win32 -fsyntax-only -Wmicrosoft
>>> -Wc++11-extensions -Wno-long-long -verify -fexceptions -fcxx-exceptions
>>> -DTEST2
>>>
>>> +#if TEST1
>>>
>>> // Microsoft doesn't validate exception specification.
>>> namespace microsoft_exception_spec {
>>> @@ -80,7 +82,44 @@ struct M {
>>> // __unaligned handling
>>> typedef char __unaligned *aligned_type;
>>> typedef struct UnalignedTag { int f; } __unaligned *aligned_type2;
>>> +typedef char __unaligned aligned_type3;
>>>
>>> +// Check that __unaligned qualifier can be used for overloading
>>> +void foo_unaligned(int *arg) {}
>>> +void foo_unaligned(__unaligned int *arg) {}
>>> +void foo_unaligned(int arg) {} // expected-note {{previous definition
>>> is here}}
>>> +void foo_unaligned(__unaligned int arg) {} // expected-error
>>> {{redefinition of 'foo_unaligned'}}
>>> +class A_unaligned {};
>>> +class B_unaligned : public A_unaligned {};
>>> +int foo_unaligned(__unaligned A_unaligned *arg) { return 0; }
>>> +void *foo_unaligned(B_unaligned *arg) { return 0; }
>>> +
>>> +void test_unaligned() {
>>> + int *p1 = 0;
>>> + foo_unaligned(p1);
>>> +
>>> + __unaligned int *p2 = 0;
>>> + foo_unaligned(p2);
>>> +
>>> + __unaligned B_unaligned *p3 = 0;
>>> + int p4 = foo_unaligned(p3);
>>> +
>>> + B_unaligned *p5 = p3; // expected-error {{cannot initialize a
>>> variable of type 'B_unaligned *' with an lvalue of type '__unaligned
>>> B_unaligned *'}}
>>> +
>>> + __unaligned B_unaligned *p6 = p3;
>>> +}
>>> +
>>> +// Test from PR27367
>>> +// We should accept assignment of an __unaligned pointer to a
>>> non-__unaligned
>>> +// pointer to void
>>> +typedef struct _ITEMIDLIST { int i; } ITEMIDLIST;
>>> +typedef ITEMIDLIST __unaligned *LPITEMIDLIST;
>>> +extern "C" __declspec(dllimport) void __stdcall CoTaskMemFree(void* pv);
>>> +__inline void FreeIDListArray(LPITEMIDLIST *ppidls) {
>>> + CoTaskMemFree(*ppidls);
>>> + __unaligned int *x = 0;
>>> + void *y = x;
>>> +}
>>>
>>> template<typename T> void h1(T (__stdcall M::* const )()) { }
>>>
>>> @@ -420,3 +459,15 @@ struct S {
>>>
>>> int S::fn() { return 0; } // expected-warning {{is missing exception
>>> specification}}
>>> }
>>> +
>>> +#elif TEST2
>>> +
>>> +// Check that __unaligned is not recognized if MS extensions are not
>>> enabled
>>> +typedef char __unaligned *aligned_type; // expected-error {{expected
>>> ';' after top level declarator}}
>>> +
>>> +#else
>>> +
>>> +#error Unknown test mode
>>> +
>>> +#endif
>>> +
>>>
>>>
>>> _______________________________________________
>>> cfe-commits mailing list
>>> cfe-commits at lists.llvm.org
>>> http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
>>>
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20160506/1b1cdf60/attachment-0001.html>
More information about the cfe-commits
mailing list