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
[email protected]
https://lists.sourceforge.net/lists/listinfo/cil-users
