Hi All,

We're currently running into a problem where CIL seems to transform

        (mainValue < (0xFFFFFFFFFFFFFFFFULL)/1000)
to
        (mainValue < 0ULL) 


This problem seems to be tracked in bug 2815129

Does anyone have a fix for this?

Thanks,
Dany

------------------------------------------------------------------------------
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to