unfortunately it didn't work
for a function with this signature:
void foo(int DIM, float *A[DIM][DIM])
it gives the following
Bug: Invalid length in array type: DIM
Context : 2cil: init
Error: Cabs2cil had some errors
Fatal error: exception Errormsg.Error
Raised at file "ocamlutil/errormsg.m
On 02/11/2011 10:48 PM, Gabriel Kerneis wrote:
> On Fri, Feb 11, 2011 at 05:44:23PM +0100, Gabriel Kerneis wrote:
>> But you are absolutely correct that there is a bug in CIL. Thank you
>> very much for spotting it.
>
> Should be fixed in svn (r12128). Could you confirm that it works for
> you, p
On Fri, Feb 11, 2011 at 05:44:23PM +0100, Gabriel Kerneis wrote:
> But you are absolutely correct that there is a bug in CIL. Thank you
> very much for spotting it.
Should be fixed in svn (r12128). Could you confirm that it works for
you, please?
Best,
--
Gabriel Kerneis
-
Dear Foivos,
On Wed, Jan 19, 2011 at 09:52:36AM +0200, Foivos Zakkak wrote:
> Subject: [CIL users] Arrays with no constant dimensions as arguments
It's called variable-sized array in C99, and should be supported by CIL
(ie. compiled away as a regular array using alloca).
But you are absolutely c
