[LLVMbugs] [Bug 12044] New: clang does't enforce current definition of a "literal type" regarding references

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=12044

             Bug #: 12044
           Summary: clang does't enforce current definition of a "literal
                    type" regarding references
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: C++0x
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: sharparrow1 at yahoo.com
                CC: dgregor at apple.com, llvmbugs at cs.uiuc.edu,
                    richard-llvm at metafoo.co.uk
    Classification: Unclassified


struct BeingDefined { virtual ~BeingDefined(); };
BeingDefined beingdefined;
constexpr BeingDefined& t = beingdefined;

[basic.types]p10 says this is illegal, but clang accepts it.

The fix is straightforward, but it affects a lot of tests (specifically, ones
involving std::type_info), so I'd like to check whether my assessment is
correct.

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.