On Sun, Aug 25, 2013 at 01:26:08AM -0700, Jonathan Kotker wrote:
> Apologies for reviving an old thread, but I'm revisiting this issue, trying
> to see if I can patch a way around it, without having to constant-fold
> floating point numbers.
>
> Looking at the suggested line (line 2656 of src/cil.
Apologies for reviving an old thread, but I'm revisiting this issue, trying
to see if I can patch a way around it, without having to constant-fold
floating point numbers.
Looking at the suggested line (line 2656 of src/cil.ml), it does not look
like that particular code should be throwing the erro
