https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79547
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Yeah, if alias analysis would be able to determine that __builtin_strlen
doesn't really escape the address anywhere (similarly strcmp and others), then
it would magically just work, the strlen pass just asks alias oracle whether
each stmt can modify the bytes pointed by s.
