On Thu, Apr 12, 2012 at 09:30:27AM +0200, Dany Vereertbrugghen wrote: > is this the expected behavior, and can we add a warning/error in the cil > source somewhere in case it drops an element?
This looks like a bug to me, but I am not sure if there is a corner case of the C standard relevant here. Any comment / idea / patch from other contributors gladly accepted. Best, -- Gabriel ------------------------------------------------------------------------------ For Developers, A Lot Can Happen In A Second. Boundary is the first to Know...and Tell You. Monitor Your Applications in Ultra-Fine Resolution. Try it FREE! http://p.sf.net/sfu/Boundary-d2dvs2 _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
