[CIL users] deprecated functions vs. oldest supported OCaml version

Compiling the latest CIL code from the "develop" github branch ( https://github.com/cil-project/cil/tree/develop) using OCaml 4.02 produces several warnings about deprecated functions: 11 warnings about Array.create 2 warnings about String.copy 15 warnings about String.set The Arr

Re: [CIL users] bug fixed: added missing __atomic_* builtins

On 11/11/2014 01:50 PM, I wrote: > Please consider making a new CIL 1.7.4 release with this fix as well. Gabriel, are you still around? I assume you'd be the one to post a new release. Can you please make that happen soon, so we have some hope of getting this into Fedora 21 beta? Thanks! --

Re: [CIL users] bug fixed: added missing __atomic_* builtins

Oliver Schwahn wrote: > I noticed that the builtin for swap16 is also missing. I attached a patch > that adds it. Applied and pushed. Thanks for the patch! -- Comprehensive Server Monitoring with Site24x7. Monitor 10 se

[CIL users] bug fixed: added missing __atomic_* builtins

I recently reported a CIL bug regarding missing support for some new "__atomic_*" GCC builtins: . I fixed that bug later the same day, as I do still have commit rights for the CIL repository. However, it seems I do not have the power to close bug repor

[CIL users] [cil:bugs] #149 missing prototypes for GCC __atomic_* builtins

--- ** [bugs:#149] missing prototypes for GCC __atomic_* builtins** **Status:** open **Group:** Bug **Created:** Mon Nov 10, 2014 06:43 PM UTC by Ben Liblit **Last Updated:** Mon Nov 10, 2014 06:43 PM UTC **Owner:** nobody gcc-4.7 introduced a new suite of builtins for atomic operations

Re: [CIL users] fix for additional GCC function attributes

Gabriel Kerneis wrote: > I'll let you commit it yourself to check that everything is okay. Yup, it worked. Thank you! -- Live Security Virtual Conference Exclusive live event will cover all the ways today's security and

[CIL users] fix for additional GCC function attributes

fails with "insufficient permission for adding an object to repository database ./objects". Am I doing this wrong? Do I still have commit rights in theory, or am I no longer considered a CIL developer? -- Ben commit 0e490af4c7685afc5754faa346753082942cef05 Author: Ben Liblit Date: Thu

[CIL users] new official release?

The last official CIL release was in 2009. Many bugs have been fixed since then. Recently I found myself rediscovering a bug that was reported and fixed almost a year and a half ago. I know that I can check out the trunk sources and build CIL on my own, but that doesn't help when I'm trying

Re: [CIL users] block scope variable problem?

> int i = i; According to section 6.2.1 paragraph 7 of the C99 specification, a local variable declaration "has scope that begins just after the completion of its declarator." According to section 6.7 paragraph 1 of the same specification, The declarator includes just the "int i" part of the a

[CIL users] transitive points-to set from varinfo

I am implementing a simple thread-escape analysis, but cannot figure out how to interact with CIL's points-to analysis module properly. Define an escaped value as follows: 1. Every global variable escapes. 2. Everything reachable via pointers from an escaped value also escapes. I hoped that Pt

Re: [CIL users] Controlling the Indentation/Formatting of CIL output

You might also find the standalone "indent" tool to be useful as a post-processing filter. It is absurdly configurable and may be the easiest route to something you like. -- ___