https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123645
--- Comment #2 from XChy <xxs_chy at outlook dot com> ---
(In reply to Andrew Pinski from comment #1)
> This is actually undefined.
> ```
> uint64_t backsmith_pure_7(BS_VEC(int32_t, 8) BS_ARG_3)
> {
> BS_VEC(uint16_t, 32) BS_VAR_2[6];
> if (BS_ARG_3[7]) return 4083;
> return BS_VAR_2[0][7];
> }
> ```
>
> BS_VAR_2 is uninitialized. so it could return anything.
Is BS_ARG_3[7] always true if I don't miss something? In that case, BS_VAR_2
should never be accessed.
