c/10339: strncmp generates imPure code

[Michael Ubell]

Andreas Schwab wrote:
> Michael Ubell <ubell@mindspring.com> writes:
> 
> |> Attached is a program that reads 831 unaligned unallocated
> |> bytes.  I can't actually get it to segv on Solaris because
> |> I don't know enough about their memory management, but
> |> I cannot believe this is correct code.
> 
> Yes, you are right, I can reproduce that also on ia64-linux.  The
> conversion to memcmp is really invalid here.
> 
> Andreas.
> 

Now I get to argue the other side :-)  Was your string properly null
terminated?  If not, then its not the compiler's fault.  I think
memcmp is valid so long as the strings are well formed.  This will
be true because C strings may not contain embedded nulls.