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

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

 



Hi Philip,

> I just have implemented nearly the same here. Hopefully Josh will
> decide for one of these patches soon.


> +int ident_equal(struct ident *ident1, struct ident *ident2)

> +int expressions_equal(struct expression *expr1, struct expression *expr2)

That code looks pretty nice, I guess I should look at getting that into
my version instead of just printing the identifier to a string.

As far as I can see your version doesn't actually implement
__attribute__((context(x,1,1))) as the man-page envisioned it for
checking that a function is run under the lock context it wants, which
was one of the more important goals to me. Doing separate locks sort of
fell out.

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