[Bug tree-optimization/80625] gcc fails to notice strdup does not modify it's argument

[glisse at gcc dot gnu.org]

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

--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> ---
s might be a global variable, that foo modifies.