On Tue, Jul 25, 2023 at 9:08 PM Aldy Hernandez via Gcc-patches
wrote:
>
> bit_value_binop initializes VAL regardless of the final mask. It even
> has a comment to that effect:
>
> /* Ensure that VAL is initialized (to any value). */
>
> However, bit_value_unop, which in theory shares the same
bit_value_binop initializes VAL regardless of the final mask. It even
has a comment to that effect:
/* Ensure that VAL is initialized (to any value). */
However, bit_value_unop, which in theory shares the same API, does not.
This causes range-ops to choke on uninitialized VALs for some inputs
