This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug sanitizer/62307] -fsanitize=undefined doesn't pay attention to __attribute__((returns_nonnull))
- From: "samsonov at google dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Fri, 29 Aug 2014 21:09:26 +0000
- Subject: [Bug sanitizer/62307] -fsanitize=undefined doesn't pay attention to __attribute__((returns_nonnull))
- Auto-submitted: auto-generated
- References: <bug-62307-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62307
--- Comment #3 from Alexey Samsonov <samsonov at google dot com> ---
FYI, Jakub has proposed a patch to add additional check to -fsanitize=undefined
that would specifically sanitize functions with returns_nonnull attribute:
however, it would sanitize bodies of the function and insert checks before
return-statements to verify in runtime that the function actually doesn't
return null.