[CIL users] CIL and Bit Fields

[Roy <roy@CS.UCLA.EDU>]

Howdy All,

I am getting the following error when attempting to use the simplify module in
CIL on programs that use bitfields:

====
$ ~/mote/cil-1.3.5/obj/x86_LINUX/cilly.asm.exe --dosimplify parse.c 

parse.c:15: Bug: typeOffset: Field on a non-compound
Fatal error: exception Errormsg.Error
====

The following is a short program that causes CIL to trigger this bug:

====
typedef struct
{
    int free : 1;
    int counter : 3;
} __attribute__ ((packed)) tpsn_node_t;


typedef struct {
    tpsn_node_t tpsn_node[7];
} __attribute__ ((packed)) app_state_t;


int main() {
    app_state_t s;
    s.tpsn_node[0].counter--;
    return 0;
}
====

Is there a known problem with the use of bitfields and various parts of CIL?

Thanks,
-Roy