[Bug default/29608] New: struct deintegrator does not work for structs with anonymous fields

[mnabipoor at gnu dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=29608

            Bug ID: 29608
           Summary: struct deintegrator does not work for structs with
                    anonymous fields
           Product: poke
           Version: unspecified
            Status: NEW
          Severity: normal
          Priority: P2
         Component: default
          Assignee: unassigned at sourceware dot org
          Reporter: mnabipoor at gnu dot org
                CC: poke-devel at gnu dot org
  Target Milestone: ---

(poke) type T  =              struct int { uint<16> a : a != 0; uint<16> b; }
(poke) type T1 = struct int { struct int { uint<16> a : a != 0; uint<16> b; };
}
(poke) type T2 = struct int { struct int { uint<16> a : a != 0; uint<16> b; }
x; }
(poke) 0xdeadbeef as T
T {a=0xdeadUH,b=0xbeefUH}
(poke) 0xdeadbeef as T1
unhandled constraint violation exception
constraint expression failed for field a
(poke) 0xdeadbeef as T2
T2 {x=struct {a=0xdeadUH,b=0xbeefUH}}

-- 
You are receiving this mail because:
You are on the CC list for the bug.