Re: [CIL users] Is_char_unsigned = is_char_signed, a CIL bug or not?

Thanks for your quick confirmation. On Fri, Feb 8, 2013 at 8:37 AM, Gabriel Kerneis wrote: > On Fri, Feb 08, 2013 at 08:15:26AM +0800, haihao shen wrote: > > Here is the piece of code in CIL 1.5.1. Please help verify the issue. > > It seems to be a bug in CIL indeed. I've committed your fix. G

Re: [CIL users] Is_char_unsigned = is_char_signed, a CIL bug or not?

On Fri, Feb 08, 2013 at 08:15:26AM +0800, haihao shen wrote: > Here is the piece of code in CIL 1.5.1. Please help verify the issue. It seems to be a bug in CIL indeed. I've committed your fix. Good catch. Many thanks for the report, -- Gabriel

[CIL users] Is_char_unsigned = is_char_signed, a CIL bug or not?

Here is the piece of code in CIL 1.5.1. Please help verify the issue. Thanks. Index: machdepenv.ml === --- machdepenv.ml(revision 9196) +++ machdepenv.ml(working copy) @@ -82,7 +82,7 @@ alignof_aligned = getInt entr