Re: [committed] analyzer: bitfield fixes [PR99212]

2021-06-17 Thread Christophe Lyon via Gcc-patches
On Wed, 16 Jun 2021 at 00:03, David Malcolm wrote: > > On Wed, 2021-06-09 at 11:00 -0400, David Malcolm wrote: > > On Wed, 2021-06-09 at 16:17 +0200, Christophe Lyon wrote: > > > On Tue, 8 Jun 2021 at 21:34, David Malcolm via Gcc-patches > > > wrote: > > > > > > > > This patch verifies the previo

Re: [committed] analyzer: bitfield fixes [PR99212]

2021-06-15 Thread David Malcolm via Gcc-patches
On Wed, 2021-06-09 at 11:00 -0400, David Malcolm wrote: > On Wed, 2021-06-09 at 16:17 +0200, Christophe Lyon wrote: > > On Tue, 8 Jun 2021 at 21:34, David Malcolm via Gcc-patches > > wrote: > > > > > > This patch verifies the previous fix for bitfield sizes by > > > implementing > > > enough supp

Re: [committed] analyzer: bitfield fixes [PR99212]

2021-06-09 Thread David Malcolm via Gcc-patches
On Wed, 2021-06-09 at 16:17 +0200, Christophe Lyon wrote: > On Tue, 8 Jun 2021 at 21:34, David Malcolm via Gcc-patches > wrote: > > > > This patch verifies the previous fix for bitfield sizes by > > implementing > > enough support for bitfields in the analyzer to get the test cases > > to pass. >

Re: [committed] analyzer: bitfield fixes [PR99212]

2021-06-09 Thread Christophe Lyon via Gcc-patches
On Tue, 8 Jun 2021 at 21:34, David Malcolm via Gcc-patches wrote: > > This patch verifies the previous fix for bitfield sizes by implementing > enough support for bitfields in the analyzer to get the test cases to pass. > > The patch implements support in the analyzer for reading from a > BIT_FIEL

[committed] analyzer: bitfield fixes [PR99212]

2021-06-08 Thread David Malcolm via Gcc-patches
This patch verifies the previous fix for bitfield sizes by implementing enough support for bitfields in the analyzer to get the test cases to pass. The patch implements support in the analyzer for reading from a BIT_FIELD_REF, and support for folding BIT_AND_EXPR of a mask, to handle the cases gen