Ah okay, thanks, Gabriel. I will try to work around this then.
On 6 August 2013 23:15, Gabriel Kerneis wrote:
> On Wed, Aug 07, 2013 at 07:13:17AM +0100, Gabriel Kerneis wrote:
> > You could try and patch src/cil.ml around line 2570 to handle that case
>
> Line 2656 and following actually (cons
On Wed, Aug 07, 2013 at 07:13:17AM +0100, Gabriel Kerneis wrote:
> You could try and patch src/cil.ml around line 2570 to handle that case
Line 2656 and following actually (constFoldBinOp).
--
Gabriel
--
Get 100% visibi
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 an
Ah thanks, Gabriel!
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.
On 6 August 2013 22:59, Gabriel Kerneis wrote:
> On Tue, Aug 06, 2013 at 03:55:02PM -0700, Jonathan Kotker wrote:
> > int a = (in
On Tue, Aug 06, 2013 at 03:55:02PM -0700, Jonathan Kotker wrote:
> int a = (int)((3.0 > 2.0) ? 1.0 : 4.0);
>
> CIL does not seem to like this code, complaining about global initializers
> on the first line. However, this is not a problem if the constants are
> integers. Is there any way to stop /
Hello (CIL) World.
I have a question about global initializers. In particular, I have the
following piece of code:
int a = (int)((3.0 > 2.0) ? 1.0 : 4.0);
int foo(void) {
if (a > 0) { ... }
}
CIL does not seem to like this code, complaining about global initializers
on the first line. Howev
Hi,
I've just signed the following petition "Shri. Manmohan Singh, Prime Minister -
Government of India : Save RTI Act from Amendments " and wanted to see if you
could help by adding your name.
Our goal is to reach 15,000 signatures and we need more support. You can read
more and sign the peti
