Re: [PATCH] diagnose more out-of-bounds char writes (PR 91977)

2019-10-03 Thread Jeff Law
On 10/3/19 5:28 PM, Martin Sebor wrote: > The count_nonzero_bytes() function that computes the range of bytes > stored by a multi-byte assignment is overly conservative and fails > to determine the number of bytes to store for expressions involving > MEM_REF with DECL operands without a constant in

[PATCH] diagnose more out-of-bounds char writes (PR 91977)

2019-10-03 Thread Martin Sebor
The count_nonzero_bytes() function that computes the range of bytes stored by a multi-byte assignment is overly conservative and fails to determine the number of bytes to store for expressions involving MEM_REF with DECL operands without a constant initializer. Even though it's not possible to de