[LLVMbugs] [Bug 6953] New: __builtin_types_compatible_p does not take in account noreturn attributes

[bugzilla-daemon at llvm.org]

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

           Summary: __builtin_types_compatible_p does not take in account
                    noreturn attributes
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: LLVM Codegen
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: abramobagnara at tin.it
                CC: llvmbugs at cs.uiuc.edu


This code compiles in gcc, but not in clang due to different result.

The two types are considered incompatible by gcc and compatible by clang.

typedef void (*f1)();
typedef void (*f2)() __attribute__ ((noreturn));

int p() {
  int a[1 - __builtin_types_compatible_p(f1, f2) * 2];
}

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