[Bug sanitizer/114956] [11/12/13/14/15 Regression] Segmentation fault with -fsanitize=address -fsanitize=null -O2 when attribute no_sanitize_address is enabled since r9-5742

[jakub at gcc dot gnu.org via Gcc-bugs]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2024-05-06
            Summary|[11/12/13/14/15 regression] |[11/12/13/14/15 Regression]
                   |Segmentation fault with     |Segmentation fault with
                   |-fsanitize=address          |-fsanitize=address
                   |-fsanitize=null -O2 when    |-fsanitize=null -O2 when
                   |attribute                   |attribute
                   |no_sanitize_address is      |no_sanitize_address is
                   |enabled                     |enabled since r9-5742
     Ever confirmed|0                           |1
   Target Milestone|---                         |11.5
             Status|UNCONFIRMED                 |NEW
           Priority|P3                          |P2

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with my r9-5742-g6206a883fe7a741dbb9e09d88255a170a75950f5
-O2 -fsanitize=address,null

int **a;

__attribute__((always_inline)) int *
foo (void)
{
  int b[1];
  (void) b;
}

__attribute__((no_sanitize_address)) static char
bar (void)
{
  *a = foo ();
}

void
baz (void)
{
  bar ();
}