On Sep 21, 2009, at 1:42 PM, Gabriel Kerneis wrote:
> No. The right way to go is to use the CIL_MACHINE variable
> environment. Look
> for it in the CIL documentation and read src/machdepenv.ml.
>
> You will have to compile and run the C code to get the right value of
> CIL_MACHINE for every a
On Mon, Sep 21, 2009 at 01:14:33PM -0700, Benjamin Ylvisaker wrote:
> First, can anyone confirm my hypothesis that the number that comes out of
> that transformation depends on the kind of machine that Cil was built on
> (as opposed to the kind of machine it's running on)? Is it "configure" or
My group has a cluster for running big batches of experiments, and
there are some 64-bit machines and some 32-bit machines in the
cluster. Some of my experiments invoke the transformation that
replaces sizeof expressions with constants. First, can anyone confirm
my hypothesis that the num
