On Sun, Oct 30, 2011 at 07:14:26PM +0400, Pavel Shved wrote: > > > 2) could this patch be added to upstream nevertheless? I think > > > that the benefits to the verification tools, for which the > > > options is useful, are much greater than the very rarely > > > encountered issue with "very volatile" structs with array fields. > > > Besides, the behavior without this command- line option is > > > retained. > > > > I do not like the idea of adding bugs on purpose, but I see your > > point. Need to think a bit more about it. > > I do not approach this as "adding a bug on purpose". Rather, > I think it's adding a feature that is useful but doesn't > work in all cases.
I use --dosimplify in an application that traces memory accesses. For this application, as for most if not all CIL usage, it is important to have an error-free transformation for the broadest class of sources. I would suggest to add a special command line switch that would enable the rewriting, so that only those that need it will turn it on. Mihai ------------------------------------------------------------------------------ Get your Android app more play: Bring it to the BlackBerry PlayBook in minutes. BlackBerry App World™ now supports Android™ Apps for the BlackBerry® PlayBook™. Discover just how easy and simple it is! http://p.sf.net/sfu/android-dev2dev _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
