[LLVMbugs] [Bug 13812] New: clang is more strict with some indirect gotos that with others

[bugzilla-daemon at llvm.org]

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

             Bug #: 13812
           Summary: clang is more strict with some indirect gotos that
                    with others
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: C++
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: rafael.espindola at gmail.com
                CC: dgregor at apple.com, llvmbugs at cs.uiuc.edu
    Classification: Unclassified


we reject

struct C {
  ~C();
};
void f(void **ip) {
  static void *ips[] = { &&l0 };
 l0:
  C c0;
  goto *ip;
}

but we accept

struct C {
  ~C();
};
void f(void **ip) {
  static void *ips[] = { &&l0 };
 l0:
  C c0;
  goto *&&l0;
}

we also accept

struct C {
  C(int x);
  ~C();
};
void f(void **ip) {
  static void *ips[] = { &&l0 };
 l0:
  C c0 = 42;
  goto *ip;
}

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