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

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

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

Sam James <sjames at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Segmentation fault with     |[11/12/13/14/15 regression]
                   |-fsanitize=address          |Segmentation fault with
                   |-fsanitize=null -O2 when    |-fsanitize=address
                   |attribute                   |-fsanitize=null -O2 when
                   |no_sanitize_address is      |attribute
                   |enabled                     |no_sanitize_address is
                   |                            |enabled

--- Comment #1 from Sam James <sjames at gcc dot gnu.org> ---
testing on godbolt gives..


gcc 8.2:
```
<source>:2:37: warning: always_inline function might not be inlinable
[-Wattributes]
 __attribute__((always_inline)) int *c() {
                                     ^
<source>: In function 'd':
<source>:2:37: error: inlining failed in call to always_inline 'c': function
attribute mismatch
<source>:6:61: note: called from here
 __attribute__((no_sanitize_address)) static char d() { *a = c(); }
                                                             ^~~
Compiler returned: 1
```

gcc 8.3:
```
<source>:2:37: warning: always_inline function might not be inlinable
[-Wattributes]
 __attribute__((always_inline)) int *c() {
                                     ^
during GIMPLE pass: sanopt
<source>: In function 'd':
<source>:6:50: internal compiler error: Segmentation fault
 __attribute__((no_sanitize_address)) static char d() { *a = c(); }
                                                  ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.
Compiler returned: 1
```

so a regression in that we ICE.