decltype(bit field type) is the underlying subtype#2293
Merged
kroening merged 1 commit intodiffblue:developfrom Jun 7, 2018
Merged
decltype(bit field type) is the underlying subtype#2293kroening merged 1 commit intodiffblue:developfrom
kroening merged 1 commit intodiffblue:developfrom
