https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92112
--- Comment #2 from Kael Franco <kaelfandrew at gmail dot com> --- I believe a patch that removes abort in f () should also fix bug 81454 since now GCC would know both 81454 globals and this globals has equal strlen.
