Re: [PATCH 1/3] make sparse keep its promise about context tracking

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



> I would *love* to see this work applied on top of the patches I
> applied from Johannes.  I really want the ability to mark a variable
> or struct field as requiring a context to access.
> 
> I would probably call this new attribute something like
> "data_context".  Also, I'd prefer an explicit way of saying "no
> maximum context", rather than the hack of using a large number.
> 
> I hestiate to introduce a third semantic for a pair of numbers
> describing a context.  The context attribute uses in and out contexts,
> __context__ uses a delta and a required minimum, and this proposed
> attribute uses a minimum and a maximum.

I have a fairly simple patch on top of my work for this
http://johannes.sipsolutions.net/patches/sparse/all/LATEST/001-context-on-vars.patch

however, it doesn't really work with struct variables...

johannes

Attachment: signature.asc
Description: This is a digitally signed message part


[Index of Archives]     [Newbies FAQ]     [LKML]     [IETF Annouce]     [DCCP]     [Netdev]     [Networking]     [Security]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux SCSI]     [Trinity Fuzzer Tool]

  Powered by Linux