From: George N. <ne...@ee...> - 2006-10-12 20:32:16
|
Hi, I have just changed CIL to try to retain the length of the array as an attribute to the pointer type. BTW, the conversion to pointer type is required by the standard. If you are curious, try to compute sizeof(a) in the body of "sample". You will get 4, not 16.=20 You can get this either from the CVS repository, or wait for the enxt version.=20 George. > -----Original Message----- > From: Muriel ROGER [mailto:mur...@ce...]=20 > Sent: Thursday, October 12, 2006 7:23 AM > To: ne...@cs... > Subject: CIL >=20 > M. Necula, >=20 > Sorry to disturb you but I have a question : > I would like to be able to recover the declared length of=20 > arrays which are formal function arguments, > (for example, currently CIL transforms the source code : >=20 > int sample(int a[4], int b[4], int target) >=20 > { ...} >=20 > to : >=20 > int sample(int *a, int *b, int target) >=20 > { ...}) >=20 >=20 > Is it possible to do this without changing the source code of CIL ? > Can you please help me ? > Best regards, >=20 > Muriel ROGER > CEA Saclay > France >=20 >=20 |