[LLVMbugs] [Bug 7223] -fcatch-undefined-behaviour doesn't catch missing return values
bugzilla-daemon at llvm.org
bugzilla-daemon at llvm.org
Fri Dec 28 05:27:23 PST 2012
http://llvm.org/bugs/show_bug.cgi?id=7223
Dmitri Gribenko <gribozavr at gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
CC| |gribozavr at gmail.com
Resolution| |FIXED
--- Comment #2 from Dmitri Gribenko <gribozavr at gmail.com> 2012-12-28 07:27:23 CST ---
Richard Smith implemented this (at least since r165533):
$ cat /tmp/z.cc
int foo() {}
int main() {
foo();
}
$ clang -fsanitize=undefined /tmp/z.cc
/tmp/z.cc:1:12: warning: control reaches end of non-void function
[-Wreturn-type]
int foo() {}
^
1 warning generated.
$ ./a.out
/tmp/z.cc:1:5: runtime error: execution reached the end of a value-returning
function without returning a value
--
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.
More information about the llvm-bugs
mailing list