On 1/26/2011 12:22 AM, Gabriel Kerneis wrote: > The patch is simple and looks fine. I am willing to include it > upstream, but could you please first give an example of why this could > be useful? (Note that I have never used this module.)
There can be cases where a variable is initialized via a pointer pointing to it. For e.g., > fscanf(stdin, "%d", &command) or > > int i; > int *j = &i; > *j = 10; I am doing a "definitely-uninitialized" analysis (i.e. no potential initialization should be missed). Since the UseDef module currently doesn't handle aliasing, this flag lets me conservatively mark any addrof operations as also a definition. Btw, thanks for doing a great job building and maintaining CIL! -Arumuga ------------------------------------------------------------------------------ Special Offer-- Download ArcSight Logger for FREE (a $49 USD value)! Finally, a world-class log management solution at an even better price-free! Download using promo code Free_Logger_4_Dev2Dev. Offer expires February 28th, so secure your free ArcSight Logger TODAY! http://p.sf.net/sfu/arcsight-sfd2d _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
