A Linux kernel header file contains code like the example below, which
causes CIL to bomb with a complaint about non-constant array size.
John Regehr
int foo (int bit)
{
if (__builtin_constant_p(bit)) {
return sizeof (char[bit]);
} else {
return 0;
}
}
------------------------------------------------------------------------------
Join us December 9, 2009 for the Red Hat Virtual Experience,
a free event focused on virtualization and cloud computing.
Attend in-depth sessions from your desk. Your couch. Anywhere.
http://p.sf.net/sfu/redhat-sfdev2dev
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
