[Bug libfortran/67540] string_intrinsics_inc.c sanitizer detects null pointer passed to memcpy

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pault at gcc dot gnu.org

--- Comment #6 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> BTW can you confirm that the test case is erroneous
> because it dereferences a NULL pointer?

Well I am pointer challenged thus I cannot understand the logic behind the
lines

    str4 => null()
    str = '12a56b78'
    if(str4 == '12a56b78') call abort()

and

    str4 => null()
    str = 4_'12a56b78'
    if(str4 == 4_'12a56b78') call abort()

I am expecting an error (or a segfault).

> Is that intended?

CCed the author of the test.