[Bug c/109489] New: [ubsan] Support -fsanitize-trap=

[Bug c/109489] New: [ubsan] Support -fsanitize-trap=

[i at maskray dot me]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109489

            Bug ID: 109489
           Summary: [ubsan] Support -fsanitize-trap=
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: i at maskray dot me
  Target Milestone: ---

Clang has supported -fsanitize-trap=undefined and many fine-grained options[1]
e.g. -fsanitize-trap=alignment since 2015.

-fsanitize-undefined-trap-on-error is a deprecated alias for
-fsanitize-trap=undefined in Clang. -fsanitize-trap= provides fine-grained
control over putting specific checks into the trap mode, and it provides a
unified interface with -fsanitize= and -fsanitize-recover=.

As an example, -fsanitize=undefined in the normal mode may increase the binary
size a lot.
The user may put some checks into the trap mode while keeping the rest in the
normal mode (-fsanitize-trap=alignment,null) to make the binary smaller.

[1]: https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html

[Bug sanitizer/109489] [ubsan] Support -fsanitize-trap=

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109489

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |enhancement
          Component|c                           |sanitizer
                 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,
                   |                            |marxin at gcc dot gnu.org

[Bug sanitizer/109489] [ubsan] Support -fsanitize-trap=

[i at maskray dot me]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109489

Fangrui Song <i at maskray dot me> changed:

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

--- Comment #1 from Fangrui Song <i at maskray dot me> ---
This has been implemented in
https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=2c7cfc7b418564a2f1f0e7a5b38dec7013ba5e18
(2022-06). Sorry that I did not check the trunk GCC.

https://gcc.gnu.org/onlinedocs/gcc/Instrumentation-Options.html says "The
-fsanitize-undefined-trap-on-error option is deprecated equivalent of
-fsanitize-trap=all." (as expected).

[Bug sanitizer/109489] [ubsan] Support -fsanitize-trap=

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109489

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |13.0

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
r13-1164-g2c7cfc7b418564