[LLVMbugs] [Bug 6451] New: Missing diagnostics for jump crossing initialization

[bugzilla-daemon at llvm.org]

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

           Summary: Missing diagnostics for jump crossing initialization
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P5
         Component: C++
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: dgregor at apple.com
                CC: llvmbugs at cs.uiuc.edu, dgregor at apple.com


The jump diagnostics need to learn that we can't jump past an initialization in
C++:

terfin:clang dgregor$ cat t.C
struct X {
  X();
};

void f() {
  goto later;
  X x;
 later:
  ;
}
terfin:clang dgregor$ clang -fsyntax-only t.C
terfin:clang dgregor$ g++ -fsyntax-only t.C
t.C: In function ‘void f()’:
t.C:8: error: jump to label ‘later’
t.C:6: error:   from here
t.C:7: error:   crosses initialization of ‘X x’

-- 
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.