[PATCH 0/3] fix loading of partially defined bitfield

[Luc Van Oostenryck <luc.vanoostenryck@gmail.com>]

The goal of this series is to fix the problem present in sparse
when a bitfield in an uninitialized automatic variable is first
set then read-back.

In this case the bitfield itself is initialized but not the
remaining of the structure/word and sparse was not smart
enough to handle it.

This is for testing only and the patches are not meant to 
be applied on the main tree becasue it need the new SSA
construction to handle the undefined vars correctly.

(two other simplifications is also needed to make the
generated code a no-op as it should be but not yet
implemented).

The whole code is available in the git repository at:

  git://github.com/lucvoo/sparse.git fix-loading-partialy-defined-bitfields

----------------------------------------------------------------
Luc Van Oostenryck (3):
      new helper: def_opcode()
      change loading of bitfields
      simplify ((A & M') | B ) & M when M' & M == 0

 linearize.c                | 15 +++++++-----
 simplify.c                 | 61 ++++++++++++++++++++++++++++++++++++++++------
 validation/bitfield-size.c |  6 +++--
 3 files changed, 66 insertions(+), 16 deletions(-)