https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125896
--- Comment #2 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Some more complex cases:
```
struct s2
{
bool t[10];
};
bool f1(struct s2 *a, struct s2 *c, bool b)
{
bool t;
if (b)
t = a->t[4];
else
t = a->t[5];
return t;
}
bool f2(struct s2 *a, struct s2 *c, bool b, int d, int e)
{
bool t;
if (b)
t = a->t[d];
else
t = a->t[e];
return t;
}
```
