[Bug sanitizer/58411] New: no_sanitize_undefined function attribute

[Bug sanitizer/58411] New: no_sanitize_undefined function attribute

[jan.smets@alcatel-lucent.com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58411

            Bug ID: 58411
           Summary: no_sanitize_undefined function attribute
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: sanitizer
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jan.smets@alcatel-lucent.com
                CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org,
                    jakub at gcc dot gnu.org, kcc at gcc dot gnu.org

Request for a no_sanitize_undefined attribute

[Bug sanitizer/58411] no_sanitize_undefined function attribute

[mpolacek at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58411

Marek Polacek <mpolacek at gcc dot gnu.org> 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 <mpolacek at gcc dot gnu.org> ---
Mine.

[Bug sanitizer/58411] no_sanitize_undefined function attribute

[jan.smets@alcatel-lucent.com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58411

--- Comment #2 from Jan Smets <jan.smets@alcatel-lucent.com> ---
Please also think of the other -fsanitize= options.

[Bug sanitizer/58411] no_sanitize_undefined function attribute

[mpolacek at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58411

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

[Bug sanitizer/58411] no_sanitize_undefined function attribute

[jan.smets@alcatel-lucent.com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58411

--- Comment #3 from Jan Smets <jan.smets@alcatel-lucent.com> ---
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

[mpolacek at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58411

--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
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  <polacek@redhat.com>

    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

[mpolacek at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58411

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Fixed.  I do not plan to add any other attributes at the moment.