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