[LLVMbugs] [Bug 7223] New: -fcatch-undefined-behaviour doesn't catch missing return values

[bugzilla-daemon at llvm.org]

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

           Summary: -fcatch-undefined-behaviour doesn't catch missing
                    return values
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: C++
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: chris at bubblescope.net
                CC: llvmbugs at cs.uiuc.edu, dgregor at apple.com


-fcatch-undefined-behaviour doesn't catch functions which fail to return a
value when they should. It would be nice if did. Example:

int foo() {}

Calling foo() when compiled with -fcatch-undefined-behaviour should cause an
abort();

I believe hooking an abort() (or other function) onto the end of every method
when -fcatch-undefined-behaviour is used would catch such cases.

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