[PATCH] D40698: [ubsan] Diagnose noreturn functions which return
Eli Friedman via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Nov 30 19:07:08 PST 2017
efriedma added inline comments.
================
Comment at: lib/CodeGen/CGCall.cpp:2756
SourceLocation EndLoc) {
+ if (FI.isNoReturn()) {
+ // Noreturn functions don't return.
----------------
Unfortunately, this won't catch cases where the caller has a noreturn marking, but the callee doesn't. Maybe strip the noreturn attribute from the caller, then put the sanitizer check into both the caller and callee?
================
Comment at: lib/CodeGen/CGCall.cpp:2764
// Naked functions don't have epilogues.
- Builder.CreateUnreachable();
+ EmitUnreachable(EndLoc);
return;
----------------
This is likely a problem. Not because the code is supposed to be reachable, but because putting additional code into a naked function can have weird effects. Probably not worth messing with this case.
https://reviews.llvm.org/D40698
More information about the cfe-commits
mailing list