[Bug sanitizer/58411] no_sanitize_undefined function attribute
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58411 Marek Polacek changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|--- |FIXED --- Comment #5 from Marek Polacek --- Fixed. I do not plan to add any other attributes at the moment.
[Bug sanitizer/58411] no_sanitize_undefined function attribute
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58411 --- Comment #4 from Marek Polacek --- Author: mpolacek Date: Wed Sep 18 10:01:40 2013 New Revision: 202682 URL: http://gcc.gnu.org/viewcvs?rev=202682&root=gcc&view=rev Log: 2013-09-18 Marek Polacek PR sanitizer/58411 * doc/extend.texi: Document no_sanitize_undefined attribute. * builtins.c (fold_builtin_0): Don't sanitize function if it has the no_sanitize_undefined attribute. Added: trunk/gcc/testsuite/c-c++-common/ubsan/attrib-1.c Modified: trunk/gcc/ChangeLog trunk/gcc/builtins.c trunk/gcc/c-family/ChangeLog trunk/gcc/c-family/c-common.c trunk/gcc/c/ChangeLog trunk/gcc/c/c-typeck.c trunk/gcc/cp/ChangeLog trunk/gcc/cp/typeck.c trunk/gcc/doc/extend.texi trunk/gcc/testsuite/ChangeLog
[Bug sanitizer/58411] no_sanitize_undefined function attribute
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58411
--- Comment #3 from Jan Smets ---
Eg, these attributes are useful too I think:
no_sanitize => disable ALL sanitize checks
sanitize -> enable ALL sanitize checks
no_sanitize_{address,undefined,vla...} => disable the specific check
sanitize_{address,undefined,vla...} => enable the specific check
Perhaps the enablers will not be used as much, but it might be useful for
people who want to instrument just one specific function.
The no_sanitize attribute could be used for sensitive code, eg, task scheduler
code, interrupt handlers where someone might choose to never instrument.
Thanks
- Jan
[Bug sanitizer/58411] no_sanitize_undefined function attribute
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58411 Marek Polacek changed: What|Removed |Added Status|NEW |ASSIGNED
[Bug sanitizer/58411] no_sanitize_undefined function attribute
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58411 --- Comment #2 from Jan Smets --- Please also think of the other -fsanitize= options.
[Bug sanitizer/58411] no_sanitize_undefined function attribute
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58411 Marek Polacek changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed||2013-09-13 CC||mpolacek at gcc dot gnu.org Assignee|unassigned at gcc dot gnu.org |mpolacek at gcc dot gnu.org Target Milestone|--- |4.9.0 Ever confirmed|0 |1 --- Comment #1 from Marek Polacek --- Mine.
