https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116409
--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Cleaned up testcase from PR116411 : ``` int f (int t, char *a, char *b) { if (t) return __builtin_strlen (a); return __builtin_strlen (b); } ```