On Tue, Aug 06, 2013 at 11:03:00PM -0700, Jonathan Kotker wrote: > Is there a way to do this without having to preserve the ternary operator? > The conversion of the ternary operator is useful for easier analysis.
No, the conversion basically calls Cil.constFold which fails on anything but ints and enums. You could try and patch src/cil.ml around line 2570 to handle that case, but I'm not quite sure if it is safe to do constant-folding of floating-point values (there is an awful lot of potential issues, starting with float/double conversion). Best, -- Gabriel ------------------------------------------------------------------------------ Get 100% visibility into Java/.NET code with AppDynamics Lite! It's a free troubleshooting tool designed for production. Get down to code-level detail for bottlenecks, with <2% overhead. Download for free and get started troubleshooting in minutes. http://pubads.g.doubleclick.net/gampad/clk?id=48897031&iu=/4140/ostg.clktrk _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
