Re: [CIL users] argument promotions in calls to variadic functions

cumenation at http://hal.cs.berkeley.edu/cil. In a nutshell, CIL rewrites prototypeless funcrtion declarations to have a prototype (when possible). I'm pretty sure said prototypes follow the implicit conversion rules... David Gay --

Re: [CIL users] BUG in Cil with Switch/Case ?

L correctly. Returning a new statement in vstmt is, like Gabriel said, essentially *always* a bad idea (more specifically, removing any statement with a label on it just leads to broken code). In all the cases I've run into, changing the stmt's skind field was the right s

Re: [CIL users] Problem on GCC -D option

R='<'openssl/sha.h'>' -DNO_STRLCPY -DNO_MKSTEMPS -DCIL=1 Looks like a problem in handling quoted arguments (probably not putting quotes on the output). Needs a fix somewhere in cilly.pm... David Gay

Re: [CIL users] darcs patch: [ocamlutil] Handle 64-bits in Stats.print (and 1 more)

Checked in, along with the ocamlbuild and cfg patches... Thanks! David Gay -- OpenSolaris 2009.06 is a cutting edge operating system for enterprises looking to deploy the next generation of Solaris that includes the

Re: [CIL users] vid discrepancy

be possible. Do you have a test case showing the problem? David Gay -- Register Now for Creativity and Technology (CaT), June 3rd, NYC. CaT is a gathering of tech-side developers & brand creativity professionals. Meet

Re: [CIL users] SSA extension

lot simpler... (about 200 lines of ocaml for the version for LLVM) David Gay -- Register Now for Creativity and Technology (CaT), June 3rd, NYC. CaT is a gathering of tech-side developers & brand creativity profession

Re: [CIL users] SSA extension

lot simpler... (about 200 lines of ocaml for the version for LLVM) David Gay -- Register Now for Creativity and Technology (CaT), June 3rd, NYC. CaT is a gathering of tech-side developers & brand creativity profession

[CIL users] 64-bit int constants in CIL (svn)

tant, call "mkCilint ik n" (this will give you the correct value for unsigned 64-bit C constants stored in a signed OCaml int64). The Cilint module should contain all the necessary functions for manipulating cilints. Please post bug reports on sourceforge, or email me directly... David Gay *: T

Re: [CIL users] C interface to CIL?

from the C extension (http://sf.net/projects/nescc) in which it's embeddded... David Gay, whose hacked on too many C frontends... -- Register Now for Creativity and Technology (CaT), June 3rd, NYC. CaT is a gathering

[CIL users] CIL 1.3.7 released

intermediate form (with some significant limitations). Please report any bugs/installation problems/etc via CIL's sourceforge bug tracker (https://sourceforge.net/tracker/?group_id=138953&atid=742140) -- David Gay -

Re: [CIL users] creating variable of volatile type

ax What that means is that to add volatile to a CIL type t, you need to check if t is TArray(t', ...), and if so add the attribute to t'... Arguably, CIL shouldn't have allowed attributes on arrays, and done that automatically in typeAddAttributes. But it didn't, so..